职位描述:
岗位职责:负责有轨电车各子系统的开发,包括控制系统建模、仿真、测试、集成、形式化验证以及算法、研发支撑工具的开发等工作。 任职资格: 1)计算机、软件工程、轨道交通信号、自动控制等专业,研究生或优秀本科生; 2)熟悉C语言,WPF界面开发,具有扎实的软件开发基础; 3)有形式化开发及验证经验,有B/Event-B,Uppaal,Z3应用经验优先。 举报
岗位职责:负责有轨电车各子系统的开发,包括控制系统建模、仿真、测试、集成、形式化验证以及算法、研发支撑工具的开发等工作。 任职资格: 1)计算机、软件工程、轨道交通信号、自动控制等专业,研究生或优秀本科生; 2)熟悉C语言,WPF界面开发,具有扎实的软件开发基础; 3)有形式化开发及验证经验,有B/Event-B,Uppaal,Z3应用经验优先。 举报
- 你可能感兴趣的职位
- 最近浏览记录
-
0.8-1.6万/月
-
面议
-
面议
-
面议
-
面议
-
面议
-
面议
-
面议
- 公司规模:1000人以上
- 公司性质:国有企业
- 所属行业:铁路设备制造企业
- 所在地区:北京-丰台区
联系方式
- 联系人:李娟
- 手机:会员登录后才可查看
- 邮箱:会员登录后才可查看
- 邮政编码:
工作地址
- 地址:北京市丰台科技园区汽车博物馆南路1号院 中国通号大厦