この求人について
形式的証明の習熟を、AIの最前線で活かしましょう。高度な数学をLean 4で形式化します — リモートで柔軟、並外れて高い報...
プラットフォームは短い概要のみを提供しています。要件の全文は掲載元の求人をお読みください。
alignerr · STEM（科学・技術・工学・数学）
形式検証サイエンティスト（Lean 4 & Mathlib）
Alignerr
この求人は自動翻訳されています。応募は掲載元のプラットフォームが受け付けます。応募前に原文の要件をご確認ください。 元のページを見る