轉職熱搜工作

1.協助標單圖面整理及製作 2.安排訂單及出貨，追蹤訂單進度及聯繫廠商 3.繪製、核對工程圖面及資料建檔和歸檔 4.顧客連絡資料整理 5.完成業務主管其他交辦事項 6.協助業務人員處理銷售業務相關之公司內部行政作業

1. 具備洗、剪、燙、染、護等美髮設計經驗 2. 有意成為整體造型師者 3. 可自由參與公司與各大品牌之造型協力活動 4. 勞基法基本保證底薪，依業績抽成薪資逐額上漲

1. 具備洗、剪、燙、染、護等美髮設計經驗 2. 有意成為整體造型師者 3. 可自由參與公司與各大品牌之造型協力活動 4. 勞基法基本保證底薪，依業績抽成薪資逐額上漲

從事 形式化驗證(formal verification)在 1. 量子軟體系統 2. 儲存系統 的相關研究。 形式化驗證是一個開發高品質軟體的方法。 這方法會要求使用者提供他程式碼的〝規格〝。一個常見的方式，是用前置-後置條件來描述此規格，對一個排序的程式而言，我們會要求其前置條件是〝輸入為一個整數序列〝，而其後置條件為〝回傳值回輸入序列經過由小到大重新排列的結果〝。當然，是用電腦能看懂的語言表示。 之後，形式化驗證會用嚴謹的數學方法和電腦工具，〝證明〝一個該程式是否滿足該規格。這方法已經被很多歐美頂尖企業採用，例如微軟使用它來檢驗協力廠商所撰寫的驅動程式，AWS也大量採用他來驗證其雲端系統。AWS的CTO甚至在AWS 2020的開發者會議上，花了他整個演講1/3的時間，來解釋AWS如何用形式化驗證提高其服務品質。 本實驗室從事形式化驗證已經研究已經有十多年的時間，在全世界同行中也有相當的知名度。目前我們研究主軸在兩個方向： [量子軟體系統驗證] 隨著量子電腦硬體的逐漸成熟，對應的量子軟體開發技術也日益受到重視。可以預見的，軟體的規模會不斷地增加，確保設計出來的程式正確無誤的難度也會高速提升。這現象在傳統軟體已經很普遍，任何有一定規模的軟體程式，無可避免的都會有大大小小的錯誤，最後只能和這些錯誤共存。我們相信如果沒有引入新的技術，很快量子軟體也會走向這條路。 形式化驗證在量子程式的發展也已經有十數年。目前主流的技術有兩大缺點，基於霍爾邏輯的技術有強大的能力，能處理十分複雜的量子程式分析，但是他的使用需要大量人力介入，需要的工作量常常是寫程式本身的數倍。這樣的技術比較適合用在確保關鍵系統的品質上（如核電廠的控制程式）。基於抽象解釋的技術則是另一個極端。他是全自動的，但是有著常常誤報程式錯誤的缺點。這大大減低的該類工具的可用性。 最近中研院的團隊開發了一個基於樹自動機(tree automata)的全新量子電路驗證技術。他克服了上述兩個問題。這是一個全自動的技術，使用者只需要提供電路和預期的答案，該技術就能自動檢查，對所有允許的起始量子狀態，有沒有任何的可能，在執行完電路後產生和預期不同的結果。同時這樣技術是精確的，他完全不會誤報錯誤，大大的增加了可用性。 有關於這個方向，還可以參考Quantum Computer Systems: Research for Noisy Intermediate-Scale Quantum Computers一書 的Ch 5,6,9來得到大概輪廓（連結：https://www.morganclaypool.com/doi/abs/10.2200/S01014ED1V01Y202005CAC051）。 下面是一些和我們近期研究題目相關的參考文獻： [1] Yuan-Hung Tsai, Jie-Hong R. Jiang, Chiao-Shan Jhang: Bit-Slicing the Hilbert Space: Scaling Up Accurate Quantum Circuit Simulation. DAC 2021: 439-444 [2] Parosh Aziz Abdulla, Bengt Jonsson, Pritha Mahata, Julien d‘Orso: Regular Tree Model Checking. CAV 2002: 555-568 [3]https://zxcalculus.com [4]Miller, D. Michael, and Mitchell A. Thornton. 〝QMDD: A decision diagram structure for reversible and quantum circuits.〝 36th International Symposium on Multiple-Valued Logic (ISMVL‘06). IEEE, 2006. [5]Mingsheng Ying. 2012. Floyd－－hoare logic for quantum programs. ACM Trans. Programming Language System [儲存系統驗證] 可參考我們發表在OSDI的論文： [1] Yun-Sheng Chang, Yao Hsiao, Tzu-Chi Lin, Che-Wei Tsao, Chun-Feng Wu, Yuan-Hao Chang, Hsiang-Shang Ko, Yu-Fang Chen: Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer. OSDI 2020: 81-97 和下面相關文獻： [2] Abdulla, P.A., Haziza, F., Holík, L. et al. An integrated specification and verification technique for highly concurrent data structures. Int J Softw. Tools. Technol. Transfer. 19, 549–563 (2017). [3] Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, Xi Wang: Scaling symbolic evaluation for automated verification of systems code with Serval. SOSP 2019: 225-242 [4] Frama-c WP tutorial (https://allan-blanchard.fr/publis/frama-c-wp-tutorial-en.pdf) [5] Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich: Verifying concurrent, crash-safe systems with Perennial. SOSP 2019: 243-258 薪資：學士38388元起薪，碩士44968元起薪，博士64711元起聘，該職缺係「適用勞動基準法」

參與包含深度強化式學習、搜尋演算法、人工智慧、電腦遊戲、大語言模型等研究。研究主題為應用深度強化式學習於電腦遊戲(如棋盤類遊戲、電玩遊戲等)、機器人操作等應用。工作內容包含研讀論文、資料分析、系統實作、論文撰寫及協助計畫進行之工作等。適合未來計劃出國或從事學術工作者，可以在實驗室有豐富研究經驗及論文發表機會。 薪資：學士38388元起薪，碩士44968元起薪，該職缺係「適用勞動基準法」

從事 Computer Architecture 相關研究，針對 emerging technologies (例如 non-volatile memories、3D ICs) 和 modern applications (例如 machine learning、graph analytics、genome analysis等) 設計高效節能之系統，並共同撰寫論文。 可能研究主題包括 in/near-memory computing system design, machine learning acceleration and memory optimization (e.g., for LLM, recommendation system, few-shot learning, GCN, etc.), memory/storage system design for genome analysis and graph analytics. energy-efficient edge computing for AIoT, sustainable computing systems等, 有參與國內與國際合作計畫機會, 視應徵者背景及能力而定。

我們的實驗室主題是研究 全身性發炎 (systemic inflammation)，這個聽起來有點可怕的身體狀態，實際上是許多慢性病、感染與衰老過程中的關鍵推手。我們想知道：有沒有辦法找到「關鍵開關」，讓藥物精準調控發炎？換句話說，我們試圖抓住讓身體過度火燒的元兇，然後設計方法把火降下來。 實驗室網頁： https://www.ibc.sinica.edu.tw/Faculty/ViewPI?DatetimeStr=20220119202438 應徵資格 1. 生物或相關領域畢業 2. 具分子生物或細胞生物操作經驗 3. 願意參與小鼠操作者佳。 待遇與福利 月薪 學士38388元起。 碩士44968元起。 薪資可根據背景資格及工作實質表現彈性敘薪。 該職缺係適用「勞動基準法」。 聯絡資訊 聯絡人: 翁瑞霞老師 聯絡地址: 台北市南港區研究院路二段128號 電子信箱 juihsiaweng@gate.sinica.edu.tw 應備文件: 履歷表、最高學歷證書影本、學經歷說明。 (合者將通知面試，應徵資料恕不退還。) 注意事項: 意者請將相關資料email至聯絡人翁瑞霞老師，主旨請註明「RA position」。

1. 資料探勘與深度學習/大語言模型、多媒體社群網路與通訊網路、應用數學應用相關研究。 2. 或者具備演算法設計、圖論、最佳化、賽局理論、機器學習、深度學習、統計推論、隨機程序相關背景愛好數學。 3. 實作深度學習模型、大型語言模型等，收集資料集並進行以上模型實驗。 4. 或者有興趣網路或巨量資料分析系統實作、程式撰寫適合擬專心研究論文撰寫，未來從事學術工作者。 薪資：學士38388元起薪，碩士44968元起薪，該職缺係「適用勞動基準法」 獎助生依本院獎助學金支給要點發放獎助學金 能力佳者可專案申請較優支薪標準 【應徵資格/條件】資訊電機相關領域學士或碩士在學或畢業。 【應徵方式】 意者請備個人詳細履歷、自傳及成績單寄至 dnyang@iis.sinica.edu.tw，需要面試時會主動聯絡

研究主題簡介： 我們的研究團隊專注於中性原子量子控制技術、精密量測以及原子-奈米光子量子科技（atom-nanophotonic quantum technology），以探索未來量子科技應用與基礎物理問題。我們致力於建構世界領先的實驗平台，研究核心包含： ● 超冷原子與量子氣體 (量子模擬與量子控制) ● 原子-光耦合的複合量子平台 (量子模擬與量子網路) ● 次世代超穩定光頻原子鐘 (量子精密測量) 實驗工作內容包含但不限於：(許多工作內容具高度研究性，未來可銜接碩士或博士學位進修發展) ● 設計搭建與維護 光學架設 及 雷射系統 ● 搭建超高真空（UHV）實驗系統 ● 開發控制系統與資料擷取系統（包含電子電路設計，電子儀器製造） ● 參與量子控制實驗與高穩定度雷射技術的開發 ● 奈米光纖製備與測試 工作時間： 週一至週五9 AM – 6 PM，休假辦法依照中研院規定 工作待遇： 依中央研究院標準支薪 (依能力、資歷或研究表現可彈性調薪) ● 研究助理：依本院標準支薪，學士級起薪38,388元、碩士級起薪44,968元，依能力、資歷或研究表現可彈性調薪。福利比照本院規定與「勞動基準法」。

一、工作內容： 執行教育部高教深耕計畫之相關行政庶務、主管交辦事項、影像拍攝及剪輯。 二、學經歷需求： 1.具學士(含)學歷以上，教育、資訊、設計相關畢業科系尤佳。 2.活動影像拍攝及剪輯能力。 3.曾擔任研究助理或具有計畫執行相關經驗者。 4.具備且熟悉電腦文書處理操作與編輯能力。 5.具有活動企劃能力經驗者。 6.具備美編或網頁管理能力。 三、應檢附資料： 1.履歷表。 2.畢業證書。 3.有利審查之佐證資料。 四、薪資待遇: 1.學士級第1年36,400元；碩士級第1年41,500元，含三節禮金、勞健保與本校福利。 2.具相關工作經驗者，視情況以累積年資敘薪。 五、聯絡窗口： 1.聯絡人姓名：李惠如 2.聯絡電話（分機）：03-2118999分機5845 3.聯絡人電子信箱：hjli@mail.cgust.edu.tw 合格人員面試時間、地點個別通知。不合格者，恕不另行通知。所有應徵資料，恕不退還。 意者請於114年12月31日前，將履歷表、畢業證書與相關有利審查之佐證資料函寄或E-mail至hjli@mail.cgust.edu.tw，請於信件主旨上註明「應徵計畫專任助理」。