1.负责国产化测试工具(程序验证)的功能设计与开发，理解c的代码规范、了
解语言中的常见错误和潜在漏洞
2.参与到产品的需求、设计、开发和支持、维护等各个生命周期中，推进产品的技术迭代和创新
3.积极参与团队交流和协作，共建良好的团队氛围.
岗位要求:
1.具有计算机及相关专业的本科以上学历
2.精通c语言特性和能够熟练使用c语言设计进行开发，具备积极的开发态度或者成熟的开发理念
3.掌握软件工程，了解敏捷开发思想
4.责任心强、工作细致、具有良好的团队协作能力和自我学习的意愿
5.能够查阅计算机方面的英文文档和资料
6.熟悉程序分析和程序形式化验证者优先