算法工程師

分享到：

薪資30-60萬(wàn)元/月

工作性質(zhì)：	全職	更新日期：	該職位已過(guò)期
專(zhuān)業(yè)要求：	不限	學(xué)歷要求：	研究生/碩士
職稱(chēng)要求：	不限	性別要求：	不限
年齡要求：	不限	經(jīng)驗(yàn)要求：	1年以上
工作地區(qū)：	北京	戶(hù)口要求：	不限
截止日期：	該職位已過(guò)期	外語(yǔ)要求：	不限
工資待遇：	30-60萬(wàn)元/月	招聘人數(shù)：	1人
其他福利：	五險(xiǎn)一金餐補(bǔ) 交通補(bǔ)助免費(fèi)班車(chē) 周末雙休年終分紅帶薪年假

職位描述（Job Description）

崗位職責(zé)：
?1.參與形式化建模與形式化驗(yàn)證相關(guān)技術(shù)研究；?
?2.研發(fā)自動(dòng)化測(cè)試工具，提升測(cè)試效率；?
?3.相關(guān)領(lǐng)域調(diào)研、設(shè)計(jì)、編碼、調(diào)試等工作。
?
?任職要求：
?1.碩士及以上學(xué)歷，研究方向?yàn)閿?shù)理邏輯、形式化方法等；?
?2.熟悉模型檢驗(yàn)相關(guān)理論、語(yǔ)言、工具，如自動(dòng)機(jī)、bdd、spin、NuSMV等；?
?3.扎實(shí)的編程能力和數(shù)據(jù)結(jié)構(gòu)知識(shí)，熟練掌握至少一門(mén)主流編程語(yǔ)言；?
?4.良好的團(tuán)隊(duì)合作精神，有解決困難問(wèn)題的勇氣；?
?5.良好的英文閱讀能力，有持續(xù)學(xué)習(xí)的能力。

公司介紹（Company Introduction）

北京握奇數(shù)據(jù)股份有限公司招聘

聯(lián)系方式（Contact）

聯(lián)系方式正在加載中......

你可能感興趣的職位（Interested Jobs）

職位名稱(chēng)	公司名稱(chēng)	工作地區(qū)	薪資待遇
視覺(jué)算法工程師算法工程師	北京卓視智通科技有限責(zé)任公司	北京.海淀區(qū)	24-36萬(wàn)元/月
算法工程師	北京世紀(jì)好未來(lái)教育科技有限公司	北京	3萬(wàn)-5萬(wàn)元/月
算法工程師	深圳市錦瑞生物科技有限公司	深圳-南山區(qū)	0.8-1.5萬(wàn)元/月
算法工程師	深圳市艾博德科技有限公司	廣東.深圳.光明新區(qū)	面議
算法工程師	成都交大光芒科技股份有限公司	成都	面議
算法工程師	重慶慧都科技有限公司	四川.成都.武侯區(qū)	18-36萬(wàn)元/月
算法工程師	廈門(mén)云識(shí)科技有限公司		面議
算法工程師	蘇州元謀智能機(jī)器人系統(tǒng)有限公司	蘇州-工業(yè)園區(qū)	面議
算法工程師	西安瑞特森信息科技有限公司	西安.雁塔區(qū)	面議
算法工程師	上海道生醫(yī)療科技有限公司	上海	面議