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

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

22 ago
|
Alignerr
|
Rincón de los Sauces

22 ago

Alignerr

Rincón de los Sauces

Alignerr is seeking a Mathematical Formalization Specialist (Lean / Formal Proof Systems) for a remote hourly contract. You will translate informal proofs into Lean and related systems, analyze proofs, and push the boundaries of machine-verifiable mathematics.
You’ll collaborate with AI researchers, ensuring clean, reproducible proof scripts and rigorous formalizations while working flexibly across time zones. This role values strong math background and independence.

📌 Remote 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.

Social Media Strategist (Argentina)

Social Media Strategist (Argentina)

22 ago
|
Reconocida empresa
|
Argentina
  • 22 ago
  • Reconocida empresa
  • Argentina

Who We Are: We are a tech-enabled growth firm–at the intersection of marketing, consulting & data intelligence–igniting revenue and brand recognition for leading and emerging companies around the [...]

Desarrollador .NET Backend Semi Sr/Sr - Conocimiento normativas BCRA (Buenos Aires)

Desarrollador .NET Backend Semi Sr/Sr - Conocimiento normativas BCRA (Buenos Aires)

22 ago
|
Importante grupo
|
Buenos Aires
  • 22 ago
  • Importante grupo
  • Buenos Aires

¡Estamos buscando un/a Desarrollador/a .NET Backend SSR/SR! ¿Te apasiona desarrollar soluciones escalables y participar en decisiones de arquitectura? Si buscás un desafío en un entorno de alta d [...]

Suscribete a esta alerta:

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

Program Manager (Córdoba)

Program Manager (Córdoba)

22 ago
|
AgileEngine
|
Córdoba
  • 22 ago
  • AgileEngine
  • Córdoba

AgileEngine is an Inc. 5000 company that creates award-winning software for Fortune 500 brands and trailblazing startups across 17+ industries. We rank among the leaders in areas like application deve [...]

Chief Revenue OfficerB SaaS & Growth (Buenos Aires)

Chief Revenue OfficerB SaaS & Growth (Buenos Aires)

22 ago
|
Persat Logística GPS
|
Buenos Aires
  • 22 ago
  • Persat Logística GPS
  • Buenos Aires

Buscamos a quien va a liderar el crecimiento de ingresos de Persat mirando más allá de la venta tradicional expansión de clientes actuales, nuevos proyectos de desarrollo a medida para clientes, y [...]

Suscribete a esta alerta:

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