Remote Researcher: Lean 4 (Ciudad de México)

Remote Researcher: Lean 4 (Ciudad de México)

13 oct
|
Alignerr
|
Ciudad de México

13 oct

Alignerr

Ciudad de México

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.

📌 Remote Researcher: Lean 4 (Ciudad de México)
🏢 Alignerr
📍 Ciudad de México

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.

Lab Technician II (Monterrey)

Lab Technician II (Monterrey)

13 oct
|
Electric Battery Adhesives
|
Monterrey
  • 13 oct
  • Electric Battery Adhesives
  • Monterrey

H.B. Fuller is seeking a Laboratory Technician to perform physical, chemical, and performance testing of raw materials, in-process samples, and finished adhesives. This role ensures reliable test ex [...]

ETL Developer (Lagos de Moreno)

ETL Developer (Lagos de Moreno)

13 oct
|
Dresden Partners
|
Lagos de Moreno
  • 13 oct
  • Dresden Partners
  • Lagos de Moreno

Job Description Bilingual ETL developer with strong communication skills. Qualifications Mandatory Skills IBM Infosphere Datastage 8.1-9.1, Excellent SQL and Unix skills, RDBMS knowledge(D [...]

Suscribete a esta alerta:

Recibe por email las nuevas ofertas de trabajo para: remote researcher: lean 4 (ciudad de méxico) / ciudad de méxico

ServiceNowDeveloper (Centro)

ServiceNowDeveloper (Centro)

13 oct
|
HCL Technologies
|
Centro
  • 13 oct
  • HCL Technologies
  • Centro

Estamos buscando un ServiceNow L3 Developer con sólida experiencia en desarrollo, configuración e integración de soluciones ServiceNow para proyectos globales de ITSM y Enterprise Service Managemen [...]

GERENCIA DE ESTRATEGIA GRUPO ALEN (Santa Catarina)

GERENCIA DE ESTRATEGIA GRUPO ALEN (Santa Catarina)

13 oct
|
Grupo AlEn
|
Santa Catarina
  • 13 oct
  • Grupo AlEn
  • Santa Catarina

BrillaEnAlEn como Gerente de Estrategia Si te apasiona transformar la estrategia en resultados, impulsar iniciativas de alto impacto y participar en decisiones que contribuyen al crecimiento de Gru [...]

Suscribete a esta alerta:

Recibe por email las nuevas ofertas de trabajo para: remote researcher: lean 4 (ciudad de méxico) / ciudad de méxico