职位介绍
职责描述：
1、负责基于布尔代数的计算机联锁逻辑生成算法研究；
2、负责基于布尔代数的计算机联锁逻辑可测性分析与研究；
3、负责基于布尔代数的计算机联锁逻辑的安全性分析与研究；
4、参与基于布尔代数的计算机联锁逻辑的形式化验证；
5、参与计算机联锁产品的逻辑开发与验证。
任职要求：
1、计算机、人工智能、图像处理、应用数学专业或相关学术、理工科背景博士毕业；
2、精通Python，有很强的软件开发能力，熟悉C++；
3、拥有良好的沟通能力和团队合作精神，乐于钻研探索，关注软件开发与控制系统功能安全技术前沿动向；
4、较强的数据敏感度，逻辑分析能力；较好的数学模型能力，扎实的数据分析基础；
5、有轨道交通控制系统开发经验着优先。
职位描述
公司介绍
卡斯柯信号有限公司。成立于1904年的GRS，拥有包括自动闭塞系统、电气集中、调度集中、列车自动操作系统、道口告警和防护系统在内的多项技术，在美国铁路中拥有45%-50%的市场，在地铁拥有70%的市场。1984年，铁道部部属企业中国铁路通信信号公司（现中国铁路通信信号集团）的管理层专程赴美，访问美国通用铁路信号有限公司（GRS），考察引进铁路信号系统技术事宜。此后中国铁路通信信号公司与GRS于1986年合资成立了卡斯柯信号有限公司。2020年4月，入选国务院国资委“科改示范企业”名单。
工作地点
上海-静安区市北·壹中心2号楼
相似职位
公司基本信息
公司其他职位
职位发布者
卡斯柯信号有限公司
