迈向严谨且可扩展的数字孪生工程

专注于开发可扩展数字孪生形式方法的计算机科学博士研究生岗位。要求具备硕士学位及编程技能，尤其需掌握 Java 或 Python 语言。

职位说明： 项目描述： 研究重点在于开发**用于可靠构建数字双胞胎的正式工程流程、方法及工具**。数字双胞胎能够模拟复杂异质系统的整个生命周期行为，包括设计、实施、运行及退役阶段。这些系统通常包含**物理、控制、人类以及有时是生物组件**，在动态运行环境中相互作用。构建此类数字双胞胎需要**多物理场和多尺度模型**，且往往需采用不同的建模范式来构建。 确保这些模型的准确性至关重要，因为数字孪生可用于支持**安全关键型决策**。因此，**验证、确认与不确定性量化（VVUQ）**在工程过程中发挥着核心作用。虽然正式的工程方法已被广泛应用于交通等领域系统的设计，但目前这些方法**难以适用于数字孪生**，因为在数字孪生中必须整合物理环境、人类互动及操作情境的模型。本博士项目旨在将正式工程技术拓展应用，以实现由不同建模范式构成的**可扩展且严谨的数字孪生开发**。

所需个人背景与技能要求： - 计算机科学、软件工程或相关领域的硕士学位 - 在形式化方法、建模语言或系统工程方面具有扎实的背景知识 - 编程经验（Java、Python或类似语言） - 对网络物理系统与数字孪生技术的兴趣 - 强大的分析与解决问题能力 - 良好的英语沟通能力 所需英语水平：熟练/流畅：您能够轻松使用英语，并在讨论复杂主题时表现出良好的表达能力。