安徽中科国创高可信软件有限公司
100-499人
公司优势
公司的核心技术团队源自中国科学技术大学软件安全实验室和中科大-国创高可信软件工程中心。在操作系统、关键算法的形式化验证、程序验证工具和程序静态分析等领域取得了多项理论突破和科研成果，并建立了基于这些理论的程序验证与分析框架和技术。
公司现有员工约100人，其中主要技术和管理人员均来自中科大，预计到2022年底将扩展至140余人，目前核心技术人员（包括博士和硕士）共15人，开发人员60余人，以及其他市场等岗位人员10余人。
公司成立于2017年8月，总部位于合肥高新区，并在苏州工业园区设有研发中心。注册资本为1003.3万元人民币。
公司将为科研院所和企业提供以下产品和服务：
1. 软件质量提升服务：利用自动形式化验证与程序分析技术，发现并解决软件中的潜在错误和致命缺陷，确保软件的高可靠性。
2. 行业高可信软件认证服务：通过形式化验证与程序分析技术，帮助行业软件满足国际认证标准的要求。
3. 可定制的高可信软件开发工具及产品：包括程序自动分析工具、程序自动形式化验证工具、验证编译器、安全操作系统内核等。
4. 高可信软件咨询与评估：为客户提供高可信软件开发的专业咨询和解决方案，以及软件质量评估服务。
热招职位
相关职位
20,861+ 岗位更新等你来订阅
一键订阅最新的岗位，每周送达
🎉恭喜你，订阅成功
继续订阅您可以在邮箱中随时取消订阅
公司致力于打造家装行业的第一品牌。
南京彦华供应链管理有限公司，公司规模少于50人，公司类型为民营，所属行业为交通/运输/物流。
阳光博雅教育投资（北京）有限公司（简称“阳光博雅教育”）创办于2014年，在全国18个省市创办了多所高品质学校。自创办以来，我们以陶行知、陈嘉庚先生为榜样，秉持教育报国之志，追求“爱满天下”的教育理想，坚持“知行合一”的办学实践，成功创办了一批受人尊敬的优质学校，培养具有中国灵魂、世界视野的未来人。
纳晖新能源是海尔旗下的新能源品牌，承接国家“双碳”目标，聚焦“绿电（光伏）+储能+智慧能源控制器”，致力于成为分布式智慧新能源解决方案服务商。纳晖新能源以用户体验为中心，为国内外家庭和工商业用户提供涵盖光伏、储能系统开发、勘测、设计、安装及售后运维的一站式服务，并制定了“三步走”发展策略：从分布式光伏电站建设起步，到多场景解决方案定制，最终打造智慧能源管理平台，为全球用户提供绿色、低碳、智慧的新能源解决方案。
南京拓兴智控有限公司是南京拓攻机器人有限公司的全资子公司，主营产品包括大型货运无人机、行业应用无人机以及无人机行业应用解决方案。
拓攻（南京）机器人有限公司是国内专注于大型固定翼货运无人机和多旋翼无人机的研发、生产和销售的高科技企业。公司由一批行业专家创立，并获得国际知名风险投资机构的巨额投资。
公司现有员工120多人，其中研发人员占比超过60%，技术核心团队成员大多来自南京航空航天大学、北京航空航天大学等知名航空院校及军用无人机研究所，具有丰富的行业经验和强大的产品研发能力。
公司提供开放的工作环境、灵活的工作时间和优厚的薪酬福利，为员工提供广阔的职业发展空间。我们诚邀更多优秀人才加入拓攻，共创美好未来。