1.負(fù)責(zé)國(guó)產(chǎn)化測(cè)試工具(程序驗(yàn)證)的功能設(shè)計(jì)與開(kāi)發(fā),理解c的代碼規(guī)范、了
解語(yǔ)言中的常見(jiàn)錯(cuò)誤和潛在漏洞
2.參與到產(chǎn)品的需求、設(shè)計(jì)、開(kāi)發(fā)和支持、維護(hù)等各個(gè)生命周期中,推進(jìn)產(chǎn)品的技術(shù)迭代和創(chuàng)新
3.積極參與團(tuán)隊(duì)交流和協(xié)作,共建良好的團(tuán)隊(duì)氛圍.
崗位要求:
1.具有計(jì)算機(jī)及相關(guān)專業(yè)的本科以上學(xué)歷
2.精通c語(yǔ)言特性和能夠熟練使用c語(yǔ)言設(shè)計(jì)進(jìn)行開(kāi)發(fā),具備積極的開(kāi)發(fā)態(tài)度或者成熟的開(kāi)發(fā)理念
3.掌握軟件工程,了解敏捷開(kāi)發(fā)思想
4.責(zé)任心強(qiáng)、工作細(xì)致、具有良好的團(tuán)隊(duì)協(xié)作能力和自我學(xué)習(xí)的意愿
5.能夠查閱計(jì)算機(jī)方面的英文文檔和資料
6.熟悉程序分析和程序形式化驗(yàn)證者優(yōu)先