公司由中国科学技术大学与科大国创股份有限公司于2017年联合创办，核心团队源自中国科大，公司技术团队在形式化方法领域有二十余年的理论与实践积累，是我国首批接触并研究形式化方法的团队，在程序验证和分析方面积累了关键技术，形成了国内外较为领先的技术体系。公司是国家高新技术企业、省专精特新企业和科技型中小企业，拥有省企业技术中心、省企业研发中心等研发机构。公司位于合肥市高新区文曲路355号科大国创大厦，现有员工140余名，其中技术人员130人。公司主要产品有：科创瀚海静态分析工具、科创星云形式验证工具、科创星码编程助手和科创星智模型评测平台等基础软件工具和AI产品。公司致力于高可信软件和人工智能安全的研究和软件产品的研发，将高可信软件的相关技术应用于安全攸关行业的关键基础设施的开发中，推动高可信软件系统的应用和高可信软件开发支撑工具的产业化建设，提高关键领域的软件可靠性和安全性，为国家解决基础开发工具类软件“卡脖子”问题、提升软件质量及安全性提供了有力的支撑。
What does 安徽中科国创高可信软件有限公司 require? Who is 安徽中科国创高可信软件有限公司 hiring? recruitment: 计算机/网络/技术类占比最多占73.8%，其次是质量管理类占40.5%. What education can get in at ? 本科占比最多占85.7%，其次是博士占8.3%. High education required at ? 博士占8.3%，硕士占2.4%. Work experience required at ? 3-5年占比最多占38.1%，其次是1-3年占25%. Where are the job locations at ? 合肥占比最多占45.2%，其次是上海占44%. Based on job postings from the past year, for reference only.
Provided by
Congratulations, submitted successfully!
Your edit is under review. You will be notified by email within 1 business day.
Submission failed.
Help others learn about this company, add my impression of this company»
Log in with the following accounts to save your follows
Jobui does not provide an APP. Please follow our WeChat official account.
