Remote Researcher: Lean 4 & Formal Proof Systems (Heroica Puebla de Zaragoza)

Remote Researcher: Lean 4 & Formal Proof Systems (Heroica Puebla de Zaragoza)

12 oct
|
Alignerr
|
Heroica Puebla de Zaragoza

12 oct

Alignerr

Heroica Puebla de Zaragoza

Alignerr is seeking a Researcher to translate deep mathematical proofs into Lean 4 formalizations for AI training. This fully remote, hourly contract welcomes mathematicians and formal methods specialists who enjoy rigorous reasoning.
You will work across algebra, analysis, topology, and logic to reveal gaps and extend automation. Lean 4 proficiency is essential, with Lean 3 acceptable and strong proof-writing skills.

#J-18808-Ljbffr

📌 Remote Researcher: Lean 4 & Formal Proof Systems (Heroica Puebla de Zaragoza)
🏢 Alignerr
📍 Heroica Puebla de Zaragoza

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.

Chofer de entregas - licencia c1 | jornada 8–6 (Tlajomulco de Zúñiga)

Chofer de entregas - licencia c1 | jornada 8–6 (Tlajomulco de Zúñiga)

12 oct
|
ESPECIAS UNIVERSALES
|
Tlajomulco de Zúñiga
  • 12 oct
  • ESPECIAS UNIVERSALES
  • Tlajomulco de Zúñiga

experiencia laboral: Sin experiencia Especias Universales busca un chofer de entregas de mercancía en Tlajomulco de Zúñiga. No se requiere experiencia previa y se necesita licencia de chofer vigen [...]

Operations manager (Campeche)

Operations manager (Campeche)

12 oct
|
Ips - Powerful People
|
Campeche
  • 12 oct
  • Ips - Powerful People
  • Campeche

Short DescriptionWe are seeking an experienced Naval Operations Manager to lead the operational performance of a fleet of offshore vessels based in Ciudad del Carmen, Campeche. This role is responsibl [...]

Suscribete a esta alerta:

Recibe por email las nuevas ofertas de trabajo para: remote researcher: lean 4 & formal proof systems (heroica puebla de zaragoza) / heroica puebla de zaragoza

Maintenance director (property management) (Ciudad de México)

Maintenance director (property management) (Ciudad de México)

12 oct
|
OurAssistants
|
Ciudad de México
  • 12 oct
  • OurAssistants
  • Ciudad de México

Remoto: Teletrabajo Location:Work from HomeType of Employment:Full-timeWork Shift:US Business HoursAbout UsAtOur Assistants , we connect U. S.-based property management companies with highly skilled [...]

Remote media search analyst (spanish) — part‑time (Heroica Puebla de Zaragoza)

Remote media search analyst (spanish) — part‑time (Heroica Puebla de Zaragoza)

12 oct
|
Telus Digital
|
Heroica Puebla de Zaragoza
  • 12 oct
  • Telus Digital
  • Heroica Puebla de Zaragoza

Remoto: Teletrabajo A general technology company seeks a Media Search Analyst - Spanish Speaker to conduct evaluations across various media domains. This remote, part-time role requires full proficie [...]

Suscribete a esta alerta:

Recibe por email las nuevas ofertas de trabajo para: remote researcher: lean 4 & formal proof systems (heroica puebla de zaragoza) / heroica puebla de zaragoza