蔡孟宗老師實驗室
刊登期間
2024-11-05 ~ 2025-11-04
職稱
博士後研究員
工作內容
演算法理論
* 結構圖論、計算圖論、極值圖論、圖流處理及空間下界證明。
應徵資格
國內外博士學歷 (資訊/電機/物理/數學等相關科系)、對圖論研究有熱枕。
工作待遇
薪資依中央研究院標準核定，能力優異者依能力敘薪。
應徵方式
將以下資料寄至 kasuistry@gmail.com，書面審查通過後，會以 email 方式通知面試。
* 履歷 (2 頁以內)
* 成績單 (從大學開始至最高學歷)
* 有利審查之資料
聯絡人
蔡孟宗
聯絡信箱
mttsai@iis.sinica.edu.tw
聯絡電話
(02)2788-3799-1509
參考網站
https://homepage.iis.sinica.edu.tw/pages/mttsai/index_zh.html
楊得年老師實驗室
刊登期間
2024-08-16 ~ 2025-02-15
職稱
博士後研究(研發替代役可)
工作內容
符合下列條件之一
1. 元宇宙、資料探勘與深度學習、多媒體社群網路與通訊網路、應用數學應用相關研究。
2. 或者具備演算法設計、圖論、最佳化、賽局理論、機器學習、深度學習、統計推論、隨機程序相關背景愛好數學。
3. 或者有興趣網路或巨量資料分析系統實作、程式撰寫適合擬專心研究論文撰寫，未來從事學術工作者。
應徵資格
博士畢業
工作待遇
依中央研究院標準(能力佳者可專案申請較優支薪標準)，享勞健保、勞工退休金、年終獎金、休假等。
應徵方式
意者請備個人詳細履歷、自傳及成績單寄至dnyang@iis.sinica.edu.tw，需要面試時會主動聯絡。
聯絡人
楊得年老師
聯絡信箱
dnyang@iis.sinica.edu.tw
聯絡電話
(02)2788-3799-1728
參考網站
http://www.iis.sinica.edu.tw/pages/dnyang/index_zh.html
電腦系統實驗室 Machine Learning Systems 研究團隊
刊登期間
2024-01-05 ~ 2024-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
鐘楷閔老師實驗室
刊登期間
2024-01-01 ~ 2024-12-31
職稱
博士後研究員
工作內容
工作內容為進行或協助下列領域相關問題之研究：
- Cryptography
- Complexity Theory
- Quantum Information Theory
- Quantum Cryptography
應徵資格
1.博士學歷 (資訊/電機/物理/數學等相關科系)，對密碼學或量子領域有興趣者
2.具備良好的溝通能力和英文能力
適合專心研究，未來從事學術工作者
工作待遇
依中央研究院標準支薪
應徵方式
意者請備妥 1)履歷 2)研究經歷(Research Statement) 3)學校成績單 4)已發表之國內外英文會議或期刊論文，或其他有利審查之文件。註明[應徵博士後研究]，寄至kmchung@iis.sinica.edu.tw，審查通過以email方式通知面試。
聯絡人
鐘楷閔
聯絡信箱
kmchung@iis.sinica.edu.tw
聯絡電話
(02) 2788-3799 ext 1716
參考網站
http://www.iis.sinica.edu.tw/~kmchung/
多媒體技術實驗室
刊登期間
2024-01-01 ~ 2025-12-31
職稱
博士後研究人員/研究助理 and/or 研發替代役 (博士or碩士畢皆可)
工作內容
1. Deep Learning & AI Security
2. Optimization algorithms
3. (Multimedia) Signal Processing
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
形式化驗證實驗室(陳郁方老師)
刊登期間
2020-01-03 ~ 2024-12-31
職稱
博士後研究員 (形式化方法與量子計算）
工作內容
我們歡迎具備多元專業背景與興趣的候選人：
形式方法專長：擁有形式化方法的扎實背景，並對量子計算充滿興趣的研究者。
量子計算專長：具備量子計算的深厚基礎，並希望探索形式化方法如何推動該領域進步的研究者。
該職位提供顯著的學術成長、國際合作機會，以及參與前沿應用的可能性。候選人的研究重點將集中於開發用於分析和驗證量子程式的技術。該工作期限最可長達五年，提供穩定且富有挑戰性的研究環境，幫助候選人實現重要研究成果。
參考著作：
[1]An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits (PLDI 2023) and (QPL 2023), invited to submit as a CACM research highlights article - Basic Framework
[2]AutoQ: An Automata-Based Quantum Circuit Verifier (CAV 2023) - Tool + Symbolic extension
[3]Verifying Quantum Circuits with Level-Synchronized Tree Automata (POPL 2025) - A Tree automata model specialized for quantum verification
[4]AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs (ArXiv 2411.09121) - Quantum program
[5]A Theory of Cartesian Arrays with Applications in Quantum Circuit Verification (CADE 2023) - An attempt to develop SMT theory for quantum
[6]Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization (ICCAD 2024) - MTBDD-based quantum circuit simulation + loop summarization
應徵資格
- 計算機科學、數學、物理或相關領域的博士學位。
- 在形式化方法或物理領域具有的頂尖會議或期刊上具有良好的發表記錄。
- 具備出色的英語溝通能力，包括書面和口頭表達。
工作待遇
六萬至九萬台幣
應徵方式
To apply, please send the following materials to yfc@iis.sinica.edu.tw with the subject line: Postdoc Application – Formal Methods and Quantum Computing:
- A brief CV.
- A short description of research interests (1–2 pages, informal descriptions are welcome).
- A list of publications (a dblp or Google Scholar link suffices).
- PDF copies of two representative papers.
- Contact information for two or more references.
聯絡人
陳郁方
聯絡信箱
yfc@iis.sinica.edu.tw
聯絡電話
27883799-1514
參考網站
http://iis.sinica.edu.tw/~yfc/