Remote Lean Proof Architect for AI Reasoning (Buenos Aires)

Remote Lean Proof Architect for AI Reasoning (Buenos Aires)

06 ago
|
Alignerr
|
Buenos Aires

06 ago

Alignerr

Buenos Aires

Descripción de la vacante Remoto: Teletrabajo Alignerr seeks a Mathematical Formalization Specialist (Lean / Formal Proof Systems) to convert informal proofs into Lean, Coq, Isabelle/HOL with clear, machine-verifiable structure. This is a fully remote hourly contract supporting AI research labs.

You will analyze proofs across domains, develop reproducible Lean scripts, and collaborate with AI researchers to advance formal verification methods and mechanized mathematics.

📌 Remote Lean Proof Architect for AI Reasoning (Buenos Aires)
🏢 Alignerr
📍 Buenos Aires

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.

Remote Imaging Operator: Color & Pre-Press Specialist (Buenos Aires)

Remote Imaging Operator: Color & Pre-Press Specialist (Buenos Aires)

06 ago
|
Ryz Labs
|
Buenos Aires
  • 06 ago
  • Ryz Labs
  • Buenos Aires

A digital imaging company is looking for a Pre-Press Imaging Operator based in Argentina to support the imaging and color correction of card images. The idóneo candidate will have 3-5 years of experi [...]

Senior DevOps Engineer: GitHub Actions on Azure (Remote) (Caviahue)

Senior DevOps Engineer: GitHub Actions on Azure (Remote) (Caviahue)

06 ago
|
Medium
|
Caviahue
  • 06 ago
  • Medium
  • Caviahue

Coderio is seeking a Senior DevOps Engineer to join our international banking client’s hybrid team. You will own and modernize CI/CD infrastructure, act as GitHub administrator, and drive automation [...]

Suscribete a esta alerta:

Recibe por email las nuevas ofertas de trabajo para: remote lean proof architect for ai reasoning (buenos aires) / buenos aires

Hybrid ServiceNow Integrations Engineer: Data & Automation (Buenos Aires)

Hybrid ServiceNow Integrations Engineer: Data & Automation (Buenos Aires)

06 ago
|
Chevron
|
Buenos Aires
  • 06 ago
  • Chevron
  • Buenos Aires

Chevron Corporation is seeking a ServiceNow Integration Developer in Buenos Aires, Argentina. In this role, you will be responsible for designing and maintaining integrations between the ServiceNow pl [...]

Creative Studio Program Manager (Buenos Aires)

Creative Studio Program Manager (Buenos Aires)

06 ago
|
Syneos Health
|
Buenos Aires
  • 06 ago
  • Syneos Health
  • Buenos Aires

Syneos Health in Buenos Aires is seeking a dedicated Program Manager to oversee and ensure the smooth execution of projects. The role requires a detail-oriented individual who can juggle multiple resp [...]

Suscribete a esta alerta:

Recibe por email las nuevas ofertas de trabajo para: remote lean proof architect for ai reasoning (buenos aires) / buenos aires