可信机器学习博士研究员：模型与流程的来源和完整性

项目概览

阿尔托大学School of Science计算机科学系TACLab招收可信机器学习博士，Sebastian Szyller指导，地点Otaniemi／Espoo。课题研究模型与流程的来源、完整性及可核查保证，涉及可验证／可证明／可审计ML、AI／ML物料清单和proof-carrying ML。目标是分清记录、认证与隐私／鲁棒／公平等性质证据，不是只收集更多元数据。

全额资助采用2+2：先两年固定聘用，另有两年续聘选项，不是无条件四年合同。起薪€3,168/月税前，职业医疗福利，年研究教学总工时1,612小时；教学明确包含但比例、试用期及续期标准未知。预计2027年1月或更早开始。2026年10月31日截止、未列钟点，合适者找到即填补，不保证开放至最后一天。

项目详情

博士须开展研究、撰写并发表会议／期刊稿件、在学术和产业活动报告、与本地国际研究者合作并参与教学。来源签名不自动证明声明内容为真，文件哈希也不证明模型对输入变化鲁棒；按现有报告的准备建议，研究计划可明确威胁模型、可信组件、可检查的性质与证伪方式。招聘没有指定证明系统、攻击场景、数据集或首年算法，不应补成既定方案。

实验室新成立，导师有相关学术及Intel经历，已发表系统与保护机制研究；跨机构网络不保证设备、GPU、访学、产业实习或旅行经费。共享代码、模型与数据许可、日常指导及博士独立贡献需落实。

学校与博士培养

Science博士项目将Computer Science列入六研究领域，2026–2028方案适用于2026年8月1日至2028年7月31日开始者，课程30 ECTS，另有主要论文研究。个人计划包括研究、指导、资金和职业发展。招聘录用不替代学籍审核：Science常规要求硕士论文至少4/5、课程均分至少3.5/5，特殊理由可申请书面例外，不自行换算中国百分制，也不套Electrical Engineering条件。Science准入

系有40余教授、450余来自50国员工；学校六学院、14,000学生、约5,000员工、400余教授为整体规模。招聘的NTU2023欧洲第7／北欧第1和THE2025全球88均是注明年份的数据，既有学校THE2026公告为87，不代表TACLab或导师质量排名。

申请要点

• 明确必需优秀Python、可展示PyTorch熟悉程度、共享代码库工作经验，以及概率、矩阵代数、微积分等应用数学能力；另需合作、批判和独立思考。只会个人脚本不足以代替共享代码经历。

• 三类匹配路径：ML经验希望探索安全隐私；安全隐私背景转向ML；或可解释／可理解／公平ML、软件供应链经验。可信ML经历及相关发表是优秀申请者特征，不统一要求既有论文或数量。

• 硕士必须在合同开始前完成。中国大陆学历的学位证和成绩单须英文CSSD验证，未完成学位亦须成绩单验证；后期提供非Aalto本科／硕士学位证。博士学习及注册免学费，不是本硕奖学金减免。

• 2027学习权英语标准：IELTS Academic6.5／写作6.0；2026年1月21日及以后TOEFL总4.5／各项4.0，更早92／写作22。Science另有指导教授声明途径，个人适用须向doctoral-sci-elec@aalto.fi确认，不假定中国英语授课学历豁免；AI辅助申请须看2027具体项目指引。学历与语言

• 经Workday R48273提交一个PDF：CV、简短个人介绍、研究计划草稿、成绩单、硕士论文PDF或链接，以及推荐信或推荐人联系方式，保留“或”。雇员和访问者用已有账户走内部Workday“find jobs”；其他人用岗位链接。实际表单功能和关闭时刻未验证，学校保留合理延长、重开、不填补或考虑期外候选人的权利。

• 科研咨询sebastian.szyller@aalto.fi；流程咨询Susanna Holma，hr-cs@aalto.fi；实验室https://taclab.aalto.fi 。

需要进一步确认

先核仍有空缺、选题及Science成绩／语言／CSSD路径；面试落实共同指导、算力安全硬件、许可、代码审阅和教学。接受前取得2+2续期及未按期完成安排、工资扣缴净额、住房押金、居留及搬迁条款。普通学生€800–1,300+预算不直接适用博士雇员，博士无HSL学生折扣；家庭和实际房源需另算。研究安全隐私不等于已公告安全审查，任何Supo限制须有具体依据和同意程序，不能推定中国申请人一概受限。

可信机器学习博士：模型来源与可验证保证

项目价值与关键条件

下载一个机器学习模型时，怎样确认它的来源、处理流程和随附的性质声明可信？阿尔托大学 R48273 博士岗位围绕这个问题研究模型与流程的来源及完整性，涉及 AI／ML 物料清单、可审计系统和 proof-carrying ML。Sebastian Szyller 指导的新 TACLab 已有四篇直接相关的发表成果，适合希望把机器学习实现与安全验证结合起来的申请者。起薪为每月 €3,168 税前，先聘两年，再提供续聘两年的选项。2026 年 10 月 31 日截止，滚动选拔；具体关闭时刻未列，找到合适人选可能提前招满。

判断为 有吸引力，但需要核实匹配度。科研基础较清楚，主要待核的是新团队的指导和算力安排，以及第二个两年的续聘条件。申请材料中的研究计划应说明攻击者能做什么、验证系统信任什么、如何检验声明；岗位录用之外，还须单独通过 Science 博士录取、中国大陆学历 CSSD 认证和适用的英语证明审核。

可信机器学习官方岗位 R48273

研究问题与博士工作

下载到的模型可能来源不明、依赖被修改，或者附带无法核实的训练声明。记录某个模型经过了某条流程，只能证明有限的流程事实；隐私、鲁棒性和公平性还需要针对具体性质的证据。招聘列出来源与完整性、AI／ML 物料清单和 proof-carrying ML 三类主题。研究需要区分：清单记载了什么、记录是否经过可信认证，以及模型的行为性质是否有充分证据。

现有技术说明了这个区别。CycloneDX ML-BOM 可以描述模型、数据集、训练方法、框架配置和依赖。C2PA 1.4 的 AI／ML 指南涉及内容凭证、组成来源信息，以及把凭证与模型文件进行密码学绑定；这里引用的是明确版本的技术资料，并未声称它是最新版本。IntelLabs 的 Atlas CLI 已能为 ML 文件创建和验证清单。这些工具已经提供工程起点。博士贡献需要进一步提出并验证新的科学问题，例如遭到修改的流程中，哪些声明仍然能被可靠地核查；仅扩大清单范围还不足以说明研究贡献。

本报告提出的可能方向包括：针对流程被修改的情形设计考虑攻击者的验证协议；在数据或知识产权保密时选择性披露来源；或将一项性质声明绑定到实际使用的模型、预处理和运行环境。这些是分析建议，招聘没有承诺采用其中某个方案。研究应先明确可信组件、攻击者能力及允许的修改，再决定证明方法和测量指标。签名可以核查记录身份，但声明本身仍需要证据；文件哈希一致只说明文件一致，对输入扰动的鲁棒性要另外检验。Proof-carrying 方法需要写清被证明的性质及适用范围。

Szyller 的论文提供了检验研究可行性的实例。Atlas 展示了流程框架；虚假所有权声明研究表明，声称用于证明权属的证据也可能被恶意指控者利用；soft-token 遗忘审计研究则表明，能力很强的审计者若缺少适当对照，也可能得出误导结论。因此，较严谨的博士成果可以包括系统实现、形式化威胁模型、负对照，以及计算开销和错误接受率评估。预计论文数量和具体发表会议尚未明确。

NIST 2025 年对抗机器学习分类为生命周期攻击及缓解措施的局限提供了共同术语。EU AI Office 说明了通用模型的技术文档、下游信息及部分风险管理义务，同时存在适用范围和例外。这些资料支持可审计工程的实际需求，但不能证明采用某种来源标准便已满足法律要求。

Atlas：EuroS&P Workshops 2025；ML 保护机制之间的冲突；IntelLabs Atlas 实现；CycloneDX AI／ML 物料清单；C2PA 1.4 AI／ML 来源指南；NIST 2025 年对抗 ML 分类；EU AI Office 文档与风险义务说明。

学校、学科与培养

阿尔托大学主校区位于芬兰 Espoo，岗位归属 School of Science 的计算机科学系。对应培养环境为 Science 博士项目，计算机科学是其六个研究领域之一。2026–2028 培养方案适用于 2026 年 8 月 1 日至 2028 年 7 月 31 日开始学习的博士，课程结构为 30 ECTS；博士论文占研究工作的大部分，但不计作课程学分。个人博士学习计划还包括研究、指导、资助和职业发展。

可信 ML 同时要求学习系统能力和安全研究习惯，例如攻击者建模、失败案例、可独立验证的声明及准确假设。计算机科学系及 HAIC 关联提供相关环境。导师近期讲座与已发表论文直接支持这种交叉研究，不能据此假定学校所有 AI 团队都参与本合同。合作渠道、联合指导与基础设施仍需要在团队内落实。

招聘引用的 NTU 2023 和 THE 2025 排名属于历史数据。学校 2026 年 1 月 21 日的学科排名公告给出 THE Computer Science 全球第 87 位，2025 年为第 88 位。一位的变动不足以说明这个新实验室的质量变化。学科排名汇总研究、引用、教学及国际化／产业等指标，不能预测录取，也不能证明某位导师的反馈质量。它能支持的判断是：这里有国际可见度较高的计算机科学环境，以及明确的安全与 ML 研究团队。

学术录取须单独申请。Science 项目接受在国外完成的相关、对应硕士学位，并评估先前学习内容和研究潜力。其常规成绩要求为 硕士论文至少 4/5、硕士课程平均成绩至少 3.5/5，与 Electrical Engineering 项目存在实质差异；特殊理由可以通过书面说明申请例外评估。海外百分制成绩须由学校判断，不能任意换算。招聘沟通不能代替博士录取决定。

团队位于较大的计算机科学系内，课题同时涉及系统与 ML。学科环境有支撑，但共同导师、GPU 配额、安全硬件、模型许可和教学分配仍需落实；这些条件将直接影响实验范围和博士进度。

计算机科学系；Science 博士录取；2026–2028 培养方案；THE 2026 计算机科学排名。

导师、论文与实验室

指定导师 Sebastian Szyller 是阿尔托大学计算机科学系助理教授，与 HAIC 有研究联系。官方研究门户说明他领导新成立的 Trustworthy and Adversarial Computing Lab，此前在 Intel Labs 研究生成式与多模态系统中的所有权／来源、隐私和对抗鲁棒性。任职报道记载他于 2025 年 9 月 1 日回到 Aalto。其学术与产业经历和本课题相符。不过实验室新成立，尚缺长期博士毕业记录，申请者需要直接了解指导频率、团队分工及学生独立成果的安排。

四篇已发表论文分别提供了方法基础和需要警惕的结论：

• Atlas: A Framework for ML Lifecycle Provenance & Transparency：Marcin Spoczynski、Marcela S. Melara 与 Szyller，2025 年，发表于 IEEE European Symposium on Security and Privacy Workshops，第 448–461 页，发表日期为 2025 年 6 月 30 日，DOI 为 10.1109/eurospw67616.2025.00058。它结合流程监控、来源规范、可信硬件和透明日志，支持证明与验证。这是 workshop 论文集成果，不能写成主会论文；原型提供实现起点，但没有证明所有模型性质均获认证。
• Soft Token Attacks Cannot Reliably Audit Unlearning in Large Language Models：Haokun Chen、Szyller、Weilin Xu 与 Nageen Himayat，2025 年，发表于 Findings of EMNLP 2025，第 2183–2192 页，DOI 为 10.18653/v1/2025.findings-emnlp.117。强 soft-token 审计能够诱导模型输出训练中没有出现的内容，甚至任意字符串。研究启示是设置适当负对照，使审计者能力与待检验声明相符；它没有证明遗忘总能成功或总会失败。
• False Claims against Model Ownership Resolution：Jian Liu、Rui Zhang、Szyller、Kui Ren 与 N. Asokan，2024 年，发表于 USENIX Security 2024，第 6885–6902 页。恶意指控者能够针对独立模型构造所谓所有权证据，这直接挑战来源／权属证据体系。出版方提供正式链接及 ISBN 978-1-939133-44-1，未核实到 DOI，因此不补写。结论针对所研究的一类方案，不能推及所有所有权协议。
• Conflicting Interactions among Protection Mechanisms for Machine Learning Models：Szyller 与 N. Asokan，2023 年，发表于 AAAI，DOI 为 10.1609/aaai.v37i12.26771。论文分析所有权保护、差分隐私和对抗鲁棒性之间的冲突，说明多种保证需要联合评估，不能假定单独有效的防御组合后仍然有效。

实验室官方成员页的检索索引列出博士研究员 Lin Zhu、Yoojin Jung 及若干毕业论文研究人员。直接提取页面时只得到 JavaScript 内容，因此成员信息属于官方页面的索引快照。HAIC 2026 年 3 月的讲座进一步说明团队仍在开展研究，并关注与标准有关的问题。成员记录、讲座和导师的 Intel 经历都不保证企业安排、共享 GPU 配额或特定联合指导，需要直接核实。

导师官方资料；任职与研究方向报道；TACLab 成员；HAIC 2026 研究讲座；Atlas 论文；Soft Token 遗忘审计论文；虚假模型所有权声明论文；保护机制冲突论文。

资助、申请与生活成本

招聘称全额资助 2+2 岗位，合同表述为初始两年固定聘用，另有续聘两年的选项。续聘考核标准和试用期时长均未说明，试用期和续聘评审应向 HR 单独确认。起薪为 EUR 3,168／月，按 12 个月直接计算的税前基数为 EUR 38,016，另行约定项目不在此计算内。招聘明确包括职业医疗福利。研究与教学人员年总工时为 1,612 小时，个人教学比例未列。预计 2027 年 1 月开始，有条件时可更早。

官方截止日期为 2026 年 10 月 31 日，岗位正文没有精确关闭时刻或时区。找到合适人选即可填补，不能理解为必定开放至最后一天。官方 Apply 链接对应 Workday R48273；既有核对确认了链接身份，但未获得可读取表单，实际提交功能仍未验证。阿尔托雇员与访问者明确走内部 Workday；外部申请者走链接指定入口。

申请材料须合成一个 PDF：CV、简短个人介绍、研究计划草稿、成绩单、硕士论文 PDF 或链接，以及推荐信或推荐人联系方式。在阿尔托以外取得的本科和硕士学位证可能在后期要求提供。硕士必须在合同开始前完成。学校独立的博士收费政策规定，国际研究者在内的博士学习及注册均免费；这项政策不能当作本科／硕士奖学金减免。招聘未列明 ERC 项目或其他外部资助编号，也不能从别的项目推断。

学校 2026 年 3 月费用证明估计普通学生每月生活费为 EUR 800–1,300+，其中包含廉价学生住宿和学生餐的假设。博士住房指引更倾向私人租赁，Hoas 选择有限。HSL 明确不向博士生提供学生折扣；2026 年成人 AB 区域一次购买的 30 天票为 EUR 73.90。以下为私人租赁的示例预算，用于观察成本变化，并非已分配住房的报价：

月度项目	EUR
房租	750–1,050
食品	300–400
交通	73.90
电话	30
水电与网络	80
杂项	150
合计	约 1,384–1,784

押金、家具、机票及临时住宿另计。官方费用证明列出的押金为 1–3 个月房租。2027 年实际租金和票价需要再核实。Vero 的税卡与工资代扣规则意味着税前收入不能直接当作可支配现金，应请 HR 按个人情况估算税后工资。

官方岗位；博士学费与注册政策；博士住房指引；2026 年生活费证明；HSL 2026 票价；博士不适用学生折扣；Vero 海外雇员工资代扣规则。

必需条件、中国申请者材料与准备

官方要求优秀的 Python 编程能力、可展示的 PyTorch 熟悉程度、共享代码库工作经验，以及较强应用数学能力，尤其是概率论、矩阵代数和微积分。团队合作、批判和独立思考也属于明确要求。招聘列出三类相关背景：有 ML 经验并希望研究安全／隐私；有安全／隐私经验并希望应用于 ML；或有可解释／公平 ML、软件供应链经验。此前可信 ML 项目及较强发表记录属于优秀申请者的加分条件，不应升级为人人必须有论文。

研究计划应把一个来源或完整性问题变成可检验的问题。本报告建议可先复现一个小型虚假声明实验，或检查 Atlas 流程，再指出精确缺口。写清谁能修改什么、验证者看到哪些证据、哪个组件被信任，以及什么情形算错误接受。准备可复现代码、测试、负对照、算力成本和如实呈现的失败案例，有助于展示数学与系统能力，但不能替代官方的单 PDF 材料。只有聊天机器人演示的作品集，对安全保障研究的证明力较弱，除非同时明确其声明与对抗评估。

所核对的招聘没有排除中国籍申请者，并欢迎各背景的合格候选人。实际录取仍取决于对应相关硕士、项目学术评估及合格语言证明。中国大陆学历须提供 成绩单和学位证书的英文 CSSD 认证报告，发送至博士教育服务部门；未完成学位也需要成绩单认证。招聘另要求硕士在合同开始前完成。学历颁授地决定认证要求；招聘欢迎不同背景的候选人，并不免除材料认证和学院审核。

若博士学习权从 2027 年开始，应适用公布的 2027 年英语要求：IELTS Academic 总分 6.5、写作 6.0；2026 年 1 月 21 日及以后参加的 TOEFL，总分 4.5、每项至少 4.0；更早的 TOEFL 使用总分 92、写作 22 的要求。Science 项目另有指导教授声明的证明途径。应通过 doctoral-sci-elec@aalto.fi 确认个人适用途径，不能假定中国的英语授课学位自动豁免。学校也说明，2027 年申请材料能否使用 AI 要看具体博士项目指引，需要核对研究计划适用规则。

非欧盟人员就业需要适当居留许可。Migri 科研人员路径要求 hosting agreement，并适用受雇研究者的收入条件。安全／隐私研究主题本身不能证明必须进行安全审查，本岗位也未公告这一要求。若使用 Supo 审查，须有本人同意及获准组织提出申请。HR 应确认具体项目限制，不能据此推导针对中国申请者的一概限制。

Falseclaims 研究代码；Science 博士录取；中国大陆学历 CSSD 要求；2026／2027 博士英语证明；科研人员居留许可；Supo 审查同意与组织申请。

职业方向

研究能力可以延伸至 ML 安全、供应链保障、隐私工程和工业研究。Intel 的实际开源工具比泛泛的 AI 市场增长率更贴近岗位所需能力，但都不能保证就业或实习。

申请、面试和接受前分别确认什么

本岗位的优势是明确的研究问题、导师已发表的系统与攻击分析成果，以及清楚列出的带薪聘用条件。研究价值在于把来源工程与“证据到底证明了什么”的批判分析结合起来。主要机构层面的不确定性来自新实验室的博士指导经验与资源分配记录。导师的 Intel 经历和可运行开源工具有专业参考价值，但没有证据支持保证实习、无条件后续资助或立即产业落地。

申请前，先确认滚动岗位仍开放；若临近截止，取得 Workday 精确关闭时刻。可向 Sebastian Szyller（sebastian.szyller@aalto.fi）询问初步计划更适合聚焦来源证明、proof-carrying 性质，还是防御交互验证。以四篇已核实发表的论文之一界定问题，说明新保证与工程实现之间的区别。整理单 PDF，确认论文链接可打开；安排 CSSD 报告，并确认个人 Science 成绩与英语材料是否需要补充证明。

面试时，问清首先研究哪个信任边界、可信执行硬件是否在论文范围内，以及何种实验能够推翻提出的声明。确认 GPU、安全硬件、模型／数据集许可与合作人员。LLM 实验要有明确负对照及可承担的算力需求，缺少合理审计者模型的醒目演示不能替代论文所强调的方法。再询问日常指导、联合导师、代码审查、会议发表预期，以及协作软件中个人博士论文的独立贡献如何界定。

接受前，取得第二个两年合同的续聘标准、考核时间及研究未按期完成的书面安排。试用期尚未公告，需要确认。核对薪资增长、1,612 年工时中的教学比例和职业医疗范围；落实单独博士录取时间、居留／hosting 文件，以及实际项目审查或合作方访问限制。招聘流程由 HR Susanna Holma（hr-cs@aalto.fi）负责。取得个人税后工资估算和住房支持信息，再按真实可租房源的押金与通勤区域核算成本。

尚未解决的主要问题是 Workday 表单功能、精确截止时刻、学历等值／成绩例外、英语证明路径、续聘条件、算力配置和个人生活成本。当前最有用的行动是完成一份范围明确、包含威胁模型和可证伪评估的研究计划，再准备录取文件。对外项目摘要应保留“2026 年 10 月 31 日截止、滚动选拔、初始两年及续聘选项”；精确关闭时刻、试用期和续聘考核目前仍未明确。

官方岗位；HAIC 2026 研究讲座；Supo 审查规则；新入职员工搬迁服务。

证据与来源

既有资料核查日期为2026年10月11日；文字编辑没有重新核验招聘或新增论文阅读，技术标准仍限所列版本。证据齐全程度与资助、个人录取资格需要分别判断。

项目、学校与培养

• S01: Official trustworthy ML requisition R48273
• S16: Computer Science department
• S17: Science doctoral admission
• S18: Science doctorate curriculum2026–2028
• S19: THE Computer Science2026 ranking
• S20: Doctoral tuition and enrolment fee policy
• S21: Doctoral mainlandChina CSSD verification
• S22: Doctoral English evidence2026/2027
• S30: Incoming staff relocation services

导师、实验室与论文

• S02: Sebastian Szyller official profile
• S03: Szyller appointment and research programme
• S04: TACLab members
• S05: HAIC2026 research talk
• S06: Atlas published EuroS&P Workshops2025
• S07: Soft Token Attacks Cannot Reliably Audit Unlearning in LLMs
• S08: False Claims against Model Ownership Resolution
• S09: Conflicting Interactions among Protection Mechanisms for ML Models
• S11: Falseclaims research code

技术、行业与政策

• S10: IntelLabs Atlas implementation
• S12: CycloneDX AI/ML bill of materials
• S13: C2PA1.4 AI/ML provenance guidance
• S14: NIST adversarial ML taxonomy2025
• S15: EU AI Office documentation/risk obligations explanation

生活成本、税务与居留

• S23: Doctoral private market housing guidance
• S24: Aalto2026 estimated living expenses
• S25: HSL2026 adult transport prices
• S26: HSL doctoral student discount exclusion
• S27: Vero employedforeignworker withholding
• S28: Scientific researcher residence permit
• S29: Supo clearance consent and employer request