工作地点：上海、成都

岗位职责：

1)   负责基于布尔代数的计算机联锁逻辑生成算法研究；

2)   负责基于布尔代数的计算机联锁逻辑可测性分析与研究；

3)   负责基于布尔代数的计算机联锁逻辑的安全性分析与研究；

4)   参与基于布尔代数的计算机联锁逻辑的形式化验证；

5)   参与计算机联锁产品的逻辑开发与验证；

6)   完成上级临时交办的任务。

任职要求：

1)   计算机、应用数学、人工智能、图像处理专业或相关学术、理工科背景，博士及以上学历；

2)   熟悉Linux或Window操作系统，精通Python或C++；

3)   熟练掌握多线程编程能力和项目经验，具备CUDA多线程编程能力者优先；

4)   在研究和工作中，熟练运用系统思维（整体、局部、逆向、演绎、归纳和时序等）解决实际问题；

5)   在研究和工作中，借鉴或抽象出数学模型，指引自己布尔代数研究工作；

6)   拥有良好的沟通能力和团队合作精神，能够独当一面并善于钻研探索，关注软件开发与控制系统功能安全技术前沿动向；

7)   具备轨道交通、核电或航电等安全控制系统的开发经验者优先。