数值分析形式化验证与算法发现博士后岗位招募

瑞士洛桑联邦理工学院（EPFL）数值建模与模拟教席近日宣布，正式开放一名聚焦形式化验证与算法发现的博士后研究职位。该职位旨在探索以Lean形式化证明助手及先进人工智能工具为核心，如何革新偏微分方程数值算法的设计与分析范式。不同于传统固定课题，该岗位采用开放式研究模式。入选学者将主导开辟全新研究线，与教席团队协同制定技术路线。研究工作将围绕有限元方法的稳定性与误差估计形式化，或借助AI发现新型离散化范式并辅以严格形式化验证等方向展开，通过实证实验明确新技术在数值计算中的适用边界与潜在瓶颈。负责人将统筹国际学术发表。招聘方表示，该岗位滚动审核申请，材料含简历、动机信及推荐人信息，入职时间灵活。此举标志着该机构在推动计算数学与人工智能深度融合的前沿探索迈入新阶段。