Mathematician: Lean 4 Formalizations for Frontier AI
Emplacement
ParisFrance
France
Contrat
À plein temps, Durée indéterminéeDate de publication:
2026-11-10Online to:
2027-01-09EUR 20.00 HOUR
Mathematician: Lean 4 Formalizations for Frontier AI
- Alignerr Corp.
- France
- 40 minutes il y a
Alignerr is seeking mathematicians with a passion for rigorous proof to help build formal foundations for frontier AI. This fully remote, hourly-contract role focuses on Lean 4 and formal reasoning across diverse mathematical disciplines.
You will contribute to large-scale libraries like mathlib, formalize proofs, audit existing work, and collaborate asynchronously in a global, freelancer-friendly environment.
#J-18808-LjbffrPlus d'emplois de votre recherche
Conseiller commercial en immobilier H/F (Indépendant / Freelance)
- saint-carné
- 09 novembre 2026
Comptable Copropriété H/F (CDD)
- rennes
- 09 novembre 2026
Médecin généraliste ( h / f ) Marseille H/F
- Marseille
- 10 novembre 2026
Tech Lead – Dataiku & Snowflake ML Engineer
- Paris
- 10 novembre 2026
AI Lead Developer - Hybrid Paris, 3 Days On-Site
- Paris
- 10 novembre 2026
CTO / Founding Engineer AI Factory
- Paris
- 10 novembre 2026
Ophtalmologiste - Reichstett H/F
- Strasbourg
- 10 novembre 2026
French SMB AI Sales Leader — Revenue Owner
- Paris
- 10 novembre 2026
Ingénieur DevOps – Lille, France (H/F)
- retours 3 suisses, nord pas de calais, france
- 10 novembre 2026
Global People Operations Lead - France & Europe
- Paris
- 10 novembre 2026
Global AVP of Sales — Attractions & Experiences
- Paris
- 10 novembre 2026
Remote Mechanical Engineer — Contract, R&D & Simulation
- france
- 10 novembre 2026
Ingénieur RAMS - Fiabilité & Sécurité des Piles H2
- Blanquefort
- 10 novembre 2026