职位详情

登录

语言及编译算法工程师
2-3万
人 · 硕士 · 无需经验 · 性别不限2024/11/22发布

浦东新区

低价好房出租>>

上海市秀浦路99号

公司信息
中国科学技术大学上海研究院

事业单位/少于50人

该公司所有职位
职位描述
职责:
1.针对量子计算理论与工程的实际需求,参与设计和开发DSL(domain specific language)。
2.参与DSL与量子计算调度系统的核心模块的适配与兼容,并协助日常的维护工作
3.使用形式化验证工具验证DSL的安全性
任职要求:
1.统招全日制硕士及以上学历,计算机、数学、物理、电子工程、自动化等相关专业,具备编程语言及编译器背景者优先,毕业于985、211院校(或同等水平海外院校)者优先。
2.熟悉编译原理,数学逻辑,形式化验证,定理证明的基本原理与理论。有相关课程经验者优先
3.具备编写高效的、规范的、可维护的代码的能力,熟悉软件工程开发流程,熟悉Git代码管理,熟悉Linux下的工作流(ssh,bash脚本,等等)
4.熟悉编译器前端算法(例如parser)的基本原理与实现。有实际开发经验者优先
5.熟悉haskell,ocaml,F#,scalar等函数式编程语言中至少一门
6.有coq,agda,Isabelle,lean4等定理证明器的使用经验者优先

相关职位
系统算法研发25-40万/年
商业医疗保险餐厅、运动场
高级软件设计工程师25-35万/年
中高级C++开发工程师--上海2.4-4.8万·14薪
高级C++工程师3-4万
通信算法实现工程师2-3.5万
查看所有职位
51米多多提醒你:在招聘、录用期间要求你支付费用的行为都必须提高警惕。 以招聘为名的培训、招生,许诺推荐其他工作机会,甚至提供培训贷款,或者支付体检 、服装、押金和培训等费用后才能录用工作的,都属于违法行为,应当提高警惕。一经发现,请立即举报,并向当地公安机关报案。

举报

招聘信息 > 上海招聘 > 招聘 > 上海软件工程师招聘

收藏

热门职位热门城市周边城市