安徽中科国创高可信软件有限公司
100-499人
公司优势
公司的核心技术团队源自中国科学技术大学软件安全实验室和中科大-国创高可信软件工程中心。在操作系统、关键算法的形式化验证、程序验证工具和程序静态分析等领域取得了多项理论突破和科研成果，并建立了基于这些理论的程序验证与分析框架和技术。
公司现有员工约100人，其中主要技术和管理人员均来自中科大，预计到2022年底将扩展至140余人，目前核心技术人员（包括博士和硕士）共15人，开发人员60余人，以及其他市场等岗位人员10余人。
公司成立于2017年8月，总部位于合肥高新区，并在苏州工业园区设有研发中心。注册资本为1003.3万元人民币。
公司将为科研院所和企业提供以下产品和服务：
1. 软件质量提升服务：利用自动形式化验证与程序分析技术，发现并解决软件中的潜在错误和致命缺陷，确保软件的高可靠性。
2. 行业高可信软件认证服务：通过形式化验证与程序分析技术，帮助行业软件满足国际认证标准的要求。
3. 可定制的高可信软件开发工具及产品：包括程序自动分析工具、程序自动形式化验证工具、验证编译器、安全操作系统内核等。
4. 高可信软件咨询与评估：为客户提供高可信软件开发的专业咨询和解决方案，以及软件质量评估服务。
热招职位
相关职位
20,861+ 岗位更新等你来订阅
一键订阅最新的岗位，每周送达
🎉恭喜你，订阅成功
继续订阅您可以在邮箱中随时取消订阅
昆山嘉华汽车电子科技有限公司成立于2014年4月，坐落于江苏省昆山市高新区华富路8号。公司专注于汽车零部件、新能源汽车连接器及模具的设计、研发、生产与销售，采用自动化生产线实现Insert-molding与Over-molding成型工艺，产品广泛应用于汽车传感器、连接器及电子模块等领域。昆山嘉华汽车电子科技有限公司为华富集团子公司，系国家火炬计划重点高新技术企业，设有江苏省企业技术中心、省级工程技术研究中心及国家CNAS检测实验室。公司承担多项省市科技项目，荣获中国机械工业科学技术进步二等奖、江苏省重大科技成果转化项目、国家火炬计划项目及国家工业强基工程立项。主要客户为世界500强欧美企业。
人才是企业发展的核心动力，嘉华汽车电子期待您的加入!
中国人寿保险（集团）公司及其子公司构成了我国最大的商业保险集团，是中国资本市场最重要的机构投资者之一。2014年，营业收入达到5375.83亿元，总保费收入为4069.34亿元，境内寿险业务市场份额为27.02%，总资产达27467.95亿元。中国人寿保险（集团）公司已连续13年入选《财富》全球500强企业，排名从2003年的290位上升至2015年的94位；连续8年入选世界品牌500强，2014年位列第233位；所属寿险股份公司继2003年12月在纽约和香港两地同步上市后，又于2007年1月回归内地A股市场，成为内地资本市场“保险第一股”和全球首家在纽约、香港和上海三地上市的保险公司，目前已成为全球市值最大的上市寿险公司。中国人寿保险（集团）公司是国有大型金融保险企业，总部位于北京。公司前身是成立于1949年的原中国人民保险公司，1996年分设为中保人寿保险有限公司，1999年更名为中国人寿保险公司。2003年，在国务院同意及中国保险监督管理委员会批准下，原中国人寿保险公司重组改制为中国人寿保险（集团）公司。集团公司下设中国人寿保险股份有限公司、中国人寿资产管理有限公司、中国人寿财产保险股份有限公司、中国人寿养老保险股份有限公司、中国人寿电子商务有限公司、中国人寿保险（海外）股份有限公司、国寿投资控股有限公司以及保险职业学院等多家公司和机构，业务范围涵盖寿险、财产险、养老保险（企业年金）、资产管理、另类投资、海外业务等多个领域，并通过资本运作参股多家银行、证券公司等其他金融和非金融机构。中国人寿秉持“以客户为中心、以基层为重心、以价值为核心”的经营理念，积极履行行业和社会责任，致力于成为“行业领先、客户青睐、最具价值”的企业，奋力打造国际顶级金融保险集团。
白银市白银区杨娟古筝艺术培训学校是一所规模小于50人的民营教育机构。
天津佳阳恒业科技有限公司，公司规模为少于50人，公司类型为民营公司，所属行业为生活服务。
大连星海融汇物业管理有限公司创建于2012年12月5日，其核心业务领域涵盖物业管理及相关服务。