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

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

19 oct
|
Alignerr
|
Rincón de los Sauces

19 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.

#J-18808-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.

Especialista en Proyectos Supply Chain - Mercado Envíos (Buenos Aires)

Especialista en Proyectos Supply Chain - Mercado Envíos (Buenos Aires)

19 oct
|
Importante empresa
|
Buenos Aires
  • 19 oct
  • Importante empresa
  • Buenos Aires

En Mercado Libre estamos democratizando el comercio y los servicios financieros para transformar la vida de las personas de América Latina. ¡Sumate a este propósito! En Mercado Envíos administram [...]

Senior NetSuite Consultant | SaaS & PS (Argentina)

Senior NetSuite Consultant | SaaS & PS (Argentina)

19 oct
|
Empresa reconocida
|
Argentina
  • 19 oct
  • Empresa reconocida
  • Argentina

Remote role - LATAM only About the role As a Senior NetSuite Consultant at our client's team, you will act as a strategic advisor, implementing sophisticated NetSuite solutions for our portfolio of [...]

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

Enterprise Account Executive (Buenos Aires)

Enterprise Account Executive (Buenos Aires)

19 oct
|
Importante grupo
|
Buenos Aires
  • 19 oct
  • Importante grupo
  • Buenos Aires

Description About the Role We’re looking for an Account Executive - Enterprise based in Buenos Aires, with a hunter mentality and knowledge in B2B Sales (ideally in a SaaS) to join Simetrik and [...]

Ejecutivo/a Senior Canales Masivos & Brokers | Importante Empresa de Seguros (Munro)

Ejecutivo/a Senior Canales Masivos & Brokers | Importante Empresa de Seguros (Munro)

19 oct
|
Empresa líder
|
Munro
  • 19 oct
  • Empresa líder
  • Munro

Crecimiento comercial mediante alianzas y nuevos negocios. Desde INHAUS estamos acompañando a una relevante compañía del sector asegurador en la búsqueda de un/a Ejecutivo/a Senior Comercial – [...]

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