安徽中科国创高可信软件有限公司
100-499人 · 计算机软件 ·
- 公司信息
- 热招职位
公司简介
中科国创高可信是安徽中科国创高可信软件有限公司旗下品牌。中科国创高可信是科大国创软件股份有限公司（股票代码：300520）的子公司，承载着科大国创在高可信核心技术领域的研发与创新。
公司核心技术源自中国科学技术大学，是一家专业从事高可信软件技术产品研发，为企业提升软件质量提供解决方案、咨询与技术服务的初创型高新技术企业。
公司技术团队在形式化方法、软件验证与程序分析方面做了大量的研究工作，所取得的成果在国内外处于先进地位。研发的程序静态分析工具和程序形式验证工具为安全攸关行业开发高可信软件提供有力支撑。
旗下品牌
中科国创高可信
计算机软件 A轮 100-499人
热门企业
高管介绍
纪金龙
常务副总
中国科学技术大学计算机软件专业博士。1984年~1993年参与中科院计算所功能分布式计算机的研制工作，分获中国科学院科学进步奖二等奖、三等奖。曾任中国科学技术大学计算机系副主任、日本Miura株式会社开发部部长等。领导公司高可信软件形式验证工具产品的研发。现任科大国创软件股份有限公司董事，安徽中科国创高可信软件有限公司常务副总经理。赵鹏董事长、CEO赵鹏，看准科技集团创始人、BOSS直聘创始人、董事长兼CEO。赵鹏先生拥有逾16年互联网行业经验及逾22年人力资源服务经验，是一名资深人才专家。
赵鹏先生毕业于北京大学法律系，曾在部委机关工作多年，曾担任中国青年志愿者协会项目发展部长。2013年创立看准科技集团。集团旗下运营看准网、BOSS直聘和店长直聘三个品牌，总服务用户数超过1亿。-
李兆鹏
研发总监
中国科学技术大学计算机软件与理论专业博士研究生毕业，现任安徽中科国创高可信软件有限公司研发总监。研究专长为计算机软件与理论，特别是C程序验证和分析领域。赵鹏董事长、CEO赵鹏，看准科技集团创始人、BOSS直聘创始人、董事长兼CEO。赵鹏先生拥有逾16年互联网行业经验及逾22年人力资源服务经验，是一名资深人才专家。
赵鹏先生毕业于北京大学法律系，曾在部委机关工作多年，曾担任中国青年志愿者协会项目发展部长。2013年创立看准科技集团。集团旗下运营看准网、BOSS直聘和店长直聘三个品牌，总服务用户数超过1亿。 -
陈意云教授
CTO
陈意云教授，负责指导安全C语言的程序验证器的研发工作。近40年来主要从事代数规范和项重写技术的应用研究、程序设计语言理论和实现技术的研究、用基于演绎推理的程序验证方法来提高软件可信程度的研究，包括系统软件的验证技术、出具证明编译器的设计与实现。赵鹏董事长、CEO赵鹏，看准科技集团创始人、BOSS直聘创始人、董事长兼CEO。赵鹏先生拥有逾16年互联网行业经验及逾22年人力资源服务经验，是一名资深人才专家。
赵鹏先生毕业于北京大学法律系，曾在部委机关工作多年，曾担任中国青年志愿者协会项目发展部长。2013年创立看准科技集团。集团旗下运营看准网、BOSS直聘和店长直聘三个品牌，总服务用户数超过1亿。 -
陈国良院士
首席科学家
陈国良，深圳大学和南京邮电大学教授、博士生导师，中国科学院院士，首届全国高等学校教学名师，我国非数值并行算法研究的学科带头人；现任深圳大学大数据系统计算技术国家工程实验室主任，以及南京邮电大学计算机学院、软件学院名誉院长等。赵鹏董事长、CEO赵鹏，看准科技集团创始人、BOSS直聘创始人、董事长兼CEO。赵鹏先生拥有逾16年互联网行业经验及逾22年人力资源服务经验，是一名资深人才专家。
赵鹏先生毕业于北京大学法律系，曾在部委机关工作多年，曾担任中国青年志愿者协会项目发展部长。2013年创立看准科技集团。集团旗下运营看准网、BOSS直聘和店长直聘三个品牌，总服务用户数超过1亿。
公司照片
1 / 13
公司地址
上海闵行区615所新区1
公司还有1个其他办公地址
查看全部
工商信息
安徽中科国创高可信软件有限公司
- 法定代表人：
- 董永东
- 注册资本：
- 1703.3万人民币
- 成立日期：
- 2017-08-18
- 经营状态：
- 存续
- 注册地址：
- 合肥市高新区文曲路355号403室
- 统一社会信用代码：
- 91340100MA2NY9FK0P
- 经营范围：
- 一般项目：软件开发；网络与信息安全软件开发；人工智能理论与算法软件开发；人工智能基础软件开发；人工智能行业应用系统集成服务；物联网技术研发；云计算装备技术服务；计算机系统服务；信息技术咨询服务；信息系统集成服务；计算机软硬件及辅助设备零售；技术服务、技术开发、技术咨询、技术交流、技术转让、技术推广（除许可业务外，可自主依法经营法律法规非禁止或限制的项目）
- 推荐公司：
- 梅州市梅江区安格尔门窗店 上饶县欧尚布艺店 芦淞区聚友通讯行 青岛维客商业连锁有限公司平度兰州路店 阜阳市千意物流有限公司 上海亿崇建筑服务中心 茂名市永立电梯有限公司 紫宁豫泰（深圳）科技有限公司 新都区翰锦茶府 浙江自贸区晟蒙能源有限公司 新乡市红旗区方颖百货店 义乌市博众网络科技有限公司 宁波市海曙宏德医疗器械有限公司 杭州环绕节拍文化艺术有限公司 淄博承智文化体育发展有限公司 深圳市泽颜国际美容科技有限责任公司 上海珊瑚鱼企业管理服务有限公司 上海芯苹材料科技有限公司 无锡创羽新合科技有限公司 金骑士（海南）体育产业管理有限公司 合肥道恒餐饮管理有限公司 深圳市富强东方投资控股有限公司 河南诺亚信息科技有限公司 上海经心知识产权顾问有限公司 京西汇（北京）供应链管理有限公司 贵池区花阳服装店 陕西世钢建设工程有限公司 陕西苏格瑞特文化旅游发展有限公司 深圳市兴亿莱科技有限公司 青海盛欣大药房有限公司