现在的Top Coder还有意思吗# Programming - 葵花宝典
m*t
1 楼
国家可信嵌入式软件工程技术研究中心是由科技部批准，华东师范大学直属建制的
国家级研究基地。该中心围绕国家科技发展战略与产业振兴规划的需求，充分利用合作
单位及长三角区域高新技术产业等国内行业现有资源和优势条件，实行优势互补、互惠
互利、共同发展，逐步发展成为具有国际领先水平的可信嵌入式技术创新体系、工程化
研究与产业化研发平台。现与中国汽车电子基础软件产业联盟、中国自主可控计算平台
产业联盟（14所、54所、29所）、上海电气集团股份有限公司、上海申通地铁集团有限
公司、上海贝尔股份有限公司、航天五院等20余家知名企业开展了紧密合作。因研发工
作的需要，现常年面向海内外招聘工程技术人员，具体要求如下：
一、 岗位描述：开发模型验证与检测工具，开展形式化验证/嵌入式系统验证相关
研究；
二、 岗位要求：
1、 在形式化验证、C / C+ + 程序分析的自动化测试等研究领域获得博士学位
2、 有丰富的C/C++ 程序开发经验以及工具驱动开发经验；
3、 有较强的团队合作精神
三、 应聘方式：
请有意者将简历投递至r***[email protected]
联系电话：021-62224237.
国家级研究基地。该中心围绕国家科技发展战略与产业振兴规划的需求，充分利用合作
单位及长三角区域高新技术产业等国内行业现有资源和优势条件，实行优势互补、互惠
互利、共同发展，逐步发展成为具有国际领先水平的可信嵌入式技术创新体系、工程化
研究与产业化研发平台。现与中国汽车电子基础软件产业联盟、中国自主可控计算平台
产业联盟（14所、54所、29所）、上海电气集团股份有限公司、上海申通地铁集团有限
公司、上海贝尔股份有限公司、航天五院等20余家知名企业开展了紧密合作。因研发工
作的需要，现常年面向海内外招聘工程技术人员，具体要求如下：
一、 岗位描述：开发模型验证与检测工具，开展形式化验证/嵌入式系统验证相关
研究；
二、 岗位要求：
1、 在形式化验证、C / C+ + 程序分析的自动化测试等研究领域获得博士学位
2、 有丰富的C/C++ 程序开发经验以及工具驱动开发经验；
3、 有较强的团队合作精神
三、 应聘方式：
请有意者将简历投递至r***[email protected]
联系电话：021-62224237.
