初级编译器及形式化验证开发工程师
我们正在寻找一名初级编译器及形式化验证开发工程师加入我们的上海团队。
岗位职责：
- 改善和增强公司编译器产品，提高代码优化质量，降低运行时资源消耗；提高公司编译器产品对新编程语言及语言标准的兼容性
- 改善和增强公司形式化验证产品，提高验证能力，优化运行速度
岗位要求：
- 计算机或相关专业本科及以上应届学历，对编译器、虚拟机、模拟器或二进制翻译软件有浓厚兴趣
- 熟练C/C++和常见数据结构，熟练使用GCC/GDB
- 实践高度自律工程开发，产出高质量代码
- 熟悉Linux操作系统和开发环境
- 熟练使用Shell Script和Python
- 了解常见编译分析技术优先，如控制流分析、数据流分析、指针分析、过程间分析等
- 了解常见指令集架构优先，如x86，arm和risc-v
- 了解虚拟机、垃圾回收，二进制动态插桩等技术优先
- 了解形式化验证技术优先
- 良好的团队协作意识，具备英语口语和书面交流能力者优先考虑
我们正在寻找自我启动-候选人谁可以迅速跳入没有太多的方向，并通过提出正确的问题学习。