工作內容：
從事軟體正確性驗證或測試相關研究，撰寫論文及系統開發。
此工作適合有意出國，或未來想從事教職者，累積研究經驗及論文。
建議申請者先行參閱下列論文，確認未來研究型態和自己興趣相符合。
"A Survey of Automated Techniques for Formal Software Verification"
Vijay DSilva, Daniel Kroening, Georg Weissenbacher
"The Software Model Checker Blast: Applications to Software Engineering."
Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar.
應徵資格/條件：
具電機、資訊、數學或相關科系之學士以上學位。
相關課程為演算法，資料結構，計算理論，程式語言，計算複雜度，離散數學，
邏輯合成與驗證，電子設計自動化，正規方法。
工作待遇：
依中央研究院/國科會規定, 35000起。
應徵方式：
將個人詳細履歷，大學及以上成績單、發表過之論文、及任何有助審查資料
Email至陳郁方助研究員[email protected]。如通過初審將會另行通知面試。
參考網站：
http://www.iis.sinica.edu.tw/~yfc/