1931
次閱讀

中央研究院資訊科學研究所 / 國立清華大學資訊工程學系 / 國立臺灣大學電信工程學研究所 誠徵博士後研究員

(中央研究院資訊科學研究所鐘楷閔老師、楊柏因老師、陳郁方老師；國立清華大學資訊工程學系林瀚仚老師；國立臺灣大學電信工程學研究所鄭皓中老師聯合徵才)

 原公告網址：中央研究院資訊科學研究所/國立清華大學資訊工程學系/國立臺灣大學電信工程學研究所 誠徵博士後研究員-科技部 (most.gov.tw)

【工作內容】進行或協助科技部量子科技專案計畫 (量子計算機科學之理論發展)
【應徵資格/條件】
1.對量子計算機科學有興趣、熱忱，未來想投入國際量子計算機科學學界或相關產業的人士。
2.對投入計劃研究領域(之一)以及與計劃PI(之一)合作有高度興趣。具相關研究經驗者為佳。
3. 如對鐘楷閔老師/林瀚仚(Han-Hsuan Lin)老師/理論量子計算機科學感興趣，具理論計算機科學(e.g., quantum cryptography, quantum complexity theory, quantum algorithm) 相關研究經驗，或具數學/理論物理研究經驗且對理論計算機科學研究感興趣者為佳
4. 如對楊柏因老師/後量子密碼學感興趣，具備底下經驗者為佳：系統開發經驗 (如C/C++, Python程式設計、開源軟體或嵌入式系統等)、具有良好系統、軟體開發經驗
5. 如對陳郁方老師/量子軟體系統感興趣，具有形式化驗證(formal verification)或是自動機理論(automata theory)相關研究經驗者為首選。有程式語言，軟體工程，理論計算機科學或電子設計自動化相關研究經驗，並對量子軟體系統研究方向有興趣，也十分歡迎。(詳見補充說明)
6. 如對鄭皓中老師/量子資訊理論、量子學習理論 (quantum information theory, quantum learning theory) 感興趣，且具數學/理論物理研究經驗者為佳。

補充說明：

可以參考Quantum Computer Systems: Research for Noisy Intermediate-Scale Quantum Computers一書 的Ch 5,6,9來得到這個方向的大概輪廓（連結：https://www.morganclaypool.com/doi/abs ... 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

【老師個人網頁】
鐘楷閔老師https://homepage.iis.sinica.edu.tw/~kmchung/
楊柏因老師https://homepage.iis.sinica.edu.tw/pages/byyang
陳郁方老師http://www.iis.sinica.edu.tw/~yfc
林瀚仚老師https://sites.google.com/view/han-hsuan-lins-homepage/
鄭皓中老師http://www.ee.ntu.edu.tw/profile1.php?id=1080917
【工作待遇】依中央研究院標準支薪 (未來將依工作表現調整)
【工作地點】依合作老師所在單位而定
【應徵方式】意者請備妥：
1.履歷
2.研究經歷(Research Statement)
3.已發表之國內外英文會議或期刊論文，或其他有利審查之文件。
4.說明感興趣之領域(量子密碼學、後量子密碼學、量子軟體系統、量子斷層掃描)與有興趣合作之PI，以及期待之合作主題與模式
5.推薦信兩封 或願意寫推薦信之推薦人資料兩名
註明 [應徵博士後研究]，寄至ching0812p@iis.sinica.edu.tw 簡小姐，審查通過以email方式通知面試。