软件开发工程师 （C方向）

职位描述

参与公司的程序分析/验证工具产品的研发，包括设计、编码、调试、和文档撰写等工作。

任职要求

1.具有计算机及相关专业的本科以上学历，2027届应届毕业生；

2.精通c语言特性和能够熟练使用c语言设计进行开发，具备积极的开发态度或者成熟的开发理念；

3.掌握软件工程，了解敏捷开发思想；

4.责任心强、工作细致、具有良好的团队协作能力和自我学习的意愿；

5.能够查阅计算机方面的英文文档和资料；

6.熟悉程序分析和程序形式化验证者优先。