返回信息流中广核数字化平台公司产品研究院方向招聘需求
工作地点说明
北京分部：北京市海淀区永丰产业基地
上海分部：上海市闵行区紫竹高新区（上海交大闵行校区附近）
有意者请将简历发送至邮箱：renbaohua@126.com
有疑问或咨询可联系：任保华 18611732970
-------------------------------------------------------------------------------
【应届毕业生定向招聘】
一、可信编译器研发方向 招聘人数：3
岗位职责：
1） 负责 Linux 平台下核电、航空等领域高安全、高可靠自动代码生成器开发；
2） 负责自动代码生成器软件形式化开发和形式化验证工作；
3） 负责形式化领域前沿技术和前沿解决方案的研究；
4） 负责自动代码生成器模块的需求、设计、编码调试及持续性维护；
岗位要求：
1） 本科及以上学历，数学、形式化专业优秀应届毕业生优先；
2） 获得数学类、计算机类竞赛奖得名次者优先；
3） 学生期间，有 flex、bison、Ocaml、Coq 开发经验优先；
【社会招聘】 优秀毕业生感兴趣也可投简历
一：可信编译器研发方向 招聘人数：2
岗位职责：
1） 负责 Linux 平台下核电、航空等领域高安全、高可靠自动代码生成器开发；
2） 负责自动代码生成器软件形式化开发和形式化验证工作；
3） 负责形式化领域前沿技术和前沿解决方案的研究；
4） 负责自动代码生成器模块的需求、设计、编码调试及持续性维护；
岗位要求：
1） 统招本科及以上学历,4 年以上工作经验；
2） 至少熟练掌握 C++/C/Ocaml 中的一种开发语言，具备扎实的软件开发技能；
3） 熟悉使用 VS/CoqIDE 等常用软件开发工具；
4） 熟悉 Linux 的软件开发环境；
二：QT 软件开发方向 招聘人数：2
岗位职责：
1） 负责核电、航空等高安全算法组态类工业软件开发，解决国家关键领域卡脖
子问题；
2） 负责工业软件中基于 QT 技术的跨平台界面类软件开发;
3） 负责软件模块的需求编写、设计、编码调试及持续性维护;
岗位要求：
1） 统招本科及以上学历,4 年以上工作经验；
2） 精通 Linux/windows 平台下的 C/C++/QT 语言开发，熟悉图形界面开发、
网络编程，多线程编程技术；
3） 精通面向对象系统架构设计，至少熟悉一种主流数据库，拥有较好的数据库
设计能力和数据模型设计功底；
4） 有组态、SCADA 相关产品开发经验优先考虑；
5） 具有较强的人际交往能力、计划与组织、高度责任心、积极主动、追求卓越；
6） 有团队合作精神和独立工作能力，可以承受工作压力；
三：H5 软件开发方向 招聘人数：2
岗位职责：
1） 负责核电、航空等高安全图形显示类工业软件开发，解决国家该领域卡脖子
问题；
2） 负责工业软件中基于 React 技术的图形组态软件（类似 Visio 绘图软件）开
发；
3） 负责软件模块的需求编写、设计、编码调试及持续性维护；
岗位要求：
1） 统招本科及以上学历,4 年以上工作经验；
2） 有 3 年以上 web 前端开发经验；
3） 精通 HTML、HTML5、DIV+CSS、JavaScript；
4） 熟悉 OpenGL ES、OpenGL SC；
5） 熟悉 JQuery、BootStrap、React、React Native 、Vue 等前端技术，React
熟练者优先；
6） 熟悉 Linux 的软件开发环境；
7） 有团队合作精神和独立工作能力，可以承受工作压力
岗位信息
附件(152KB)
这是一条镜像帖。来源：北邮人论坛 / job-info / #940650同步于 2022/4/7
该镜像源已超过 30 天没有更新，可能在源站已被删除。
JobInfo机器人发帖
【校招】【社招】中广核数字化平台公司产品研究院招聘
lanlan1226
2022/4/7镜像同步0 回复
订阅后，新回复会通过你的通知中心匿名送达。
0 条回复
暂无回复 · 你可以订阅本帖等待新回复。