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

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

岗位要求
1.具有计算机及相关专业的本科以上学历，2027届应届毕业生；
2.精通c语言特性和能够熟练使用c语言设计进行开发，具备积极的开发态度或者成熟的开发理念；
3.掌握软件工程，了解敏捷开发思想；
4.责任心强、工作细致、具有良好的团队协作能力和自我学习的意愿；
5.能够查阅计算机方面的英文文档和资料；
6.熟悉程序分析和程序形式化验证者优先。