国家核仪控研发中心 高级研究人员(软件形式化验证方向/编译器)
北京广利核系统工程有限公司
- 公司规模:500-1000人
- 公司性质:国企
- 公司行业:仪器仪表/工业自动化
职位信息
- 发布日期:2012-08-17
- 工作地点:北京-海淀区
- 招聘人数:1
- 学历要求:硕士
- 职位类别:高级软件工程师 科研人员
职位描述
岗位职责:
1、编译器的形式化验证
2、形式化语言的定义
3、对用户建立的模型进行检查,自动推理。
1、编译器的形式化验证
2、形式化语言的定义
3、对用户建立的模型进行检查,自动推理。
岗位要求:
1、熟悉形式化方法理论体系
2、精通各种形式化验证方法:模型检查、定理证明
3、熟悉数理逻辑,包括集合论和布尔代数
4、熟悉离散数学、形式语言和自动机理论
5、了解和熟练使用过类似SPIN的模型检查工具
6、有从事过从某种形式化语言转换到自动机的经验
7、从事过模型检查和编译器方面的工作者优先
8、欢迎具有博士学位和高校教授经验者投递此职位。
公司介绍
北京广利核系统工程有限公司(以下简称公司)是中广核工程公司与北京和利时合资组建的有限责任公司,专业从事核电站数字化仪控系统软硬件产品研发、工程应用设计、系统集成和技术服务业务。公司于2005年10月18日在北京市海淀园区注册成立,注册资金15000万元,被北京市科学技术委员会认定为高新技术企业、软件企业,并已获取cmmi-4认证。公司现有人员规模约700人,办公地现位于海淀区永丰路五号院(办公面积约两万余平米)。
推进数字化仪控自主化和国产化进程是国家积极发展核电和十一五规划“提高自主创新能力”的战略性要求,广利核正是以推进核电数字化仪控系统的国产化和自主化进程为企业使命,力求在实践中走出一条消化吸收再创新、集成创新与原始创新相结合的发展之路。公司融合了国际先进的管理理念和工作模式,业务定位于向核电站提供端到端的、全生命周期的数字化仪控系统解决方案和服务,致力于实现数字化仪控系统的自主化和国产化,同时努力推进公司国际化进程。2009年6月,公司被授牌国家能源核电站数字化核仪控研发中心,这是我国核电行业***获得批准的仪控系统研发中心。
广利核公司作为国内数字化仪控领军企业,目前正与法玛通、西门子、三菱等优秀企业合作,将***限度的吸收中广核集团与和利时公司的成功经验,站在巨人的肩头,挺立核电站数字化仪控系统国产化、自主化的潮头!
真诚希望广大优秀人士加入到公司的队伍中,共同创造一番伟大的事业!
推进数字化仪控自主化和国产化进程是国家积极发展核电和十一五规划“提高自主创新能力”的战略性要求,广利核正是以推进核电数字化仪控系统的国产化和自主化进程为企业使命,力求在实践中走出一条消化吸收再创新、集成创新与原始创新相结合的发展之路。公司融合了国际先进的管理理念和工作模式,业务定位于向核电站提供端到端的、全生命周期的数字化仪控系统解决方案和服务,致力于实现数字化仪控系统的自主化和国产化,同时努力推进公司国际化进程。2009年6月,公司被授牌国家能源核电站数字化核仪控研发中心,这是我国核电行业***获得批准的仪控系统研发中心。
广利核公司作为国内数字化仪控领军企业,目前正与法玛通、西门子、三菱等优秀企业合作,将***限度的吸收中广核集团与和利时公司的成功经验,站在巨人的肩头,挺立核电站数字化仪控系统国产化、自主化的潮头!
真诚希望广大优秀人士加入到公司的队伍中,共同创造一番伟大的事业!
联系方式
- Email:ctecdcs-job@cgnpc.com.cn
- 公司地址:上海市闵行区紫星路1588号中广核科技园区A栋