EPFLが数値解析の形式検証ポスドクを募集

スイス・ローザンヌのEPFL数値モデリング・シミュレーション講座は、数値解析研究の新しい枠組を構築するポスドク職を募集している。本ポジションは特定のプロジェクトに制約されず、証明支援系ツール「Lean」や最新の人工知能技術を数値解析へ統合する実証研究を主導することを目的としている。偏微分方程式の数値シミュレーションと幾何モデリングの連携を深化させることをテーマに、形式検証とアルゴリズム発見の境界を探求する新研究ラインの立ち上げを担う。 採用される研究者は、有限要素法の安定性および誤差評価のLeanによる形式化、あるいは従来の数値手法が適用困難な偏微分方程式類別向けにAI支援で新規離散化手法を発見し、その数学的性質を形式的に検証するなどの課題を自主的に設定・推進する。研究業績は国際会議での発表および学術誌掲載を想定しており、講座の計算科学分野における学術的リーダーシップの発揮が期待される。 応募要項は、専門職歴書、志望理由書、推薦人三名の連絡先を公募専用リンクより提出する。志望理由書には、形式検証またはアルゴリズム発見と数値解析を結合する具体の研究問いを簡潔に記述する。選考は採用決定まで継続実施され、入社時期は応相談または即日スタートが可能である。EPFLは、計算科学と形式手法の融合による次世代数値アルゴリズム開発に参画する研究者の応募を広く歓迎している。