1、負(fù)責(zé)產(chǎn)品的規(guī)劃設(shè)計，制定研發(fā)方案，并管控研發(fā)過程；
2、負(fù)責(zé)形式化方法和程序驗證相關(guān)前沿技術(shù)的評估，牽頭開展研發(fā)課題的申請，解決產(chǎn)品研發(fā)與服務(wù)過程中所遇到的關(guān)鍵技術(shù)問題，帶領(lǐng)團(tuán)隊完成研發(fā)項目的實施工作；
3、配合市場銷售做好客戶需求對接工作，并帶領(lǐng)團(tuán)隊為客戶提供解決方案；
4、負(fù)責(zé)研發(fā)中心的日常管理、考核及人才梯隊建設(shè)工作；
5、完成公司安排的其他事務(wù)。
任職要求：
1、具有豐富的產(chǎn)品研發(fā)和團(tuán)隊管理的經(jīng)驗；
2、掌握形式化方法與程序驗證的相關(guān)理論知識，具有一定的實踐積累；
3、計算機(jī)科學(xué)與技術(shù)、計算機(jī)軟件與理論等相關(guān)專業(yè)，博士學(xué)歷；
4、具有很好的英文功底，熟悉國際行業(yè)動態(tài)；
5、良好的溝通管理能力，以及團(tuán)隊管理意識和合作精神；
6、作為團(tuán)隊骨干，有成功申請、組織開展國家級科研項目經(jīng)驗者優(yōu)先。

上班地址：-安徽-合肥-文曲路355號