聲明：本站部分公告與職位內容由本站根據(jù)官方招聘公告進行整理編輯。由于用人單位需求專業(yè)、學歷學位、資格條件、職位編制、備注內容等內容情況復雜且有變化可能，是否符合招聘條件以用人單位公告為準或請聯(lián)系用人單位確認。本站整理編輯的職位信息僅供求職者參考，如因此造成的損失本站不承擔任何責任！
職位詳情
基本信息
職位名稱：智駕業(yè)務領域建模工程師
工作地點：北京
招聘人數(shù)： 2
報名方式：
電子郵件
截止時間：2026-06-06
崗位職責
1.領域模型架構設計：負責智駕業(yè)務領域的模型抽象與元模型設計，定義各層級的語法規(guī)范與語義規(guī)則，確保模型描述的無歧義性。
2.智能化形式化驗證：采用傳統(tǒng)形式化方法與AI技術相結合的方式，對建模過程進行正確性證明與安全性分析。
3.探索利用大模型或神經(jīng)符號AI輔助自動生成形式化規(guī)范及證明過程，降低驗證門檻。
4.負責領域建模標準制定、技術文檔撰寫及相關專利申請。
任職要求
1.應聘人員需具備本科及以上學歷，具有扎實的數(shù)理邏輯基礎。
2.深入理解MBD（模型驅動設計）、DSL設計及抽象語法樹（AST）構建技術。
3.熟悉大語言模型（LLM）在代碼生成、邏輯推理領域的應用方法。
4.了解主流形式化語言或工具（如Event-B、TLA+、MLIR、Lustre等）。
5.熟練掌握Python、C++等編程語言；熟悉函數(shù)式編程范式。
6.具備較好的溝通表達能力和團隊合作意識。
其他說明
請將應聘材料（個人簡歷、學歷證書、相關資格證書等）打包發(fā)送至郵箱，郵件請注明“崗位名稱+應聘人員姓名”。
您與該職位匹配度: ***，已超過了
*** 的競爭者，建議************
您在 ？位置
歡迎掃描下方二維碼關注高校人才網(wǎng)官方微信（碩博QQ交流群：928126168 ，進微信群
請點擊添加官方客服號）
重要風險提示：如招聘單位在招聘過程中向求職者提出收取押金、保證金、體檢費、材料費、成本費，或指定醫(yī)院體檢等，求職者有權要求招聘單位出具物價部門批準的收費許可證明材料，若無法提供相關證明，請求職者提高警惕，有可能屬于詐騙或違規(guī)行為。
