后端开发工程师
杭州｜研发

岗位职责
1、深入发掘业务需求，为软件开发提供架构设计，API开发，制定接口规范和技术文档规范;
2、学习和调研形式化方法相关理论和工具，必要时参与相关项目
3、开发和维护统一的软件开发架构，发现和解决存在的技术问题;
4、参与系统逻辑模型和物理模型设计，并实现原型；
5、参与项目的系统分析设计工作承担核心功能，公共核心架构模块的代码编写;

岗位要求
1、熟悉Java、Python、C/C++等至少一门编程语言；
2、熟悉系统设计建模方法、程序语言开发、程序测试方法、程序分析方法等至少一项计算机理论知识与应用方法；
3、了解形式化方法，熟悉至少一种形式化方法理论和工具者优先；
4、善于思考，善于沟通，能独立分析和解决问题, 责任心强，具备良好的团队合作精神和抗压能力；
5、具备良好的沟通能力和学习能力；

信息安全工程师
杭州｜研发

岗位职责
1.熟悉信息安全技术标准；
2.从事公司安全相关工作，组织开展各实施项目安全工作内容，并协调完成具体安全认证工作；
3.参与信息安全架构、策略等论证工作；
4.参与信息安全相关的技能培训工作。

岗位要求
1.计算机、信息安全相关专业，具有全日制本科及以上学历；
2.熟悉一些与安全有关的国内标准及国际标准，有安全行业认证工作优先；
3.具备英语阅读和信息采集能力，能主动关注国内外最新安全进展，在自己擅长或感兴趣的领域能够进行深入的学习、研究；
4.有软件开发经验，至少掌握一门前端/后端开发语言；
5.较强的沟通表达能力，良好的分析与解决问题的能力，团队协作精神，责任心强、工作积极主动，能够承受工作压力；

形式化验证工程师
杭州｜研发

岗位职责
1、负责验证器的开发；
2、协助参与公司核心业务模块的开发。

岗位要求
1、熟练掌握Python、Java、Haskell等其中至少一门语言编程语言；
2、熟悉编程语言原理与编译器开发；熟悉软件工程过程与软件工程模型；
3、了解Linux环境，熟悉使用Linux常见命令；
4、了解函数式编程；
5、了解系统建模语言与规约语言，如UML、OCL等；
6、有编程语言开发，编译器开发，验证器开发经验者优先；
7、计算机相关专业，具有全日制本科以上学历、或大学专科学历优秀者。