安徽中科国创高可信软件有限公司招聘
100-499人
公司优势
公司的核心技术团队源自中国科学技术大学软件安全实验室和中科大-国创高可信软件工程中心。在操作系统、关键算法的形式化验证、程序验证工具和程序静态分析等领域取得了多项理论突破和科研成果，并建立了基于这些理论的程序验证与分析框架和技术。
公司现有员工约100人，其中主要技术和管理人员均来自中科大，预计到2022年底将扩展至140余人，目前核心技术人员（包括博士和硕士）共15人，开发人员60余人，以及其他市场等岗位人员10余人。
公司成立于2017年8月，总部位于合肥高新区，并在苏州工业园区设有研发中心。注册资本为1003.3万元人民币。
公司将为科研院所和企业提供以下产品和服务：
1. 软件质量提升服务：利用自动形式化验证与程序分析技术，发现并解决软件中的潜在错误和致命缺陷，确保软件的高可靠性。
2. 行业高可信软件认证服务：通过形式化验证与程序分析技术，帮助行业软件满足国际认证标准的要求。
3. 可定制的高可信软件开发工具及产品：包括程序自动分析工具、程序自动形式化验证工具、验证编译器、安全操作系统内核等。
4. 高可信软件咨询与评估：为客户提供高可信软件开发的专业咨询和解决方案，以及软件质量评估服务。
热招职位
咨询经理1-2万
（一）岗位职责1．配合销售进行技术服务：l 配合销售进行公司技术、产品的对外宣讲。l 负责配合销售与...
软件测试工程师-716(常驻连云港，国内中短期出差）1-2万
现场测试与交付： 长期驻守客户现场，深入理解客户业务需求，完成软件产品的测试任务。 全流程...
716软件测试工程师-连云港1-2万
岗位职责现场测试与交付： 长期驻守客户现场，深入理解客户业务需求，完成软件产品的测试任务。全...
嵌入式测试工程师1-1.5万
、本科及以上学历，计算机软件相关专业，计算机理论基础扎实；
2、具备1年及以上软件开发或测试工程经验...
大客户软件销售经理（军口方向）1-2万·14薪
1、负责公司产品服务的销售，参与编制销售物料2、负责客户关系维护和新客户的开拓，对客户信息进行有效跟...
大客户销售经理（金融方向）1-2万·14薪
1、负责公司产品服务的销售，参与编制销售物料（物料编制由市场部牵头草拟，客户经理仅参与讨论即...
软件销售经理-金融1.5-2.5万
1、负责软件测试外包业务的拓展。
2、负责客户关系管理和维护，挖掘已有客户及潜在客户的业...
软件销售经理-军口1.5-2.5万
1、负责公司产品服务的销售，参与编制销售物料（物料编制由市场部牵头草拟，客户经理仅参与讨论即可） ；...
软件测试工程师-合肥外派上海1-2万·14薪
1、本科及以上学历，计算机软件相关专业，计算机理论基础扎实；
2、具备1年及以上软件开发或测试工程经...
嵌入式c语言测试工程师1-1.6万
1、本科及以上学历，计算机软件相关专业，计算机理论基础扎实；
2、具备1年及以上软件开发或测试工程经...
相关职位
环境技术咨询项目经理及技术人员8千-1.5万
1、编制环保相关技术咨询报告、环保规划、实施方案、应急预案、验收报告等；
2、制定咨询项目实施工作...
20,861+ 岗位更新等你来订阅
一键订阅最新的岗位，每周送达
🎉恭喜你，订阅成功
继续订阅您可以在邮箱中随时取消订阅