算法研究员-2024届

岗位职责

1.参与形式化建模与形式化验证相关技术研究；
2.研究和开发密码学算法和工具，或自动化测试模型和工具；
3.参与相关领域调研、设计、编码和调试等工作。

任职要求

1.计算机相关专业，硕士及以上学历，博士优先；
2.研究方向为可计算理论、形式化方法、密码学、人工智能和测试理论等；
3.扎实的理论基础，熟悉可计算理论，或密码学理论和算法、或模型检验相关理论、语言和工具，如自动机、bdd、spin、NuSMV等；
4.扎实的编程能力和数据结构知识，熟练掌握至少一门主流编程语言；
5.良好的团队合作精神，有解决困难问题的勇气；
6.良好的英文阅读能力，有持续学习的能力。