ETH工程设计博士：将语言模型与形式化设计规则结合

项目概览

瑞士苏黎世联邦理工学院工程设计与计算实验室（EDAC）招聘全额资助博士，研究如何把大型语言模型（LLM）与形式化设计文法结合，用于生成式工程设计。岗位在苏黎世，为100%工作比例的固定期限职位。计划2027年2月开始，最晚2027年9月入职；边收申请边审阅，2026年11月1日截止。具体工资、合同年限和截止时刻及时区未在招聘公告中公布。

项目详情

博士将探索面向工程设计的生成式AI方法，研究语言模型如何与人类设计师协作。明确列出的任务包括：用LLM表示工程设计、推理设计方案、生成新的方案，以及探索不同设计空间。研究把形式化规则与自然语言交互结合，不能将招聘的研究目标说成已经可靠的自动工程设计系统。

可能的应用包括消费产品、制造和结构。招聘列出这些研究方向，没有规定每名博士必须同时完成全部应用，也没有指定唯一工业合作项目、数据集或固定算法。需要在工程设计、产品开发及CAD课程中提供助教支持，具体教学占比未说明。

实验室提供国际研究团队与研究环境，并列出与学生、其他实验室和产业伙伴合作的机会。博士可以用自己的想法参与塑造实验室研究方向，并支持其国际科研工作。合作机会不等于已承诺个人能够使用特定设施、工业数据或合作者指导。

招聘将研究任务分别列出：表示工程设计，关注怎样用语言模型表达设计内容；推理设计方案，关注方案之间的关系与解释；生成新方案，关注设计选择；探索方案空间，关注不同可能的解。上述划分沿用招聘列出的四项工作，具体模型、形式化表示、评价指标和完成顺序没有在公告中确定。消费产品、制造和结构同样是招聘列出的应用方向，最终如何聚焦，应在指导中形成具体课题。

招聘说明博士将加入积极且有研究动力的国际团队，在欧洲研究大学的环境中工作。学生、其他研究实验室及产业伙伴是所列合作对象；申请者也有机会以自己的研究想法影响实验室方向，并增强实验室的国际研究影响。公告没有为这些机会分别规定个人名额或已确定的合作成果。

学校介绍强调科学和技术教育、基础研究及将知识直接应用于社会。ETH称校内超过三万人来自一百二十多个国家，支持独立思考与国际合作，关注全球挑战。雇主的多元政策要求尊重员工和学生的权利与尊严，提供公平的工作学习环境；可持续发展也是学校明确列出的价值，学校持续推进气候中和工作。这些介绍说明机构环境，不是该岗位个人资格、资源额度或研究结果的承诺。

申请要点

需要机械工程或相关领域硕士，较强的Python编程能力；工作主要使用英语。申请者应有创造力、好奇心及跨学科思维，对应用于工程设计的AI和计算设计方法感兴趣，并有从事研究与创新的动机。

德语是加分项，不是必需条件。计算设计方法、机器学习和LLM经验均属于优势条件，不能改写成每项都必须具备。公告没有要求特定英语考试分数，也没有把已经发表论文列为硬性条件。

通过官方在线门户提交CV、本科和硕士成绩单，以及两名可联系的推荐人信息。有科研论文时可附最多三篇。招聘要求可联系推荐人，并未在本阶段要求申请者自行提交两封推荐信。

岗位问题可发至info-edac@mavt.ethz.ch，该邮箱不接收申请。只有在线申请会被考虑，邮件或邮寄申请不受理。雇主说明初筛由负责招聘的人员完成。招聘强调机会平等、多元和包容；这不替代对中国申请人学历、安全审查和工作许可的个案决定。

需要进一步确认

具体薪档、税前金额、合同及续期年限、博士学费报销和科研费用覆盖尚未公布。正式博士导师、日常指导安排、首个应用场景、算力和模型API预算、数据与实验资源、教学比例以及知识产权条件应向实验室核实。中国申请人可查外国学位博士录取途径，但本岗位具体资格仍需核实；不能根据包容性声明保证个人录取、安全审查或签证结果。

ETH工程设计博士调研：让语言模型生成可检查的设计规则

研究核对时间：2026年10月12日。瑞士苏黎世联邦理工学院（ETH Zurich），工程设计与计算实验室（EDAC）。官方岗位编号：JOPG_ethz_tezsMpGlVuLvSND8CC。

是否值得申请

有研究价值，但仍有影响决策的关键条件待确认。 这个博士课题关注的是：语言模型怎样帮助工程师建立和使用明确的设计规则，再探索这些规则允许的设计方案。它的特点在于，把LLM交互接到一个长期研究工程设计、优化、制造和物理测试的实验室。岗位要求机械工程或相关专业硕士学位、较强的Python编程能力和英语能力；计算设计、机器学习和LLM经历属于加分项。官方说明这是全额资助、100%工作比例的固定期限岗位，边收申请边审阅，2026年11月1日截止，2027年2月至9月入职。具体工资档位、合同年限和实际分配的导师尚未公布。官方岗位

现有论文说明该方向有方法研究基础，工程自动化的可靠性仍需要检验。对于中国申请人，本岗位的具体申请资格尚未确认：ETH有外国学位申请博士的制度，但学位认可、适用情况下的安全审查以及工作许可，都需要个案决定。当前可以先准备岗位明确要求的材料，同时通过info-edac@mavt.ethz.ch核实这些条件；正式申请必须走在线系统。博士录取条件、安全审查说明

研究问题与博士工作

研究问题

一个设计建议即使表达得很流畅，也不能证明几何结构可以制造、规则执行正确，更不能证明结构能够安全承载。形式化设计文法把允许的构造或变换步骤明确写出来。将它与LLM结合，可能让设计师更方便地表达规则、寻找不同方案，同时保留可检查的计算表示。真正待解决的问题，是怎样把灵活的自然语言交互接入可信的设计过程，并区分语法正确与工程上有效。这一解释来自岗位所写的LLM与文法结合，以及EDAC在2025年的直接相关论文。官方岗位、LLM与文法论文

岗位明确列出的工作包括：与人类设计师合作，表示工程设计、推理设计方案、生成新方案，以及探索不同设计空间。消费产品、制造和结构是可能的应用领域。还需承担工程设计、产品开发和CAD的助教工作。招聘页没有选定唯一应用场景，也没有公布工作包、指定产业合作方或教学占比。

可能采用的方法与产出

可以与导师讨论以下研究流程：提取设计意图，建立或修改文法规则，生成可执行规则代码，搜索方案空间，检查工程约束，再把解释或备选方案返回给设计师。这条流程是依据现有证据提出的研究建议，具体博士计划仍由导师与学生商定。评估时至少要区分四个问题：代码是否正确实现规则，生成的设计是否满足预期约束，仿真或实验是否支持性能判断，以及交互是否真的帮助人完成设计任务。实验室已有的文法、装配和机构研究，可以提供具体的比较对象。LLM论文、ReLink、装配论文

可能的研究贡献包括经过检查的文法解释器、考虑约束的交互设计方法，或记录失败方案与人工修复成本的可复现基准。它们需要与传统搜索方法比较，在未用于开发的设计类型上测试；如果要声称真实工程性能，还应有相应的物理验证。记录模型版本、提示、API成本和人工介入频率，有助于判断方法是否可以复用，还是只在一个有利案例上成立。这些都是建议的研究切入点。当前尚未核实本岗位的GPU分配、专有设计数据、模型训练预算或已完成的工业验证。

学校、学科与培养

ETH博士通常同时具有雇员和学生身份，完成后授予Dr. sc. ETH Zurich。按实验室的机械工程归属，D-MAVT是相关院系背景；最终在哪个院系注册仍需确认。D-MAVT要求受认可的工程或自然科学硕士学位，以及导师同意；官网写明希望招收学位项目中前10%的优秀毕业生，并对录取作个案决定。普通博士培养至少要求12学分，扩展培养另加经过考核的课程。岗位招聘和正式博士录取，因此是不同程序。ETH博士制度、D-MAVT录取

本次核实的排名信号是QS 2026综合第7名，来源为ETH在2025年6月发布的说明。这是带有明确年份的学校知名度信号，不是已核实的最新一版或学科排名，也不能说明某位导师是否有时间指导。对于这个课题，实验室的方法积累和具体指导安排更直接相关。排名说明

相关前沿还包括用文法约束领域专用语言的生成。Wang等人2023年的Grammar Prompting论文，在语义解析、规划和分子字符串等任务中使用专门化的BNF文法。这是外部团队论文，Shea和Stanković都不是作者。这些任务为受约束表示提供研究依据，却不能证明承载性能、可制造性或工程仿真正确。研究已核对原始摘要与版本记录，没有把它写成阅读全文后的分析。Grammar Prompting

从方法出发，可以推断技能可能转向CAD/CAE方法研发、工程设计软件、制造AI或计算研究；这不是经过核实的毕业去向统计。广泛的雇主调查将AI、数据和分析能力列为重要技能，但没有给出苏黎世本地岗位数量、工程设计工资或就业保证。Future of Jobs 2025

导师与实验室

研究方向与导师身份

EDAC官网列出Kristina Shea为教授及实验室负责人，Tino Stanković为高级研究员及副负责人。官方教授介绍将实验室归于设计、材料与制造研究所，强调AI生成式设计、优化、数字制造和实验测试。在这一工程设计环境里，语言模型是多种计算工具中的一种。招聘页没有写明正式博士导师和日常指导人。Shea负责实验室，Stanković参与直接相关论文，都不能替代本岗位的具体导师安排。团队、教授介绍

近年重要论文及其边界

1. Shea、Stanković、Agrawal、Cagan与McComb，2025年：通过形式化设计文法和语言扩展LLM的设计生成能力。 出版方将文章标为综述论文（Review Article）；文中同时展示了桁架字符串文法、半六边形形状文法和技术流程图文法三个示例。它提出让LLM参与已知规则解释、交互式文法开发，以及把规则转换成Python解释器的路径。Shea是第一作者，并被标为通讯作者；Stanković是共同作者。当前未核实能够分配个人编程或实验责任的正式贡献声明。这是与本博士岗位最接近的概念前作，但有限的示例，以及作者承认的文法构建难点，不能证明工业场景中的可靠性。生成的规则和代码仍需检查，可解释的推导也不等于物理规律正确。研究读取了出版方索引中的正文，包括案例与讨论；直接打开出版方页面时返回了错误。论文

2. Escande与Shea：ReLink，2025年初次发布，2026年7月更新。 当前第三版仍写明是审稿中的预印本。研究通过程序化图结构构建平面连杆机构，检查运动学可行性，加入现有零件库存约束，再搜索目标轨迹。它把重复使用与购买新零件纳入性能和环境影响的权衡。全文的CRediT声明将软件、验证、研究执行、形式分析和初稿写作归于Maxime Escande；Shea负责指导、方法、概念构思、项目管理和修改审阅。Stanković不是作者。全文提供了一个与自由文本LLM设计比较的清楚例子：合法构造与数值评估是不同步骤。不过，乐高梁零件限定了案例范围；目标函数离散且较难优化，文中遗传算法相对随机搜索的优势也较有限。它本身不是LLM方法。公开代码已审读，未独立运行复现实验。版本记录、全文、实验室代码

3. Yu Zhang与Shea，2022年：考虑零件尺寸偏差的制造约束装配设计综合。 这篇发表于Advanced Engineering Informatics的论文，通过数据预处理、模式搜索和整数线性排序子问题，把测得的尺寸偏差纳入装配设计。两个建筑装配案例在相应目标上优于比较方法。它与本岗位的联系是：制造公差需要进入设计表示与评估，不能交给语言模型的文字判断。研究已读取机构知识库保存的已发表全文。Zhang是第一作者及通讯作者，Shea是共同作者；未核实正式的个人贡献声明。方法主要适用于长方体零件，或可以用长方体包络表示的物体。不规则几何、材料质量和更广泛的受力行为仍是拓展方向；结果也不能支持“所有案例都优化得更快”的概括。论文当年的资助信息不能证明本岗位的经费来源。已发表全文

4. Merel van Diepen与Shea，2022年：软体机器人运动的形态与驱动协同设计。 这项Journal of Mechanical Design研究把虚拟机器人形态搜索与参数化驱动曲线结合，并与Soft Actor-Critic控制进行比较。期刊的原始论文介绍指出，驱动协同设计有帮助，而强化学习方案效果较弱，还需要针对不同设计调参。对本博士方向有用的启示是：设计表示需要与控制或评估方式共同开发。Van Diepen是第一作者，Shea是共同作者，但未核实作者身份之外的个人分工。当前读取的是期刊的原始论文介绍，而非完整文章，所以物理验证细节和完整实验统计尚未确认；它也不是LLM结果。期刊另外确认，这篇论文获得了编辑推荐奖。期刊介绍、奖项

团队、资源与合作环境

现有团队包括博士生、博士后、与AI for Design有关的技术负责人，以及CAD和打印设备专业人员。近年的博士论文涵盖自适应遮阳、结构化纺织材料、低资源医疗设备和形状变化系统。这说明实验室持续开展设计与制造研究，也有持续培养博士的记录。直接相关的LLM论文还有外部合作者。但这些证据不能说明本岗位自动获得全部设备、某位合作者的指导，或已经安排好的产业项目。指导频率、实验支持、知识产权限制和计算资源仍需在面试中确认。实验室、团队、博士论文

经费、申请与生活预算

招聘页承诺全额资助的有薪岗位，但没有具体金额和经费年限。ETH有不同博士工资档位，以及自2026年1月生效的按年资安排；本岗位适用档位和2027年是否调整，需要在录用文件里确认。100%工作比例不代表某个工资档，固定期限也不能推成已保证三年或四年资助。当前没有核实税后到手工资。岗位、工资制度

ETH博士专用费用为：外国大学毕业生注册费CHF150；整个博士阶段一次性学费CHF1500，在登记博士考试后收取；每学期强制费用CHF42。雇主是否报销这些费用，岗位没有说明。博士费用

生活规划可参考ETH的单人示例预算：每月CHF2430，其中房租900、医疗保险350、食品400、公共交通120。官网给出的房间租金参考范围是CHF700–1400。若只把房租从900替换成1400，其他假设不变，则得到研究者计算的每月CHF2930情景；两者都不是现成房源报价。押金通常会占用一至三个月房租的现金。注册费、后期博士学费、搬迁与押金应另作安排。工资还涉及预扣税和其他扣款，不能把“税前工资减生活预算”当成可支配收入。官方预算、住房服务

截止为2026年11月1日，官方没有给出具体时间和时区。所需材料是CV、本科和硕士成绩单，以及两位可以联系的推荐人；有论文时最多可附三篇。论文是优势，不是强制要求。应从官方岗位页进入在线申请系统，不要用邮件提交申请材料。招聘页未写明必须达到某个语言考试分数。官方申请要求

中国申请人需要区分岗位筛选、学位录取、适用的安全审查与工作许可。官方安全审查说明涉及敏感AI及部分工程研究，并结合多项个人因素判断。本次未取得说明中另行引用的国家附件，因此不能声称每一位中国申请人都会自动触发某个具体条件。ETH也说明，国籍或此前在哪里读书，单独一项并不代表自动排除。但这些都不是本岗位的明确资格批准。非EU/EFTA博士雇员需要入境、居留和工作许可，官网给出约四至六周的处理参考时间；个人情况应由ETH人事部门和主管机关确认。安全审查说明、个案审查解释、博士许可

背景与准备

最有说服力的材料组合，是岗位要求的机械工程或相关硕士基础，加上扎实的Python编程和评估工程约束的能力。机械、计算或制造设计经验直接相关。计算机专业可能属于相关背景，但是否具备足够的工程基础，应由实验室判断；这不是一个明确只招计算机专业的博士。只有提示词经历、却缺少代码检查、几何、优化或力学证据，与岗位工作的联系较弱。这里区分的是研究任务所需能力，不是在预测某个人能否录取。

官网列出的优势是计算设计、机器学习、LLM经验和德语。研究者建议的准备另分一层：做一个规模小但能执行的设计文法，测试生成程序，与传统搜索基线比较，并说明失败案例。一个报告无效设计、模型变化和人工修改的小型演示，能比缺少解释的生成图片集合更清楚地展示研究判断。把2025年直接相关论文与ReLink一起读，也有助于理解语言辅助和工程验证的区别。岗位、LLM论文、ReLink代码

下一步与待核实问题

提交前： 按11月截止要求准备材料；确认具体外国硕士学历能否支持博士录取、谁负责指导，以及教育经历、经费和拟研究内容是否需要安全审查。正式ETH注册要求学位完成和导师提供博士机会，不能把一次招聘面试理解为已经正式录取。录取条件、注册与聘用顺序

面试时： 确认首个应用领域和比较基线；询问拟采用哪种文法表示、哪些验证工具，如何测试物理性能，有多少模型/API与计算预算，谁给日常反馈，以及教学工作占多少。再确认数据、样机和产业合作的可用性，以及发表与知识产权限制。这些条件决定了招聘页上的宽泛方向能否落实成范围可控的博士课题。

接受录用前： 拿到书面的税前工资档位和发薪安排、首份合同年限、续约及论文完成阶段的经费、研究开支覆盖、院系注册义务、个人安全审查及许可结果，并安排现实可行的住房预算。ETH注册与聘用的顺序，以及国际手续的参考处理时间，都需要纳入2027年入职计划。注册、许可

证据与来源

来源包包含26个一手来源，并逐条标明读取层级：直接相关LLM论文通过出版方索引正文读取；ReLink和装配论文读取了原始全文；软体机器人论文及外部Grammar Prompting的讨论分别停留在原始介绍和摘要层级。这是一份研究报告，中国申请资格与录用待遇仍待确认。

• 岗位与实验室： 官方岗位、EDAC、团队、教授介绍、博士论文。
• 研究： LLM与文法论文、ReLink记录、ReLink全文、ReLink代码、装配全文、软体机器人论文介绍、JMD奖项、Grammar Prompting。
• 博士与聘用： 一般录取条件、D-MAVT录取、注册顺序、学位概述、工资、博士费用。
• 生活与资格： 官方预算、住房服务、安全审查说明、个案审查解释、博士许可。
• 背景： QS2026学校信号、Future of Jobs2025。