3 oportunidades de empleo para lean 4 en México actualizadas hoy
trabajos encontrados
About the Job At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting‑edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting‑edge AI research. Ideal for mathematicians passionate about formal verification and pushing the li
A leading AI research firm is seeking a Lean 4 Proof Engineer to translate informal mathematical proofs into formal verifications. Ideal candidates will hold a Master's degree and have hands-on experience with Lean and rigorous proof writing. This remote role involves collaborating with talented res
Location: Remote About the job At Alignerr, we partner with the world's leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification a
$285,000 – $390,000/año
Confianza de la estimación: Baja
Estimación basada en datos de mercado. Los salarios reales pueden variar según experiencia, empresa y ubicación.
View full salary data →Encuentra ofertas de lean 4 en las principales ciudades de México
