看板 Soft_Job 關於我們 聯絡資訊
工作內容: 從事軟體正確性驗證或測試相關研究,撰寫論文及系統開發。 此工作適合有意出國,或未來想從事教職者,累積研究經驗及論文。 建議申請者先行參閱下列論文,確認未來研究型態和自己興趣相符合。 "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/ -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 220.136.44.171