工作内容：
从事软件正确性验证或测试相关研究，撰写论文及系统开发。
此工作适合有意出国，或未来想从事教职者，累积研究经验及论文。
建议申请者先行参阅下列论文，确认未来研究型态和自己兴趣相符合。
"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/