职位1：Eclipse插件开发
主要工作内容：
-程序静态分析（static analysis）工具
要求：
-熟练使用Java语言
-有Eclipse插件开发经验者优先
-对编译原理或静态分析技术了解者优先，2012年毕业生优先
-每周保证三天以上，且三个月以上

职位2：自动化软件测试技术研究
主要工作内容：
-研究形式化验证、静态分析等自动化软件测试技术，开发原型工具
要求：
-对研究工作感兴趣，并有一定经历
-熟练掌握至少一种编程语言，具有较好的实践能力
-每周保证三天以上，且六个月以上

工作地点：中关村南三街

提供宽松的工作氛围、有竞争力的实习工资
简历请发送至spac_hr@126.com，我会尽快联系。标题请用格式如“清华大学+研一+计
算机+张三+Java语言”，恕不一一回复。
--
FROM 123.120.45.*