招聘信息

本研究室长期招聘与课题相关的研究人员与工程师,欢迎有志于科研与技术创新的优秀人才加入!

招聘方向

  • 软件验证
  • EDA(电子设计自动化)形式化验证
  • 大模型技术与AI相关算法
  • GPU编程与并行算法

招聘职位

  • 研究员系列(研究员 / 副研究员 / 助理研究员)
  • 工程师
  • 博士后研究员

我们提供

  • 富有竞争力的薪酬待遇和完善的科研经费支持。
  • 国际化的学术环境与合作机会,助力职业发展。
  • 开放包容的研究氛围,鼓励创新与技术探索。

申请方式
请将您的个人简历、研究成果及相关证明发送至 chuyi2020@iscas.ac.cn,邮件标题请注明申请职位及招聘方向。我们期待您的加入!

招生信息

本研究室持续招收研究生和实习生,希望学生有优秀的算法基础和编程能力, 较好的数学基础(尤其是离散数学)和英语能力。如有意愿保送研究生,请尽早联系,大二暑假可以开始。

联系我们

欢迎您与本研究室联系,无论是学术交流、科研合作、企业项目支持,或其他合作需求。您可以通过填写下方表单留言,我们将尽快回复。

  • 北京市中关村南4街 中国科学院软件园区, 94305