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