Lean Proof Architect For Ai Reasoning (Remote) (Rincón de los Sauces)

Lean Proof Architect For Ai Reasoning (Remote) (Rincón de los Sauces)

13 oct
|
Alignerr
|
Rincón de los Sauces

13 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 adaptable commitment offers opportunities to collaborate with leading AI research labs and contribute to frontier mechanized mathematics.
#J-*****-Ljbffr

📌 Lean Proof Architect For Ai Reasoning (Remote) (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.

Orbit Calculation Engineer (Buenos Aires)

Orbit Calculation Engineer (Buenos Aires)

14 oct
|
Sin nombre
|
Buenos Aires
  • 14 oct
  • Sin nombre
  • Buenos Aires

This position is part of the Aviation Inc demo environment and is not associated with a real employer or an active hiring process. Please do not submit genuine applications. Any real candidate data su [...]

Production Manager (Translation) (Buenos Aires)

Production Manager (Translation) (Buenos Aires)

14 oct
|
Importante empresa
|
Buenos Aires
  • 14 oct
  • Importante empresa
  • Buenos Aires

Spines: #1 Fastest-Growing Book Publishing Platform in the U.S. At Spines, we’re rebuilding publishing for a new era: powered by technology, guided by craft, and built around the author. Our next- [...]

Suscribete a esta alerta:

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

React Native Developer (Latin America, Remote position) (La Plata)

React Native Developer (Latin America, Remote position) (La Plata)

14 oct
|
Empresa líder
|
La Plata
  • 14 oct
  • Empresa líder
  • La Plata

Bluelight is a leading software consultancy dedicated to designing and developing innovative technology that enhances users' lives. With a steadfast commitment to delivering exceptional service to our [...]

Content Creator (Buenos Aires)

Content Creator (Buenos Aires)

14 oct
|
Empresa reconocida
|
Buenos Aires
  • 14 oct
  • Empresa reconocida
  • Buenos Aires

Company Description WNPower es líder en servicios de Hosting en Latinoamérica. Conformamos un equipo de profesionales apasionados por Internet que acompaña a miles de emprendedores y empresas en e [...]

Suscribete a esta alerta:

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