贵阳市佳境便利店

安徽中科国创高可信软件有限公司

安徽中科国创高可信软件公司是由中国科学技术大学与科大国创软件股份有限公司联合创办的一家高新技术企业。公司专注于高可信软件验证与分析技术的研发及软件产品的创新，将相关技术应用于国家安全和社会稳定的重点领域，促进高可信软件开发和评测体系的构建，推进高可信软件系统及其开发支撑工具的产业化进程，增强关键领域软件的可靠性和安全性，为国家、社会和民众的生命财产安全提供保障。

公司的核心技术团队源自中国科学技术大学软件安全实验室和中科大-国创高可信软件工程中心。在操作系统、关键算法的形式化验证、程序验证工具和程序静态分析等领域取得了多项理论突破和科研成果，并建立了基于这些理论的程序验证与分析框架和技术。

公司现有员工约100人，其中主要技术和管理人员均来自中科大，预计到2022年底将扩展至140余人，目前核心技术人员（包括博士和硕士）共15人，开发人员60余人，以及其他市场等岗位人员10余人。

公司成立于2017年8月，总部位于合肥高新区，并在苏州工业园区设有研发中心。注册资本为1003.3万元人民币。

公司将为科研院所和企业提供以下产品和服务：
1. 软件质量提升服务：利用自动形式化验证与程序分析技术，发现并解决软件中的潜在错误和致命缺陷，确保软件的高可靠性。
2. 行业高可信软件认证服务：通过形式化验证与程序分析技术，帮助行业软件满足国际认证标准的要求。
3. 可定制的高可信软件开发工具及产品：包括程序自动分析工具、程序自动形式化验证工具、验证编译器、安全操作系统内核等。
4. 高可信软件咨询与评估：为客户提供高可信软件开发的专业咨询和解决方案，以及软件质量评估服务。

辉县市万诺电子商务服务有限公司

辉县市万诺电子商务服务有限公司，公司规模少于50人，公司类型为创业公司，所属行业为通信/电信/网络设备。

湖南铜锣湾广场投资有限公司

香港铜锣湾集团成立于22年前，作为中国购物中心行业的开创者和商业地产行业的关键构建者，以及知名的都市运营商，其主营业务涵盖“铜锣湾广场”城市综合体、购物中心、特色街区商业和文旅综合体等领域。“铜锣湾广场”被誉为中国商业地产的旗舰品牌，并在全国22个省的62个城市设有投资项目。

自2015年起，集团开始在湖南省实施战略规划，正式成立了湖南区域公司。依托集团的品牌影响力、先进的购物中心运营经验、全球数万家商家联盟的资源以及严格的项目产品品质管理体系等十大优势，我们计划在未来几年内在湖南省及其周边省份投资超过千亿元，布局大约100个市、县、区，以实现“百摩千亿”的区域发展战略目标。目前，湖南区域公司在各级领导的大力支持下，已经成功签约了多个项目，并正按照行业最高标准迅速推进各项建设工作！

鉴于集团在湖南区域的战略发展需求，我们诚邀一批杰出人才加入，共同为“铜锣湾”事业的繁荣和发展贡献力量！

上海萱昀贸易有限公司

上海萱昀贸易有限公司，成立于2021年3月16日，位于上海市奉贤区柘林镇法华村330号4幢2008室，主营服装批发业务。公司员工人数50-99人。

杭州翔蝠医疗器械有限公司

杭州翔蝠医疗器械有限公司创立于2016年，是一家具有发展潜力的老牌企业。