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

招聘方向：

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

招聘职位：

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

职位描述：

工程师：

• 参与并推动相关项目的技术开发与实现。
• 协助团队进行系统开发、测试和优化，提升项目效率和性能。
• 与研究团队合作开发新的算法与工具，解决实际技术难题。
• 负责撰写技术文档，参与技术研讨并提供专业意见。

博士后研究员：

• 在研究室所开展的相关课题中能够追踪最新理论与技术的进展。
• 推动相关课题方向的最新理论研究与技术实现。
• 指导研究生、工程师进行项目开发与学术研究。

我们提供：

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

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