职位描述：
我们正在寻找一位充满激情和创新精神的智能化软件工程研究员，加入我们的前沿技术团队。您将有机会参与以下关键项目：
1、研发安全增强代码自动生成系统：设计和实现能够自动生成高质量、安全性强的代码系统，提升软件开发效率并降低潜在风险。
2、研发智能化编程环境：构建智能化的开发工具和环境，帮助开发者更高效地编写、调试和优化代码。
3、探索智能化软件工程的新方法、新技术：深入研究人工智能与软件工程的结合点，探索前沿技术并推动行业创新。
4、撰写相关技术报告：总结研究成果，撰写高质量的技术报告和论文，并在顶级会议或期刊上发表。
任职要求：
1、教育背景：国内外重点院校；计算机科学、软件工程、人工智能或相关领域的博士学位，具备独立开展科研工作的能力；或者计算机科学、软件工程、人工智能或相关领域的硕士，具备实际系统开发经验，能独立完成开发任务；
2、研究方向或项目经验：在程序语言设计、编译技术、程序分析与验证等至少一个领域有深入的研究或项目开发经验；
3、实践经验：具有实际系统开发经验，能够将理论研究成果转化为实际应用。
4、编程能力：熟练掌握至少一种系统级编程语言（如C/C++/Rust/Java），并具备良好的代码设计和优化能力。
5、人工智能基础：熟悉人工智能的基本原理和技术，具有大模型研发经验者优先。
6、学术成果：在相关领域的顶级会议或期刊（如PLDI、OOPSLA、ICSE、NeurIPS等）发表过论文者优先。