陶哲轩博客发布Annalisa Buffa的客座文章，宣布EPFL数值建模与仿真教席招聘博士后，探索形式化验证与算法发现对数值分析的影响。研究方向包括用Lean形式化有限元稳定性与误差估计，或AI辅助发现新离散范式并形式验证。无固定项目，需主导新研究线并发表成果。申请需提交CV、动机信和两名推荐人，招满为止。

雷米兹算法是一种数学方法，主要用于函数逼近。它通过优化多项式系数来最小化误差，广泛应用于数值分析和信号处理。