现在的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.