Java 开发工程师 110,559 138,198 182,422 120,899 153,146 197,979 C++ 软件工程师 136,674 162,707 203,384 151,418 178,735 224,087 上位机软件工程师 177,852 209,237 263,639 201,416 238,950 303,004 AI 算法工程师 173 000-50,000 本科 5-7 年 无人机总体设计工程师 15,000-30,000 本科 3-4 年 航电相关岗位 资深航电系统工程师 20,000-30,000 本科 3-4 年 单片机软件工程师（航电中心） 15,000-30,000 本科 5-7 年 气动相关岗位 气动研发专家 30,000-60,000 本科 5-7 年 气动资深工程师 20,000-40,000 硕士 5-7 高，部分岗位任职要求均有统招本科等门槛， 典型如飞行器总体设计工程师、航电系统开发责任工程师等，具体招聘薪酬如下： 此外，广汽当前在飞行器领域招聘高度密集且预算可观，例如飞行器地面指挥调度系统软件工程师、飞行器地 面指挥调度系统开发研究员，招聘预算上限可达 40000 元 / 月，此外如座舱系统设计工程师、飞管系统设计主 管工程师，最高也可达 35000 元 / 月。 职位名称 招聘薪酬

家职业标准，以保证标准 之间的协调性。 根据应用场景，对业务人员提 出与业务相关的数字化思维、 素养和专业技能要求。 典型职位 首席执行官、首席数 字官、企业中高层管 理者等 业务架构师、软件工程 师、IT 运维、用户体验设 计专家、大数据专家等。 战略规划、市场营销、财务、 人力资源等业务领域具有数字 化思维和应用意识的核心人 才。 典型职责 1）构建数字化愿 景：推动组织向数字 ，条理清楚，层层剖析，论 证严密。郭老师对待学生亲和友善，对学员提出的问题进行了详细解答。师生之间在一种平等、 协作、和谐的气氛下，完成了这期培训。 五、特邀讲师 郭老师，北京航空航天大学软件工程研究所博士毕业， 中央财经大学数字经济系副教授， 主要研究领域为企业数字化、产业数字化、数字经济建设、数据运营与数据能力建设。是中国 企业架构与顶层设计的倡导者。 六、培训总结 TOGAF IT 技术发展趋势，稳步发展， 正逐渐成长为业内 TOP 级的企业 IT 培训与咨询服务平台型企业。 1.发展历程  2024 年 荣获 APMG 优秀授权培训机构 成为软件工程造价师联盟会员单位、获得软件工程造价师认证培训授权 成为麒麟软件教育发展中心培训基地 成为工业和信息化部教育与考试中心战略合作伙伴 北京中培伟业管理咨询有限公司燕郊分公司成立  2023 年 获得中国

能听会说 能看会认 感知智能 能理解 会思考 认知智能 能存会算 认知智能不断超越 SWE-BENCH Verified 软件工程工具、模型 或系统性能 GPQA-Diamond 生物、物理、化学等 科学问答 Codeforces 编程竞赛 软件工程能力 数学能力 编程能力 AIME 数学竞赛 科学能力 音乐 空间 自省 自然 辨识 多元智能理论（ Theory

家职业标准，以保证标准 之间的协调性。 根据应用场景，对业务人员提 出与业务相关的数字化思维、 素养和专业技能要求。 典型职位 首席执行官、首席数 字官、企业中高层管 理者等 业务架构师、软件工程 师、IT 运维、用户体验设 计专家、大数据专家等。 战略规划、市场营销、财务、 人力资源等业务领域具有数字 化思维和应用意识的核心人 才。 典型职责 1）构建数字化愿 景：推动组织向数字 ，条理清楚，层层剖析，论 证严密。郭老师对待学生亲和友善，对学员提出的问题进行了详细解答。师生之间在一种平等、 协作、和谐的气氛下，完成了这期培训。 五、特邀讲师 郭老师，北京航空航天大学软件工程研究所博士毕业， 中央财经大学数字经济系副教授， 主要研究领域为企业数字化、产业数字化、数字经济建设、数据运营与数据能力建设。是中国 企业架构与顶层设计的倡导者。 六、培训总结 TOGAF IT 技术发展趋势，稳步发展， 正逐渐成长为业内 TOP 级的企业 IT 培训与咨询服务平台型企业。 1.发展历程  2024 年 荣获 APMG 优秀授权培训机构 成为软件工程造价师联盟会员单位、获得软件工程造价师认证培训授权 成为麒麟软件教育发展中心培训基地 成为工业和信息化部教育与考试中心战略合作伙伴 北京中培伟业管理咨询有限公司燕郊分公司成立  2023 年 获得中国

和信任 重塑。 二进制大爆炸：语言模型与智能体系统的结合， 正在颠覆传统的软件工程和数字生态系统设计方式， 推动软件工程领域的根本性变革。自从 19 世纪 40 年代阿达·洛芙莱斯（Ada Lovelace）为查尔斯·巴贝 奇（Charles Babbage）的分析机编写第一套算法 以来，程序员在软件工程领域的角色基本再未变过。 而今，这一趋势具有划时代的意义，企业正在重新思 考 智能体系统在简化代码编写方面已展现出巨大潜力， 能够基于给定的文档与示例，精确调用函数和 API。研究 表明，智能体系统还能创造出未来可用的函数和 API。因 此，企业正迅速将这些创新功能融入新模型，以加快进度。 目前，软件工程领域领先的智能体系统之一是 Anthrop- ic 推出的 Claude 3.5 Sonnet 模型。该模型借助 SWE- Bench �eri�e� 测试发现（���-Bench �eri�e� “AI辅助应用程序开发”（日期未注明），谷歌云： https://cloud.google.com/ products/gemini/code-assist 34. S·吴（S. Wu）（2024年3月12日），“介绍首位AI软件工程师 Devin”，Cognition. ai：https://www.cognition.ai/blog/introducing-devin 35. A·贾西（A. Jassy）（2024年8月22日），X：https://x

息产业经济技术的发展。 经济效益 企业只需要购买云服务即可， 极大地节省了设备成本、开发 成本、运维成本和人力成本。 将更多的精力集中于核心业务 上，专注业务创新。 企业情况简介 黑龙江海康软件工程有限公司成立于 1997 年，是黑龙江信息港的研发中心，是黑 龙江省软件行业协会推荐的骨干软件企业，省工信委推荐的重点企业信息化实施企 业，并最早通过 CMMI3 级评定的软件公司。承揽了全国人大信息门户、黑龙江省

《建筑及居住区数字化技术应用系列标准》（GB/T GB/T20299-2006）  《公共建筑节能设计标准》（GB 50189-2005）  《民用建筑电气设计规范》（JGJ16—2008）  《软件工程国家标准》（2006）  《智能建筑工程质量验收规范》(GB50339-2006)  《中国移动动力环境集中监控系统规范》2009 版  《采暖通风空调调节设计规范》（GB50019-2003）

个体安全 ≠ 群体安全， 行为安全 ≠ 价值安全 形式化验证起源于数学的形式化证明，例如 Lean 数学形式化的目的是提供一个完全客观和可验证的证明过程 形式化具备消除模型幻觉的潜力，类似还有软件工程相关代码的形式化证明 与此同时，安全价值的监管具有多元性 : 人类的安全价值观具有多样性 ， 内建价值冲突 \ 单智能体系 统下 的安全 ，并不保证多智能体系统安全 \AI 系统伪装已被“安全对齐”，行为欺骗监管

➢强调因果确定性，典型的思维方式是【一次性设计并开发出完美的产品】，典型的管理方式是 【泰勒科学管理方法】。 ➢1）通过流程化和标准化来不断提升效率。背后原理是把一个复杂系统不断细分，从而可以做 到一切可以预测。无论是硬件还是软件工程。 ➢2）可预测性。喜欢做预测，丰田精益生产背后也是通过合理预测去控制库存。 11 ◼百年油车所产生的问题：能源消耗+交通拥堵+开动率低 ➢过去百年历史全球汽车保有量近20亿辆，每年石油消耗量45亿吨以上。

发、物理世界和劳动力维度上产生涟漪效应，将会发生 的商业转型和信任革命。 二进制的宇宙大爆炸 追踪语言模型与代理系统相结合的 出现，以及它们对构建软件和创造新数字生态系统的传 统带来的挑战。这是软件工程领域的一个重新定义的时 刻，自Ada Lovelace为查尔斯·巴贝奇的分析机编写第一 个算法以来，程序员的角色在很大程度上保持不变。这 一趋势深入一代人的转变，随着领导者重新思考如何设 计数字系统——为以下内容打下基础： microsoft-build-2024-windows-ai-operating-system-co- pilot-plus-pcs/ 34. 吴，S. (2024年3月12日). 介绍Devin，首位AI软件工程师。Cognition.ai： https:// www.cognition.ai/blog/introducing-devin 3. Bove, T. (2023, May 3). Googl