声明：本站部分公告与职位内容由本站根据官方招聘公告进行整理编辑。由于用人单位需求专业、学历学位、资格条件、职位编制、备注内容等内容情况复杂且有变化可能，是否符合招聘条件以用人单位公告为准或请联系用人单位确认。本站整理编辑的职位信息仅供求职者参考，如因此造成的损失本站不承担任何责任！
职位详情
基本信息
职位名称：神经网络形式化验证助理研究员
职位类型：助理研究员/研究实习员
工作地点：北京
招聘人数： 1
报名方式：电子邮件
截止时间：详见正文
用人部门：中国科学院软件所协同创新中心#
其他要求
学历要求：博士研究生
需求专业：
计算机科学与技术
该需求专业仅展示一级学科
岗位职责
1.实现形式化验证深度神经网络和其他深度学习模型的算法，研发高效的验证工具；2.参与项目成果的整理及发表，包括论文、专利、软件著作权等；3.对神经网络形式化验证领域中的前沿技术进行探索和研究。
任职要求
简历投递邮箱：dongnan@iscas.ac.cn
邮件标题：应聘岗位名称+专业+本人姓名+高校人才网
邮件标题：应聘岗位名称+专业+本人姓名+高校人才网
其他说明
1.计算机科学与技术类、计算机类专业，博士研究生学历；
2.具有形式化验证领域扎实的专业基础，在神经网络形式化验证领域有广泛且深入的研究；
3.在人工智能安全相关领域国际比赛中取得优异成绩者优先，在重要核心刊物上发表过论文优先，有发明专利者优先；
4.有开发神经网络形式化验证工具，或模型检验、定理证明、SAT/SMT求解工具的经验；
5.身体健康，具有良好的道德素质、较强的组织协调能力和团队合作精神。
2.具有形式化验证领域扎实的专业基础，在神经网络形式化验证领域有广泛且深入的研究；
3.在人工智能安全相关领域国际比赛中取得优异成绩者优先，在重要核心刊物上发表过论文优先，有发明专利者优先；
4.有开发神经网络形式化验证工具，或模型检验、定理证明、SAT/SMT求解工具的经验；
5.身体健康，具有良好的道德素质、较强的组织协调能力和团队合作精神。
附件下载
更多热点资讯！欢迎扫描下方二维码关注伯小乐官方微信（QQ交流群：）。
重要风险提示：如招聘单位在招聘过程中向求职者提出收取押金、保证金、体检费、材料费、成本费，或指定医院体检等，求职者有权要求招聘单位出具物价部门批准的收费许可证明材料，若无法提供相关证明，请求职者提高警惕，有可能属于诈骗或违规行为。