安徽中科国创高可信软件有限公司
100-499人
公司优势
公司的核心技术团队源自中国科学技术大学软件安全实验室和中科大-国创高可信软件工程中心。在操作系统、关键算法的形式化验证、程序验证工具和程序静态分析等领域取得了多项理论突破和科研成果，并建立了基于这些理论的程序验证与分析框架和技术。
公司现有员工约100人，其中主要技术和管理人员均来自中科大，预计到2022年底将扩展至140余人，目前核心技术人员（包括博士和硕士）共15人，开发人员60余人，以及其他市场等岗位人员10余人。
公司成立于2017年8月，总部位于合肥高新区，并在苏州工业园区设有研发中心。注册资本为1003.3万元人民币。
公司将为科研院所和企业提供以下产品和服务：
1. 软件质量提升服务：利用自动形式化验证与程序分析技术，发现并解决软件中的潜在错误和致命缺陷，确保软件的高可靠性。
2. 行业高可信软件认证服务：通过形式化验证与程序分析技术，帮助行业软件满足国际认证标准的要求。
3. 可定制的高可信软件开发工具及产品：包括程序自动分析工具、程序自动形式化验证工具、验证编译器、安全操作系统内核等。
4. 高可信软件咨询与评估：为客户提供高可信软件开发的专业咨询和解决方案，以及软件质量评估服务。
热招职位
相关职位
20,861+ 岗位更新等你来订阅
一键订阅最新的岗位，每周送达
🎉恭喜你，订阅成功
继续订阅您可以在邮箱中随时取消订阅
江苏垒博汽配制造有限公司/常州东仕豪机械制造有限公司，地处武进区牛塘工业园区，背靠长虹路高架，交通便利。占地面积38000平方米，现有员工280人，工程技术人员30余人。公司主要从事金属零件的冲压、焊接、机加工、组装等工艺，具备自主设计、加工、组立、调试冲压工模能力，主要业务配套斯蒂尔、富士华、TTI、川崎、牧田、科勒动力等世界级户外动力行业龙头客户形成“消音器、离合器、组合扳手、各类五金件”等四大类别超过800种部品的稳定供应。公司于2002起持有ISO9001体系认证，并于2020年通过并持有IATF 16949体系认证。
南昌市鼎欣科技股份有限公司（简称“鼎欣科技”），成立于2007年，专注于电子政务平台开发、实施与服务，信息系统和大型业务数据平台的规划、设计、集成及技术服务，产品解决方案覆盖政府人事、国安、金融、教育、卫生、公用事业等领域。作为国家双软认定企业和高新技术企业，鼎欣科技荣获“2011年度中国行业信息化标杆企业”、“2012年度中国行业信息化创新企业奖”、“2013年度中国金软件·政府组织人事行业最具影响力企业奖”、“2013年度中国软件和信息服务政府行业杰出企业”、“2014年度中国金服务政府行业成就服务商”等多项荣誉。公司通过了“信息系统集成及服务（四级）资质”、“ISO9001国际质量管理体系认证”、“CMMI3认证”、“ISO27001信息安全管理体系认证”、“ISO20000信息技术服务管理体系认证”，拥有近40项核心自主知识产权。
衡水潮睿文化传媒有限公司
餐饮
成立于1993年的振东健康产业集团是山西首家进入全国500强的高科技民营股份制企业，旗下涵盖中西制药、保健食品、家护用品、文化旅游、农业科技开发等多个产业，拥有30余家子公司，是国家创新型示范企业、国家专利试点单位，曾获全国“双爱双评”先进单位、“全国五一劳动奖状”、“中药现代化科技产业基地建设先进单位”等多项荣誉。
旗下振东制药股份有限公司是山西首家创业板上市企业，下设中药材开发公司、北京药物研究院、生物健康科技、医药物流及振东、泰盛、安特、开元四个药品和两个饮片共六大生产基地。主要生产抗肿瘤、心脑血管、抗感染、消化系统、呼吸系统、维生素营养、解热镇痛、补益中成药等8大用药系列，共计615个品规，已形成中药材种植、研发、生产、销售一体化的健康产业链。
振东制药与美国国立肿瘤研究中心、澳大利亚阿德莱德大学、美国AG Research Co.,LTD、中国医学科学院、中国军事医学科学院、中国中医科学院、中国药科大学等多家国际国内科研机构合作，开展新产品研发，并承担多项国家重大专项科技项目。
振东制药营销网络覆盖全国400多个城市，与数千家医疗单位建立业务联系，构建了“多渠道、多模式”的销售体系，具备完善的学术支持、售后服务与信息反馈机制。