Terence Tao | What's new 中文 关注 数值分析中的形式化验证与算法发现博士后职位 [本文由 Annalisa Buffa 撰写客座文章。本博客文章最初以其他文件格式撰写,并使用 AI 进行转换。— T.] 关于我们及该职位 EPFL 数值建模与模拟讲席致力于偏微分方程数值算法的设计与分析。我们的研究 […] Postdoc position on formal verification and algorithm discovery for numerical analysis terrytao.wordpress.com Terence Tao | What's new 中文 RSS thenote.app