la howarderie
2 offres d'emploi la howarderie en Belgique. Offres mises à jour quotidiennement.
-
Mathematical Formalization Specialist
Il y a 22 heures
Brussels, Brussels-Capital, Belgique Alignerr Télétravail Temps pleinMathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your deep mathematical training could directly shape the future of AI reasoning? We're looking for mathematicians with hands-on experience in formal proof systems — especially Lean — to translate complex human-written arguments into precise, machine-verifiable...
