[徵才]中研院資訊所專任或兼任研究助理

作者: guluchen (gulu)   2010-06-16 13:39:14
工作內容:
從事軟體正確性驗證或測試相關研究,撰寫論文及系統開發。
此工作適合有意出國,或未來想從事教職者,累積研究經驗及論文。
建議申請者先行參閱下列論文,確認未來研究型態和自己興趣相符合。
"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/

Links booklink

Contact Us: admin [ a t ] ucptt.com