北京艺盛元装饰设计有限公司

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

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

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

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

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

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

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

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

福建鑫森合纤科技有限公司

福建鑫森合纤科技有限公司位于尤溪县城南园经济开发区，成立于2013年3月6日，一期注册资本1.4亿元，占地2000亩，总投资58亿元，总建筑面积140多万平方米，建设周期5年，分三期投资建设。一期用地700亩，建成后将形成“聚合—锦纶—经编—花边织物—印染加工—高档面料”一体化专业配套和产业化联动的大型纺织企业。公司超细旦差别化纤维一期项目已于2014年9月投产，厂区设有办公大楼、标准厂房、职工宿舍、食堂及活动中心。作为化纤行业的领军企业与福建省重点项目，鑫森科技秉持“以人为本、团结、创新、共赢”的企业精神和“为顾客创造价值、为员工创造机会、为社会创造效益”的经营理念，正蓄势待发，驶向未来。

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

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

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

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

呼伦贝尔市中成置业有限公司

呼伦贝尔市中成置业有限公司，员工人数不足50人，企业性质为民营企业，所属行业为房地产。