公司由中国科学技术大学与科大国创股份有限公司于2017年联合创办，核心团队源自中国科大，公司技术团队在形式化方法领域有二十余年的理论与实践积累，是我国首批接触并研究形式化方法的团队，在程序验证和分析方面积累了关键技术，形成了国内外较为领先的技术体系。公司是国家高新技术企业、省专精特新企业和科技型中小企业，拥有省企业技术中心、省企业研发中心等研发机构。公司位于合肥市高新区文曲路355号科大国创大厦，现有员工140余名，其中技术人员130人。公司主要产品有：科创瀚海静态分析工具、科创星云形式验证工具、科创星码编程助手和科创星智模型评测平台等基础软件工具和AI产品。公司致力于高可信软件和人工智能安全的研究和软件产品的研发，将高可信软件的相关技术应用于安全攸关行业的关键基础设施的开发中，推动高可信软件系统的应用和高可信软件开发支撑工具的产业化建设，提高关键领域的软件可靠性和安全性，为国家解决基础开发工具类软件“卡脖子”问题、提升软件质量及安全性提供了有力的支撑。
安徽中科国创高可信软件有限公司招聘要求怎么样：安徽中科国创高可信软件有限公司都在招什么人？ 招聘类别计算机/网络/技术类占比最多占81.6%，其次是质量管理类占42.1%。什么学历能进？本科占比最多占86.8%，其次是博士占10.5%。学历要求高吗？博士占10.5%。工作经验有什么要求？3-5年占比最多占34.2%，其次是不限占26.3%。工作地区在哪？合肥占比最多占60.5%，其次是上海占31.6%。数据根据近一年招聘岗位分析，仅供参考。
内容由
提供
恭喜您，提交成功！
您的编辑正在审核中，1个工作日内，会以邮件通知您结果
提交失败。
