职位详情
带薪年假
定期体检
弹性工作
年度旅游
节日礼物
五险一金
团队聚餐
生育补贴
发展空间大
午餐补助
职责：
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等定理证明器的使用经验者优先
其他信息
行业要求：全部行业
公司介绍
中国科学技术大学上海研究院是中国科学技术大学在上海创办的一所新型研究院，正式成立于2004年7月30日。研究院以潘建伟院士为科研带头人，凝聚起一支结构合理、多学科交叉、优势互补、密切协作的人才队伍。
学院已建立多项研究平台，研究条件具有国际先进水平，研究成果多次入选国际物理学重大年度进展、国家科技部年度基础科学研究十大新闻和中国高校科技十大进展。
2009年4月，国际杰出的青年科学家潘建伟量子团队进驻上海研究院，“量子工程中心”正式成立，标志国家微尺度实验室布局上海的战略规划迈出了重要的第一步。该中心汇集了德国海德堡大学以及国内外一流人才共计30余人的研究团队，团队成员年轻且均是通过国家“长江学者”计划等方式引进的国外杰出人才。量子工程中心研究领域为量子光学与量子信息，研究方向包括量子力学基本原理检验、光纤量子通信、自由空间量子通信、量子存储与量子中继、光学量子计算、超导量子计算、超冷原子量子模拟、量子精密测量以及相关理论研究等。中心已经搭建了众多相关实验平台，建立和发展了一整套与量子信息实验研究相关的分析探测设备和手段，研究条件具有国际先进水平。
工商信息
以下信息来自
统一社会信用代码
12310115555998767A
