企业入口 
登录/注册
登录/注册软件实习生
2022-10-10 22:33:10 刷新
薪资面议 北京 不限 5天／周 实习3个月
班车午餐
微信扫码同步查看
投递方便通知及时
投递方便通知及时
扫码手机查看
当前职位已下线
职位描述：
职位描述:负责软件算法/系统设计的 形式化验证 工程编写负责形式化验证 相关算法的开发任职资格:统招研究生, 计算机/自动化/信号处理 相关专业熟悉使用以下两种语言之一: python/C 语言优先项: 使用过 TLA+ 进行算法或者设计验证优先项: 有过 Formal Verification/Model Checker/SMT 研究经历任职要求：研究生在读保证每周至少3天出勤
投递要求：
简历要求：
中文
截止日期：2020-12-31
工作地点：
中关村新兴产业前沿技术研究院1号楼
求职中若出现虚假宣传，收取财物等违法情况。请立即举报
当前职位已下线
公司简介
职位百科
为你揭秘各职业的工作内容｜薪资水平…
算法工程师
百科详情利用算法原理处理事物的人员。