8 oportunidades de empleo para mathematical proofs en México actualizadas hoy
trabajos encontrados
Location: Remote About the job At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification a
About The Job At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. You’ll challenge advanced language models on topics like embedded systems, signal processing, control systems and robotics, and engineering simulations—documenting eve
Location: Remote About the job At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification a
Biochemist - AI Data Trainer Location: Remote About The Job At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. We are seeking PhD-level Biochemists to challenge and refine advanced language models on topics like protein folding, met
About the Job At Alignerr, we partner with the world's leading AI research teams and labs to build and train cutting‐edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting‐edge AI research. Ideal for mathematicians passionate about formal verification and pushing th
About the Job At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting‑edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting‑edge AI research. Ideal for mathematicians passionate about formal verification and pushing the li
About the Job At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting‑edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting‑edge AI research. Ideal for mathematicians passionate about formal verification and pushing the li
About the Job At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting‑edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting‑edge AI research. Ideal for mathematicians passionate about formal verification and pushing the li
$170,000 – $270,000/año
Confianza de la estimación: Baja
Estimación basada en datos de mercado. Los salarios reales pueden variar según experiencia, empresa y ubicación.
View full salary data →Encuentra ofertas de mathematical proofs en las principales ciudades de México