Ofertas de empleos - Matemáticas
hace 3 días
61.
Lean Proof Engineer - Mathematical Formalization
(Online/Remoto) - Ideal para candidatos en
QC, Canadá
Trabajo en TI/Tecnología (Ingeniero de IA, Matemáticas)
Position: Lean 4 Proof Engineer - Mathematical Formalization - About the Job - At Alignerr, we partner with the world’s leading AI...
Lean Proof Engineer - Mathematical Formalization Empleopublicado por Alignerr |
hace 4 días
62.
Lean Proof Architect: Formalize Advanced Math
Trabajo disponible en:
Vancouver, BC, Canadá
Trabajo en Ingeniería (Matemáticas), Educación (Matemáticas)
A leading AI and mathematics firm in Metro Vancouver seeks a Mathematical Formalization Specialist to translate informal proofs into...
Lean Proof Architect: Formalize Advanced Math Empleopublicado por Alignerr |
hace 4 días
63.
Remote Lean Proof Engineer: Formalize Advanced Math
(Online/Remoto) - Ideal para candidatos en
Toronto, Ontario, Canadá
Trabajo en Ingeniería (Matemáticas)
Position: Remote Lean 4 Proof Engineer: Formalize Advanced Math - A leading AI research collaboration partner is seeking a Lean 4 Proof...
Remote Lean Proof Engineer: Formalize Advanced Math Empleopublicado por Alignerr |
hace 4 días
64.
Virtual Volunteer Tutor - Maths, STEM, Middle School, Online/Remote
(Online/Remoto) - Ideal para candidatos en
Estados Unidos
Trabajo en Educación (Matemáticas), Ingeniería (Matemáticas)
Make a Difference in a Student’s Life - Join EnCorps’ STEMx Tutors program to virtually tutor math to middle school students who are...
Virtual Volunteer Tutor - Maths, STEM, Middle School, Online/Remote Empleopublicado por EnCorps Inc |
hace 4 días
65.
Lean Formal Methods Researcher - Remote
(Online/Remoto) - Ideal para candidatos en
Vancouver, BC, Canadá
Trabajo en Investigación/Desarrollo (Matemáticas, Científico de datos, Investigador científico)
Position: Lean 4 Formal Methods Researcher - Remote - A leading mathematical research organization is seeking an Applied Formal Methods...
Lean Formal Methods Researcher - Remote Empleopublicado por Alignerr |
hace 4 días
66.
Remote Pure Math Specialist & AI Reasoning Trainer
(Online/Remoto) - Ideal para candidatos en
Flin Flon, Manitoba, Canadá
Trabajo en Educación (Matemáticas, Científico de datos), TI/Tecnología (Matemáticas, Científico de datos)
A leading technology platform in Canada is seeking a Pure Mathematics Specialist to contribute to AI training. The role requires...
Remote Pure Math Specialist & AI Reasoning Trainer Empleopublicado por Meridial Marketplace, by Invisible |
hace 5 días
67.
Postdoctoral Math Associate
(Online/Remoto) - Ideal para candidatos en
Teslin, Yukon Territory, Canadá
Trabajo en TI/Tecnología (Científico de datos, Matemáticas)
Location: Teslin - We are looking for a Postdoctoral Math Associate to join our team to train AI models. You will measure the progress of...
Postdoctoral Math Associate Empleopublicado por DataAnnotation |
hace 5 días
68.
Formal Verification Scientist; Lean 4 & Mathlib
(Online/Remoto) - Ideal para candidatos en
Toronto, Ontario, Canadá
Trabajo en TI/Tecnología (Matemáticas, Machine Learning, Ingeniero de IA, Científico de datos)
Position: Formal Verification Scientist (Lean 4 & Mathlib) - Location: Remote - Organization: Alignerr - Position: Formal...
Formal Verification Scientist; Lean 4 & Mathlib Empleopublicado por Alignerr |
hace 6 días
69.
Part-time Bilingual Chinese/English Academic Specialist TON: Level Economics, Mathematics
Trabajo disponible en:
Toronto, Ontario, Canadá
Trabajo en Educación (Académico, Matemáticas)
Position: Part - time Bilingual Chinese/English Academic Specialist TON: High Level Economics, Mathematics [...] - Part - time Bilingual...
Part-time Bilingual Chinese/English Academic Specialist TON: Level Economics, Mathematics Empleopublicado por Sinica Education |
hace 6 días
70.
Applied Formal Methods Researcher; Lean
(Online/Remoto) - Ideal para candidatos en
QC, Canadá
Trabajo en Ciencia (Matemáticas, Científico de datos)
Position: Applied Formal Methods Researcher (Lean 4) - Location - Remote - Organization - Alignerr - Position - Applied Formal Methods...
Applied Formal Methods Researcher; Lean Empleopublicado por Alignerr |