瑞典于默奥大学计算科学系招收全奖博士

瑞典于默奥大学计算科学系招收全奖博士

计算科学专业博士研究生，研究方向为符号人工智能

于默奥大学是瑞典规模最大的高等教育机构之一，拥有超过37,000名学生和约4,700名员工。该校提供多样化的高质量教育，并在多个领域开展世界领先的研究。值得注意的是，诺贝尔化学奖获奖成果——具有开创性意义的CRISPR-Cas9基因编辑工具便诞生于此。在于默奥大学，一切触手可及。我们紧密相连的校园环境便于师生交流、合作与知识共享，营造出充满活力与开放的文化氛围。

瑞典北部正在进行的社会转型和大规模绿色投资，创造了巨大机遇，也带来了复杂挑战。对于默奥大学而言，在转型社会中进行研究并处于其核心位置至关重要。我们还致力于提供优质教育，助力地区快速且可持续地发展。事实上，未来就在这里创造。

我们计算科学系在国际上处于顶尖研究水平，并提供多个计算机科学领域的高质量教育项目，现正寻找一名专注于符号人工智能的博士研究生。

计算科学系近年来发展迅速，致力于营造包容、自下而上的研究环境。我们的团队由来自不同国籍、背景和专业领域的多元化人才组成。作为与我们共事的博士研究生，您将获得职业发展支持、人脉拓展机会、行政与技术支援，以及良好的就业条件。更多关于本系的信息，请访问：https://www.umu.se/en/department-of-computing-science/

项目介绍

在现代软件系统及其运行的组织中，许多对个人和社会具有重大影响的日常决策，要么完全自动化，要么高度依赖自动提供的决策支持。尽管机器学习方法在这一背景下日益普及，但系统推理引擎的核心通常仍保持“符号式”（基于知识）。

这些符号式或神经符号式软件系统具有高度的实践复杂性，使得对其进行推理变得困难，例如在评估哪些元级变更能产生预期的实际影响时。为解决这一问题，更广泛项目的主题为“自动化关于自动化推理的推理”。从基础研究的角度来看，这涉及对通用推理方法的元推理自动化。这里，重点放在能够根据新证据/知识修正其结论的推理方法上。

计划涵盖两类方法：一类是新兴方法，被视为融合次符号智能、符号智能和人类智能的有力促进者；另一类是行业规模推理系统。前者包括不同形式的正式论证，而后者则可能聚焦于大规模IT系统中部署的主流规则语言。

在“自动化关于自动化推理的推理”这一主题的广泛范围内，研究任务可根据成功候选人的优势进行选择，方向包括基于原则的元推理（形式化重点）或自动化元推理在大型软件系统中的应用（工程重点）。

研究工作将与计算科学系专注于知识型人工智能的其他科学家合作开展，由维森特·托拉（Vicenç Torra）和蒂莫特乌斯·坎皮克（Timotheus Kampik）领导。我们拥有强大的国际合作基础，与全球领先的研究团队和大型科技公司有着丰富的联合工作经验。

瓦伦堡人工智能、自主系统与软件计划（WASP）是瑞典有史以来规模最大的个人研究计划，也是一项旨在推动战略基础研究、教育和师资招聘的国家重大举措。该计划聚焦于研究能够与人类协作、通过传感器、信息和知识适应环境并形成智能系统体系的的人工智能和自主系统。WASP的愿景是通过卓越的研究和人工智能、自主系统与软件方面的专业能力，造福瑞典社会和产业。更多信息请访问：https://wasp-sweden.org/

WASP研究生院致力于培养分析、开发并贡献于人工智能、自主系统与软件跨学科领域所需的专业技能。通过涵盖研究访问、合作大学和客座讲师的雄心勃勃的计划，研究生院积极支持博士研究生、研究人员与行业之间建立强大的跨学科和国际专业网络。更多信息请访问：https://wasp-sweden.org/graduate-school/

入学要求

为满足一般入学要求，申请人必须具备相当于完成第二阶段学位的资格，或已完成至少240个ECTS学分（包括第二阶段至少60个ECTS学分）的课程要求。

为满足计算科学专业第三阶段学习的特定入学要求，申请人必须在计算科学或被认为与该专业直接相关的学科中完成至少90个ECTS学分。其他方面具备同等技能者亦可申请。

申请人必须具备：

对以下主题之一有基本了解并怀有浓厚兴趣：

基于逻辑的推理方法，如正式论证；或

自主智能体和多智能体系统的形式化方面。

高级编程技能。

学术写作技能，并能够使用LaTeX排版论文。

具备数学符号和形式证明工作能力者将备受青睐。或者，我们也鼓励具备良好编程技能和出色写作能力的候选人申请。

除创造力和批判性思维外，重要的个人素质还包括优秀的问题解决能力、随和的性格、自律性、独立工作和团队协作的能力，以及与来自不同背景的研究人员进行科学交流的经验。工作语言为英语。

职位介绍