Alignerr is seeking a Researcher to translate deep mathematical proofs into Lean 4 formalizations for AI training. This fully remote, hourly contract welcomes mathematicians and formal methods specialists who enjoy rigorous reasoning.
You will work across algebra, analysis, topology, and logic to reveal gaps and extend automation. Lean 4 proficiency is essential, with Lean 3 acceptable and strong proof-writing skills.
📌 Remote Researcher: Lean 4 (Ciudad de México)
🏢 Alignerr
📍 Ciudad de México
Postulate a este anuncio
Muestra tus habilidades a la empresa, rellenar el formulario y deja un toque personal en la carta, ayudará el reclutador en la elección del candidato.