電腦系統實驗室 Machine Learning Systems 研究團隊
刊登期間
2023-03-17 ~ 2023-12-31
職稱
碩士級專任研究助理 三名 (研發替代役可)
工作內容
深度學習模型推論和訓練優化研究 (Optimization of Deep Learning Model Inference and Training)
Machine Learning Systems團隊的研究方向包括：平行與分散式計算、編譯器、以及計算機架構。我們利用電腦系統的技術加速深度學習模型推論和訓練，並研究下一世代機器學習模型的系統開發和優化。
我們的研究方向著重於：
1. 深度學習模型在異質環境的推論優化研究。
許多智慧型系統像是自駕車和語音助理，這些系統通常執行了許多複雜的深度學習模型 (complex deep learning models: hybrid models, multi-models, and multi-task models)。另一方面，近年來電腦發展朝向了異質且多處理器的架構設計 (heterogeneous architecture: CPUs+GPUs+AI accelerators)。如何整合這些電腦上異質處理器來執行複雜模型並達到高效能的運算，是十分重要且具有挑戰性的研究。針對此問題，我們將研究 (1) 模型運算與異質處理器的分配方法，(2) 排程演算法設計，(3) 模型執行平行化：data parallelism, model parallelism, and tensor parallelism。
2. 模型壓縮和計算優化研究。
模型壓縮 (pruning and quantization) 透過降低模型容量與運算量，來達到模型執行加速，對於資源有限的計算平台如嵌入式系統，以及有限記憶體的AI加速器，是一項非常重要的技術。為了有效執行壓縮模型，許多次世代處理器設計了新的運算功能，例如向量運算 (AVX512, SVE) 和矩陣加速器 (matrix-multiplication unit on GPUs and NPUs) 等強化功能。我們將研究 (1) 如何利用這些強化運算功能加速壓縮模型的執行，(2) 各種計算平台，例如伺服器、邊緣裝置、異質系統等，佈署壓縮模型的方法。
3. 深度學習模型設計與訓練加速研究。
近年來，深度學習模型除了容量快速地增加，模型架構也變得越來越複雜，例如complex CNN and GNN模型、以及大型語言模型 (large language models)。我們將針對這些大型深度學習模型的訓練，研究加速訓練的方法。研究主題將包括平行計算，分散式計算，GPU使用優化，以及深度學習模型架構設計。
上述研究議題為國內外深度學習系統領域之重要發展方向，產業界及學術界均需此方面人才。適合擬專心研究，未來從事學術工作者或研發工作者，對於未來規劃進修博士學位者, 本實驗室之研究計畫提供優良之訓練環境與研究經歷。
應徵資格
-具備資訊工程,資訊科學之碩士學位
-具備平行計算及平行程式設計(multithread，CUDA, or OpenCL)
-具有良好系統、軟體開發經驗
-具備C/C++程式設計經驗
具下列經驗者將優先考慮：
- 具深度學習平台開發經驗,包括Pytorch/Tensorflow/TVM等
- 熟悉高速計算或嵌入式系統
- 熟悉演算法設計與實作
- 熟悉編譯器或計算機結構
工作待遇
依中央研究院標準(具編譯器,平行計算相關研究經歷或已具有deep learning系統研究基礎者可專案申請較優支薪標準,博士後研究起薪七萬元, 專任研究助理4~4.8萬元)，享勞健保、年終獎金、工作獎金、休假、員工旅遊等。
應徵方式
1. 請以email方式寄送個人詳細履歷(相關研究、計劃及工作經驗)、成績單(大學及碩士以上)。 2. 發表過之論文影本、簡傳、學歷證書影本，及任何有助審查資料 3. 所有檔案請以pdf檔案格式寄送。 4. 通過初審者會另行通知，於中研院資訊科學研究所進行面試。請將應徵資料寄送至下列兩位計畫主持人。洪鼎詠老師 dyhong@iis.sinica.edu.tw, 吳真貞老師 wuj@iis.sinica.edu.tw
聯絡人
洪鼎詠老師
聯絡信箱
dyhong@iis.sinica.edu.tw
聯絡電話
02-27883799 ext. 1818
參考網站
洪鼎詠網頁: http://www.iis.sinica.edu.tw/pages/dyhong/index_zh.html, 吳真貞網頁: http://www.iis.sinica.edu.tw/pages/wuj/index_zh.html
研究資料寄存所 (depositar)
刊登期間
2023-03-13 ~ 2023-05-01
職稱
企劃與推廣專員
工作內容
＊工作內容＊
1.企劃與執行 研究資料寄存所 (depositar) 的推廣活動 (35%)
2.設計文宣品，經營社群媒體 (20%)
3.研究國內外研究資料儲存庫的發展，聯繫開發國內外使用者 (15%)
4.傾聽並回覆 depositar 使用者的問題 (15%)
5.其他臨時交辦事務 (15%)
＊工作環境＊
1.提供一台筆電、外接單／雙螢幕、升降工作桌。
2.依需求可支付教育訓練經費。
3.依需求可參加與工作相關或能力養成之國內外訓練課程及研討會。
4.中央研究院員工健檢、餐廳、體育館等員工優惠，圖書借閱線上資源使用等權利。
5.週休二日，依國定假日休假。特休按勞基法規定，到職半年 3 天，滿一年 7 天，第二年 10 天，第三年 14 天。
6.不定期員工聚餐，不定期年度員工小旅行。
7.零食飲料沒有吃到飽，但同事會不定期相互支援。
＊工作時間及地點＊
工作時間：彈性上下班，表訂每日 08:30 至 17:30，午休一小時。
工作地點：中央研究院 資訊科學研究所 （台北南港）。
＊計畫團隊簡介＊
研究資料寄存所（depositar），是由研究人員依據研究人員的需求所建立的資料儲存庫（data repository）。為了研究目的，所有人可在研究資料寄存所上面自由的儲存、尋找、並再次使用研究資料。這項工作在台灣的中央研究院進行（資訊科學研究所以及資訊科技創新研究中心），另外也得到國家科學及技術委員會的專題研究計畫的補助。
Web: https://lab.depositar.io/
Twitter: @_depositar
YouTube: https://www.youtube.com/@depositar
GitHub: https://github.com/depositar/
應徵資格
＊必備能力＊
1.可獨立研究新興議題，探究現有問題的癥結
2.善於溝通表達，具團隊合作精神，文筆簡明流暢
3.良好的英文閱讀能力，具基本英文書寫能力
4.熟悉辦公室文書軟體操作：(Libre)Office 以及類似線上服務
5.瞭解 Markdown 語法
＊加分項目＊
1.會使用 GIMP/Inkscape/Photoshop/Illustrator 或類似軟體
2.具推廣學術產品或服務的經驗
3.具使用者社群經營的經驗
工作待遇
依中央研究院標準敘薪（學士起薪月薪 35756，碩士起薪月薪 41885）
應徵方式
請務必參考實驗室網站徵才訊息的應徵方式
聯絡人
研究資料寄存所 (depositar) 團隊
聯絡信箱
hr@depositar.io
聯絡電話
02-27883799#1668
參考網站
https://lab.depositar.io/zh-tw/news/230310_2/
研究資料寄存所 (depositar)
刊登期間
2023-03-13 ~ 2023-05-01
職稱
助理工程師
工作內容
＊工作內容＊
1.研究資料寄存所 (depositar) 系統開發（請參考 GitHub）(70%)
2.實驗室資訊系統 (Linux) 建置與維護 (20%)
3.其他臨時交辦事務 (10%)
＊工作環境＊
1.提供一台筆電、外接單／雙螢幕、升降工作桌。
2.依需求可支付教育訓練經費。
3.依需求可參加與工作相關或能力養成之國內外訓練課程及研討會。
4.中央研究院員工健檢、餐廳、體育館等員工優惠，圖書借閱線上資源使用等權利。
5.週休二日，依國定假日休假。特休按勞基法規定，到職半年 3 天，滿一年 7 天，第二年 10 天，第三年 14 天。
6.不定期員工聚餐，不定期年度員工小旅行。
7.零食飲料沒有吃到飽，但同事會不定期相互支援。
＊工作時間及地點＊
1.工作時間：彈性上下班，表訂每日 08:30 至 17:30，午休一小時。
2.工作地點：中央研究院 資訊科學研究所 （台北南港）。
＊計畫團隊簡介＊
研究資料寄存所（depositar），是由研究人員依據研究人員的需求所建立的資料儲存庫（data repository）。為了研究目的，所有人可在研究資料寄存所上面自由的儲存、尋找、並再次使用研究資料。這項工作在台灣的中央研究院進行（資訊科學研究所以及資訊科技創新研究中心），另外也得到國家科學及技術委員會的專題研究計畫的補助。
Web: https://lab.depositar.io/
Twitter: @_depositar
YouTube: https://www.youtube.com/@depositar
GitHub: https://github.com/depositar/
應徵資格
＊必備能力＊
1.熟悉 Python 程式語言
2.具網頁開發能力（如 JavaScript、HTML、CSS、Bootstrap）
3.熟悉資料庫系統（如 PostgreSQL）
4.熟悉 Linux 系統維護（架設與管理網頁伺服器）
＊加分項目＊
1.瞭解 git 版本控制，與 GitHub/GitLab 等服務
2.熟悉 Python Web 框架相關技術（Pylons、Flask、Jinja 與 SQLAlchemy 等）
3.瞭解 Docker、Kubernetes 技術
4.熟悉 PHP
5.有 CMS 操作經驗
工作待遇
依中央研究院標準敘薪（學士起薪月薪 35756，碩士起薪月薪 41885；若依資訊人員標準敘薪：學士起薪月薪 39842，碩士起薪月薪 48015）
應徵方式
請務必參考實驗室網站徵才頁面的應徵方式說明
聯絡人
研究資料寄存所 (depositar) 團隊
聯絡信箱
hr@depositar.io
聯絡電話
02-7883799#1668
參考網站
https://lab.depositar.io/zh-tw/news/230310_2/
穆信成老師實驗室
刊登期間
2023-02-18 ~ 2023-12-31
職稱
專任研究助理/軟體工程師
工作內容
參與開發、維護一套用於證明程式正確性之軟體工具。該工具之前端目前是 VS Code 編輯器之外掛，後端則以 Haskell 語言寫成。本職缺徵求之助理主要負責前端，但如有興趣，也可習得後端的相關知識與理論並參與開發。
前端可使用 JavaScript, PureScript, 或 Reason 撰寫。相關理論則包括：Hoare logic, weakest precondition, separation logic 等等。
應徵資格
1. 熟悉 JavaScript, PureScript, 或 Reason.
2. 有經驗或願意學習如何撰寫 VS Code extension.
3. 對命令式(imperative)語言或函數(functional)語言程式正確性之相關理論有興趣。
工作待遇
依中央研究院標準支薪： 學士級約 35000 起， 碩士級約 42000 起。 但可視工作年資及能力、表現彈性敘薪。
應徵方式
email 至 scm@iis.sinica.edu.tw
聯絡人
穆信成
聯絡信箱
scm@iis.sinica.edu.tw
聯絡電話
02-27883799 ext. 1730
參考網站
https://scmlab.github.io/guabao/
中研院資訊所王新民老師實驗室
刊登期間
2023-02-09 ~ 2023-06-30
職稱
專任研究助理
工作內容
1. 台語語料整理
2. 音檔聽打逐字稿
3. 詞典編寫
3-1. 統合各辭典、語料之詞彙
3-2. 整理詞彙之用字、腔調差、口語發音、範例等細項
4. 其他交辦事項
應徵資格
1. 不限系所，學士以上學歷
2. 教育部閩南語認證中高級（B2）以上或同等能力
3. 熟悉教育部台羅拼音、台語漢字
4. 本職缺為專任，不得兼職亦不得為在學學生身份
工作待遇
依中央研究院標準支薪(35,000-52,900元)
應徵方式
將「最高學歷證明、個人履歷自傳及台語相關證照證書」等，寄至dingclio1205@iis.sinica.edu.tw，主旨請註明「應徵研究助理--姓名」。
聯絡人
陳小姐
聯絡信箱
dingclio1205@iis.sinica.edu.tw
聯絡電話
02-27883799 #1480
參考網站
劉庭祿老師實驗室 (IIS Computer Vision & Machine Learning Lab)
刊登期間
2023-02-09 ~ 2023-03-31
職稱
專任研究助理
工作內容
參與電腦視覺、人工智慧與機器學習相關研究，目前本實驗室的研究聚焦於開發deep learning架構與演算法在電腦視覺的應用。研究重點如下: (1) Image and Video Anomaly Detection and Localization; (2) Computer Vision Techniques for 3D Point Clouds; (3) Video Action and Activity Recognition; (4) Few-Shot & Meta Learning for Computer Vision Techniques; (5) Self-Supervised Learning for Computer Vision Applications; (6) Deepfake Detection; and (7) Federated Learning Algorithms and Optimization。
應徵資格
1. 國內外大學資工、電機、數學相關科系，具碩士或學士學位
2. 熟悉computer vision, pattern recognition, machine learning
3. 具備TensorFlow, PyTorch等deep learning程式開發經驗
4. 計畫攻讀國內外博士班者優先考慮
工作待遇
依中央研究院標準支薪 。
應徵方式
請於應徵函件載明『應徵研究助理』，email 至 : liutyng@iis.sinica.edu.tw 或郵寄至「台北市115南港區研究院路2段128號 中研院資訊所 劉庭祿 老師收」， 如有合適人選，即不再收件，條件符合則邀請面談，不合者恕不退件不函覆。
聯絡人
劉庭祿
聯絡信箱
liutyng@iis.sinica.edu.tw
聯絡電話
02-27883799 ext. 1508
參考網站
http://www.iis.sinica.edu.tw/~liutyng/
吳廸融老師實驗室
刊登期間
2023-01-11 ~ 2023-12-31
職稱
專任或兼任研究助理
工作內容
參與深度強化式學習與電腦遊戲相關研究，研究領域包含機器學習、深度強化式學習、人工智慧、電腦遊戲等。研究主題為應用深度強化式學習於電腦遊戲上，包含但不限於棋盤類遊戲、電玩遊戲以及機器人操作等。工作內容包含研讀論文、資料分析、系統實作、論文撰寫及協助計畫進行之工作等。
應徵資格
1. 具資訊/電機/理工相關科系學、碩士在學或畢業
2. 具研究熱忱且有程式設計(如C++、Python)、軟體開發經驗
3. 對人工智慧、深度強化式學習有興趣且有相關經驗者佳
工作待遇
依中央研究院支薪規定 ，可依能力及資歷調整。
應徵方式
意者請將履歷、成績單、其他有助審查資料(如相關研究或工作經歷、著作列表、研究成果及發表論文等)以PDF格式寄至tirongwu@iis.sinica.edu.tw。來信標題請註明「應徵研究助理-姓名」，書面資料審查合格者將另行通知面試。
聯絡人
吳廸融
聯絡信箱
tirongwu@iis.sinica.edu.tw
聯絡電話
參考網站
https://www.iis.sinica.edu.tw/pages/tirongwu/
楊得年老師實驗室
刊登期間
2023-01-05 ~ 2023-06-30
職稱
專任與兼任研究助理 (研發替代役可)
工作內容
符合下列條件之一：
1. 元宇宙、資料探勘與深度學習、多媒體社群網路與通訊網路、應用數學應用相關研究
2. 或者具備演算法設計、圖論、最佳化、賽局理論、機器學習、深度學習、統計推論、隨機程序相關背景愛好數學
3. 或者有興趣網路或巨量資料分析系統實作、程式撰寫
適合擬專心研究論文撰寫，未來從事學術工作者
應徵資格
碩士或學士畢
工作待遇
依中央研究院標準(能力佳者可專案申請較優支薪標準)，享勞健保、勞工退休金、年終獎金、休假等
應徵方式
意者請備個人詳細履歷、自傳及成績單寄至 dnyang@iis.sinica.edu.tw，需要面試時會主動聯絡
聯絡人
楊得年
聯絡信箱
dnyang@iis.sinica.edu.tw
聯絡電話
2788-3799 ext. 1728
參考網站
http://www.iis.sinica.edu.tw/pages/dnyang/index_zh.html
林仁俊老師實驗室
刊登期間
2023-01-04 ~ 2023-12-31
職稱
專任研究助理
工作內容
參與跨媒體內容推薦/生成、3D電腦視覺、深度學習等相關研究。研究主題包含照片/視訊中的3D人體姿勢與形體估測、視訊背景音樂推薦/生成、歌者識別、基於音樂表示法的3D舞蹈序列生成，以及從音樂到鏡頭序列的視覺敘事等相關研究。工作內容將包含論文研讀、程式撰寫、論文撰寫等。
應徵資格
1. 資訊/電機相關科系碩士或學士
2. 熟悉machine learning, deep learning, image/audio processing
3. 具備TensorFlow, PyTorch等deep learning相關程式開發經驗
適合擬專心研究，未來從事學術工作者。
工作待遇
依中央研究院標準支薪
應徵方式
意者請備履歷，載明『應徵專任研究助理』，email 至jenchunlin@iis.sinica.edu.tw
聯絡人
林仁俊
聯絡信箱
jenchunlin@iis.sinica.edu.tw
聯絡電話
參考網站
https://www.iis.sinica.edu.tw/pages/jenchunlin/
中研院詞庫小組CKIP(馬偉雲老師實驗室)
刊登期間
2023-01-01 ~ 2023-12-31
職稱
專任或兼任研究助理
工作內容
我們利用深度學習(Deep Learning)從事文字生成、聊天機器人、知識建構與推論、自然語言處理的研究，兼顧理論與應用，具體研發項目如下：
1. 廣告文案或新聞的自動生成
當輸入是一款手機的規格表，系統能自動生成出一篇具有說服力的廣告文案。或是當輸入是一場NBA的比賽數據表，系統能自動生成出一篇緊張刺激的播報新聞。我們希望透過深度學習當中的增強式學習(Reinforcement Learning)以及語言模型，打造一個這樣的文字生成系統，能夠一方面忠於輸入的表格內容，另一方面能發揮創造力，寫出多變化又文情並茂的文章。
2. 不限主題的閒聊機器人
即所謂 Chitchat Chatbot，也就是沒有特定目的的聊天. 目前這類型的bot大多數的作法是利用深度學習當中的seq-to-seq model來建構，但是，這樣的作法通常無法產生有意義或是較為深入的回應，多數會流於插瞌打渾或是賣萌。其中的關鍵，在於bot缺少了對於聊天主題相關的基本常識，就像是user要跟bot討論劉德華，bot應該對劉德華的各個fact(身份，作品...)有足夠認識，回的response才會豐富有意義，不然巧婦難為無米之炊，沒有知識就不容易產生有意義的回應，我們希望將grounded knowledge以及更豐富的語義訊息encode在model之中。我們透過深度學習當中的增強式學習(Reinforcement Learning)，已經訓練出一個不限主題的LINE閒聊機器人-詞庫小妍(LINE官方帳號：@359mcmgs)。
3. 自動知識學習系統
我們知道新的知識會夜以繼日的不斷產生，一個具有AI能力的系統最重要的功能之一就是能夠從大量的資料當中，分析資料，加以理解，組織成結構化知識。我們實驗室過去已經開發了人類的知識網(E-HowNet)，打下堅實基礎，此專案的目標是進一步加以擴張，利用深度學習技術將關鍵的關係三元組合從閱讀的文章中自動抽取出來，如 (”哈登” ，MemberOf，”火箭隊”) 或是 (“麥特載蒙”，PlayerOf，”心靈捕手”)等等。
4. 事實推論或事件預測系統
對於一個新事物，人們往往會根據基本常識、已知的事實、經驗的法則等等進行新事物的推測，包含事實或是事件的推論，例如以下的事實推論：已知A說中文，A又是B的哥哥，那麼很高的機率B也會說中文。又例如以下的事件推論：“買麵包”後會有很高的機率會在近期“吃麵包”。在一個龐大的文本或是複雜的知識圖譜當中，推論的關係往往數量龐大，有時甚至複雜到超越人力所能規範與理解，我們希望藉由深度學習技術能自動化的在文本或是知識圖譜當中進行新事物的推測。
應徵資格
1. 具備電機、資訊或應用數學相關科系之學士或碩士學位(準備出國者佳，本實驗室的歷年助理及實習生出國申請成功率接近100%)。
2. 熟悉機器學習、深度學習、最佳化、演算法設計或自然語言處理等相關領域，具備獨立思考能力，有相關研究經驗者佳。
3. 具備 Python/C/C++/Java/Perl 程式設計能力，有系統開發經驗者佳。
工作待遇
依表現彈性敘薪(月薪 40,466元 ~ 52,917元)，享勞健保、勞退與年終獎金。
應徵方式
視情形擇優通知面試，不合者恕不函覆。意者請備妥個人詳細履歷、自傳/Research Statement、成績單及其他有助審查資料之pdf電子檔，註明可開始工作日期，寄至 ma@iis.sinica.edu.tw
聯絡人
馬偉雲老師
聯絡信箱
ma@iis.sinica.edu.tw
聯絡電話
(02)27883799 Ext. 1819
參考網站
http://ckip.iis.sinica.edu.tw
李政德老師(古倫維老師實驗室)
刊登期間
2022-11-30 ~ 2023-12-31
職稱
專任研究助理(軟體設計工程師)
工作內容
從事深度學習、機器學習、人工智慧、社群網路、推薦系統、資訊安全等相關研究、計畫與系統實作。
工作內容為進行或協助下列領域相關問題之研究與應用系統開發：
(1) 社群網路資訊擴散之深度學習預測模型、
(2) 基於隱私保護與公平性之人工智慧應用、
(3) 跨領域、跨文本、跨平台之深度推薦系統、
(4) 社群網路分析與應用、
(5) 機器學習與深度學習演算法設計。
上班地點:國立成功大學統計系李政德老師實驗室(台南市東區大學路1號)
應徵資格
(1)具國內外資訊/資工/資管、電機、統計數學相關科系之碩士學位。
(2)熟悉機器學習、深度學習與自然語言處理技術。
(3)需具機器學習與深度學習程式撰寫能力(如PyTorch, TensorFlow, scikit-learn)。
(4)具相關研究經驗或實作經驗者佳。
工作待遇
依中央研究院標準支薪(40,000元以上，未來將依工作表現調整)，享年終獎金。
應徵方式
請以Email寄送以下資訊： (1) 履歷表（含學歷、研究與工作相關經驗、著作列表、聯絡方式）。 (2) 大學及研究所成績單。 (3) 其他有助審查之資料。所有檔案請以 PDF 格式寄送。 Email 標題請註明「應徵專任研究助理-姓名」。 隨到隨審。初審不符合則恕不另外通知。 應徵資料經初審通過後將Email通知面談。
聯絡人
成大數據科學研究所 李政德 老師
聯絡信箱
chengte@mail.ncku.edu.tw
聯絡電話
06-2757575#53628
參考網站
https://sites.google.com/view/chengteli/home?authuser=0
古倫維/鐘楷閔/黃瀚萱老師實驗室
刊登期間
2022-09-28 ~ 2023-06-30
職稱
專任助理 (行政)
工作內容
處理實驗室行政事務、人事聘任手續、計畫管理、計畫經費安排、實驗室採購、出差手續、文件撰寫、老師行程安排、會議及國內外學者訪問行程安排與連繫、協助辦理會議與活動等相關事宜。
應徵資格
必要：學士以上學歷，英文聽說讀寫流利(需與國外單位連繫)
加分條件：邏輯清楚，開朗易於相處，工作態度積極，具外文背景或英語系國家生活經驗，國際相關經驗或助理相關經驗佳。到職時間可談。
工作待遇
依中研院規定，享年終、勞健保。
應徵方式
email: 請同時寄送履歷給三位老師，標題註明[應徵專任助理]，內需列兩位推薦人姓名與連絡方式。合適者通知面試，不合適者不另通知。（不接受人力銀行制式履歷）
聯絡人
古倫維
鐘楷閔
黃瀚萱
聯絡信箱
lwku@iis.sinica.edu.tw
kmchung@iis.sinica.edu.tw
hhhuang@iis.sinica.edu.tw
聯絡電話
(02)27883799 * 1808 or 1716
參考網站
1. http://www.lunweiku.com/
2. http://www.iis.sinica.edu.tw/pages/kmchung/index_zh.html
陳郁方老師研究室
刊登期間
2022-08-12 ~ 2025-12-15
職稱
博士後研究員，專任研究助理，兼任研究助理
工作內容
從事 形式化驗證(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
應徵資格
1. 具電機、資訊、資管、數學或相關科系之博士/碩士/學士
2. 曾修過下列課程者加分: 計算理論, 自動機理論, 模型驗證, 自動化驗證，台大Flolac暑期課程
3. 具有程式撰寫能力(C, C++, or JAVA)也是加分項目
工作待遇
依中央研究院/國科會規定，依經歷彈性調整
應徵方式
將個人詳細履歷、你有興趣的研究方向、大學及以上成績單、發表過之論文、及任何有助審查資料 Email至 陳郁方研究員 yfc@iis.sinica.edu.tw。如通過初審將會另行通知面試。
聯絡人
陳老師
聯絡信箱
yfc@iis.sinica.edu.tw
聯絡電話
27883799 -1514
參考網站
http://iis.sinica.edu.tw/~yfc
古倫維老師實驗室
刊登期間
2022-06-07 ~ 2023-06-30
職稱
專兼任研究助理
工作內容
自然語言處理 (Natural Language Processing)
深度學習 (Deep Learning)
情感計算 (Sentiment Analysis/Affective Computing)
假新聞相關 (Fake News Intervention)
視覺與語言 (Vision and Language/Multi-modal)
可解釋性人工智慧 (XAI/Text Generation)
運動科技指導語 (Sport Tech)
文字探勘與人工智慧相關研究，程式撰寫與論文發表。
應徵資格
必備：資訊電機相關領域學士或碩士在學或畢業，具獨立思考能力並熱愛研究與學習。具Java或Python一定程度之撰寫能力，工作內容包含大量程式撰寫。起始工作時間：隨時。
加分：準備出國佳。具語音、文字探勘、語言學、機器學習、深度學習、演算法設計相關理論背景佳。
工作待遇
依中研院支薪規定，可依能力及資歷調整，具友善國際化工作環境、業界與國際學界合作機會
應徵方式
意者請備妥個人詳細履歷、自傳及成績單pdf電子檔，註明應徵職缺及可開始工作日期寄至
聯絡人
古倫維
聯絡信箱
lwku@iis.sinica.edu.tw
聯絡電話
(02)27883799 ext 1808
參考網站
http://www.lunweiku.com/ http://academiasinicanlplab.github.io/
陳郁方老師研究室
刊登期間
2022-04-21 ~ 2024-04-21
職稱
專任行政助理
工作內容
工作內容
(1) 協助撰寫計畫報告
(2) 實驗室伺服器及軟體管理
(3) 協助實驗室建置之規劃
(4) 其他交辦行政庶務
應徵資格
大專以上學歷，具備良好的英語能力，熟悉電腦操作(linux伺服器)，具有協助執行科技部計畫經驗者佳。
工作待遇
依中研院規定
應徵方式
將應備文件： (1) 個人中英文自傳（請附照片） (2) 畢業證書影本 (3) 英文檢定證明 (4) 服務證明 (5) 其他有利審核之證明文件 以email的方式寄出
聯絡人
陳郁方研究員
聯絡信箱
yfc@iis.sinica.edu.tw
聯絡電話
參考網站
http://www.iis.sinica.edu.tw/~yfc
王建民老師實驗室
刊登期間
2022-01-03 ~ 2023-12-31
職稱
專任研究助理
工作內容
本實驗室主要工作內容為學術研究及系統開發，實驗室培養出之人才均具有良好的研究能力及紮實的系統實作能力。歡迎打算進修博士學位者、想累積研究經驗者，及為未來的職業生涯建立良好的基礎者。
進行下列領域相關問題之研究工作：
1. 雲端運算 (Cloud Computing)
2. 巨量資料分析 (Big Data Analytics)
3. 人智運算 (Human-Centered Computing)
4. 穿戴式運算 (Wearable Computing)
應徵資格
1. 具備電機、資訊或應用數學相關科系之碩士學位。
2. 具備 C/C++/Java 程式設計能力。
3. 具備cloud computing, distributed systems, data mining, pattern recognition 或machine learning 經驗者尤佳。
工作待遇
比照中央研究院/科技部薪資標準，享勞健保、勞退與年終獎金。
應徵方式
請以email方式寄送個人詳細履歷、成績單、代表作及其他有助審查資料之 PDF 檔案，並請於標題註明 [應徵專任研究助理-姓名]或[應徵替代役- 姓名 ]。通過初審者會另行通知，於中研院資訊所進行面試，不合者恕不函覆。
聯絡人
張小姐
聯絡信箱
iho@iis.sinica.edu.tw
聯絡電話
參考網站
多媒體技術實驗室
刊登期間
2022-01-01 ~ 2023-12-31
職稱
博士後研究人員/研究助理 and/or 研發替代役 (博士or碩士畢皆可)
工作內容
1. Deep Learning
2. Optimization algorithms
3. (Multimedia) Signal Processing (懂video codec為佳)
4. Security and Privacy for Multimedia and Networks
應徵資格
1. 博士or碩士畢皆可
2. 數學,資訊,電機相關科系
工作待遇
依本所規定
應徵方式
email or 電話聯絡
聯絡人
呂俊賢研究員
聯絡信箱
lcs@iis.sinica.edu.tw
聯絡電話
(02)27883799 ext. 1513
參考網站
http://www.iis.sinica.edu.tw/~lcs
後量子密碼學實驗室(楊柏因老師、周彤老師、鐘楷閔老師)
刊登期間
2021-12-31 ~ 2023-12-31
職稱
工程師 (專案研究工作人員)
工作內容
1.進行後量子密碼學領域 (Post-Quantum Cryptography) 研究，實作相關密碼演算法。
2.進行或協助後量子密碼學專案(NIST競賽)。
3.鼓勵對後量子密碼學有興趣、熱忱，以進入國際密碼學相關產業為發展目標之工程師。
4.起聘時間彈性。
應徵資格
1.具備系統開發經驗 (如C/C++, Python程式設計、開源軟體或嵌入式系統等)。
2.具有良好系統、軟體開發經驗。
3.具良好的問題解決能力。
4.具備良好英文讀寫能力。
5.具備學士以上學歷。
工作待遇
依經歷彈性支薪(原則58,000元以上，可面議)
應徵方式
意者請備妥：1.履歷 2.軟硬體開發經歷 3.學校成績單 4.其他有利審查之文件。請將以上資料寄至pqctaiwan@gmail.com，標題註明[應徵研究助理(工程師)]，審查通過以email方式通知面試。
聯絡人
楊柏因、周彤、鐘楷閔
聯絡信箱
byyang@iis.sinica.edu.tw、blueprint@citi.sinica.edu.tw、kmchung@iis.sinica.edu.tw
聯絡電話
(02)2788-3799#1731、(02)2787-2300#2345、(02)2788-3799#1716
參考網站
https://sites.google.com/view/pqc/%E9%A6%96%E9%A0%81?authuser=0
後量子密碼學實驗室(楊柏因老師、周彤老師、鐘楷閔老師)
刊登期間
2021-12-31 ~ 2023-12-31
職稱
工程師 (資訊人員)
工作內容
1.進行後量子密碼學領域 (Post-Quantum Cryptography) 研究，實作相關密碼演算法。
2.進行或協助後量子密碼學專案(NIST競賽)。
3.鼓勵對後量子密碼學有興趣、熱忱，以進入國際密碼學相關產業為發展目標之工程師。
4.起聘時間彈性。
應徵資格
1.具備系統開發經驗 (如C/C++, Python程式設計、開源軟體或嵌入式系統等)。
2.具有良好系統、軟體開發經驗。
3.具良好的問題解決能力。
4.具備良好英文讀寫能力。
5.具備學士以上學歷。
工作待遇
依經歷彈性支薪(原則58,000元以上，可面議)
應徵方式
意者請備妥：1.履歷 2.軟硬體開發經歷 3.學校成績單 4.其他有利審查之文件。請將以上資料寄至pqctaiwan@gmail.com，標題註明[應徵研究助理(工程師)]，審查通過以email方式通知面試。
聯絡人
楊柏因、周彤、鐘楷閔
聯絡信箱
byyang@iis.sinica.edu.tw、blueprint@citi.sinica.edu.tw、kmchung@iis.sinica.edu.tw
聯絡電話
(02)2788-3799#1731、(02)2787-2300#2345、(02)2788-3799#1716
參考網站
https://sites.google.com/view/pqc/%E9%A6%96%E9%A0%81?authuser=0
蔡孟宗老師實驗室
刊登期間
2021-08-03 ~ 2023-07-31
職稱
專任研究助理、獎補助生
工作內容
基礎圖論與幾何問題之演算法設計與分析、閱讀相關論文、發表論文。
應徵資格
1. 對演算法研究、圖論研究、幾何研究有高度興趣，並樂於學習相關數學知識。
2. 應徵專任研究助理者，需具有大學以上之畢業證書；應徵獎補助生者，需具有大學以上之就學證明。
工作待遇
依中央研究院薪資標準
應徵方式
將履歷 (1-2頁) 、成績單 (大學及以上) 以 PDF 格式寄至 mttsai@iis.sinica.edu.tw，通過書面篩選者，會另約時間線上面試。
聯絡人
蔡孟宗老師
聯絡信箱
mttsai@iis.sinica.edu.tw
聯絡電話
參考網站
https://homepage.iis.sinica.edu.tw/pages/mttsai/index_zh.html
葉彌妍老師實驗室
刊登期間
2021-02-01 ~ 2023-07-31
職稱
專任研究助理 一至二名
工作內容
巨量資料探勘與深度學習相關研究，包含演算法設計、程式撰寫執行、論文撰寫。
主要研究主題包含(但不限)：時空與社群資料探勘與應用、Q&A問答系統、增強式學習與其應用， 適合擬攻讀博士或出國進修者，本實驗室可提供優良訓練環境與研究經歷。
應徵資格
具備資訊、電機、數學等相關科系之碩士學位。
優先考慮：
-有資料探勘與機器學習背景
-具英文論文閱讀與簡報能力
-具備程式設計 (C++/Java/Python/R等) 與問題解決能力
-擅長演算法設計或數理統計方法
工作待遇
比照院內支薪規定 ，可視工作年資及能力、表現彈性敘薪。
應徵方式
1. 請以email方式寄送個人詳細履歷(相關研究、計劃及工作經驗)、 成績單(大學及以上)。 2. 發表過之論文影本、簡傳、學歷證書影本，及任何有助審查資料。 3. 所有檔案請以pdf檔案格式寄送。 4. 通過初審者會另行通知，於中研院資訊科學研究所進行面試。
聯絡人
葉彌妍老師
聯絡信箱
miyen@iis.sinica.edu.tw
聯絡電話
參考網站
http://www.iis.sinica.edu.tw/pages/miyen/
鐘楷閔老師實驗室
刊登期間
2015-12-21 ~ 2023-12-31
職稱
密碼學研究助理
工作內容
- 進行Cryptography, Complexity Theory, 或其他Theoretical Computer Science(TCS)相關領域研究，共同撰寫論文。
鼓勵規劃出國攻讀TCS相關領域博士之學碩士畢業生申請。
起聘時間彈性。
應徵資格
國內外大學資訊、電機、數學相關系所，對TCS研究具高度興趣之碩士/學士，有理論研究經驗者(不限領域)為佳。
工作待遇
依中央研究院標準支薪
應徵方式
意者請將履歷、研究經歷 (Research Statement)、學校成績單，寄至kmchung@iis.sinica.edu.tw。審查通過以email方式通知面試。
聯絡人
鐘楷閔
聯絡信箱
kmchung@iis.sinica.edu.tw
聯絡電話
(02) 2788-3799 ext 1716
參考網站
http://www.iis.sinica.edu.tw/~kmchung/
鐘楷閔老師實驗室
刊登期間
2015-12-21 ~ 2023-12-31
職稱
量子資訊研究助理
工作內容
- 進行Quantum Information Theory, Quantum Cryptography相關領域研究，共同撰寫論文。
鼓勵規劃出國攻讀TCS相關領域博士之學碩士畢業生申請。
起聘時間彈性。
應徵資格
國內外大學資訊、物理、數學、電機相關系所，對量子理論研究具高度興趣之碩士/學士，有理論研究經驗者(不限領域)為佳。
工作待遇
依中央研究院標準支薪
應徵方式
意者請將履歷、研究經歷 (Research Statement)、學校成績單，寄至kmchung@iis.sinica.edu.tw。審查通過以email方式通知面試。
聯絡人
鐘楷閔
聯絡信箱
kmchung@iis.sinica.edu.tw
聯絡電話
(02) 2788-3799 ext 1716
參考網站
http://www.iis.sinica.edu.tw/~kmchung/