北京广利核系统工程有限公司招聘国家核仪控研发中心 高级研究人员（软件形式化验证方向/编译器）

电力18讯：    岗位名称 ：  国家核仪控研发中心 高级研究人员（软件形式化验证方向/编译器） 工作地点 ：  北京
招聘人数 ：  1 职位分类 ：   
招聘公司 ：  北京广利核系统工程有限公司
工作要求 ：  1、学历 ： 硕士及以上学历，欢迎具有博士学位和高校教授经验者投递此职位。
2、性别 ： 不限
3、年龄 ： 28-45岁
4、职称 ：
5、工作经验 ： 1、有从事过从某种形式化语言转换到自动机的经验 2、从事过模型检查和编译器方面的工作者优先
6、其它 ： 1、熟悉形式化方法理论体系 2、精通各种形式化验证方法：模型检查、定理证明 3、熟悉数理逻辑，包括集合论和布尔代数 4、熟悉离散数学、形式语言和自动机理论 5、了解和熟练使用过类似SPIN的模型检查工具

职位描述 ：  1、编译器的形式化验证 2、形式化语言的定义 3、对用户建立的模型进行检查，自动推理。

有效起始日期 ：  2010-09-20
有效结束日期 ：  2011-08-31