人才引进工作地区：北京

高端人才引进→详情点击《高端人才引进 》             高校人才引进→详情点击《高校招聘 》 

事业单位人才引进→详情点击《事业单位人才 》      科研人才引进→详情点击《科研人才 》 

医疗人才引进→详情点击《医疗人才》                     企业人才引进→详情点击《企业招聘 》 

软件学院丨招1人

学习经历及工作经历满足以下条件之一：

1、 学位要求本科及以上 并且 工作年限要求不限

核心职责及次要职责：

根据课题组研究需要，通过指导、参与等方式，重点在以下方面开展工作： 1.基于课题组现有技术路线，参与软件形式化验证工具的研发； 2.参与课题组研发工具的测试、授权等产品化工具开发和维护； 3.参与课题组研究成果在多领域应用的适配、bug修复、文档撰写； 4.完成课题执行过程中需要的其他工作内容。

其他要求：

无

联系人及联系方式：

联系人：贺老师

联系邮箱：hefei@tsinghua.edu.cn

来源：http://jobs.tsinghua.edu.cn/project/qhdx/pages/recruit_new/?FM_SYS_ID=qhdx#/post/detail/63DD2BA5CF1645FDBFD621F1914AF613