Lean Proof Architect for AI Reasoning (Rincón de los Sauces)

Lean Proof Architect for AI Reasoning (Rincón de los Sauces)

12 oct
|
Alignerr
|
Rincón de los Sauces

12 oct

Alignerr

Rincón de los Sauces

Alignerr is seeking a Mathematical Formalization Specialist (Lean / Formal Proof Systems) to translate informal proofs into Lean and related systems, ensuring machine-verifiable correctness. You will analyze proofs, identify gaps, and build formalizations that push the boundaries of automation.
A fully remote, hourly contract with versátil commitment offers opportunities to collaborate with leading AI research labs and contribute to frontier mechanized mathematics.

📌 Lean Proof Architect for AI Reasoning (Rincón de los Sauces)
🏢 Alignerr
📍 Rincón de los Sauces

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.

Suscribete a esta alerta:

Recibe por email las nuevas ofertas de trabajo para: lean proof architect for ai reasoning (rincón de los sauces) / rincón de los sauces

Suscribete a esta alerta:

Recibe por email las nuevas ofertas de trabajo para: lean proof architect for ai reasoning (rincón de los sauces) / rincón de los sauces