地点：北京

项目：嵌入式系统开发中的形式方法研究


工作内容：
1. 基于形式方法对嵌入式系统进行建模和验证
2. High Level Synthesis以及保证其正确性的技术

技术要求：
1. 熟悉形式验证领域的研究工作（如模型检查等）及其相关工具；
2. 对嵌入式系统体系结构、设计流程及其相关工具有一定了解；
3. （optional）对编译原理和技术有一定了解。

其他要求：
1. 计算机、微电子或相关专业研一、博一在读生，或者已经保研的本科生；
2. 动手能力强，具有相关项目经验者优先；
3. 有较好的团队协作能力；
4. 实习期为1年，中途不能放弃；每周工作至少3天。

有意者请发送简历到： intern.application.ilc@gmail.com（中英文简历任选其一发送一份即可，如果您收到回复邮件，表明您有可能会得到面试机会，否则表明您不符合我们的要求）
--
FROM 192.55.46.*