算法工程師

分享到：

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

工作性質(zhì)：	全職	更新日期：	05-18
專(zhuān)業(yè)要求：	不限	學(xué)歷要求：	研究生/碩士
職稱(chēng)要求：	不限	性別要求：	不限
年齡要求：	不限	經(jīng)驗(yàn)要求：	1年以上
工作地區(qū)：	北京	戶口要求：	不限
截止日期：	2025-08-03	外語(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)元/月
算法工程師	天津國(guó)芯科技有限公司	天津	15k~20k元/月
算法工程師	成都盛世普益科技有限公司	成都.青羊區(qū)	面議
算法工程師	浙江歐威科技有限公司	杭州-江干區(qū)	面議
算法工程師	廣州三瑞醫(yī)療器械有限公司	廣州-天河區(qū)	0.8-1.5萬(wàn)元/月
算法工程師	重慶領(lǐng)工云電子商務(wù)有限公司	重慶.渝北區(qū)	面議
算法工程師	三一重工股份有限公司	江蘇.蘇州	24-30萬(wàn)元/月
算法工程師	深圳市天英聯(lián)合教育股份有限公司	深圳-南山區(qū)	1-1.5萬(wàn)元/月
算法工程師	成都盟升電子技術(shù)股份有限公司	四川·成都	面議
算法工程師	廈門(mén)蒙友互聯(lián)軟件有限公司	福建·廈門(mén)	面議