Ofertas de empleos - Matemáticas
hace 6 días
81.
Duales Studium; m/w/d Angewandte Mathematik; B.Sc.
Trabajo disponible en:
Oberursel, Hessen, Alemania
Trabajo en Educación (Matemáticas, Ciencias de la Computación)
Stellenbezeichnung: Duales Studium (m/w/d) Angewandte Mathematik (B.Sc.) - Location: Oberursel - Duales Studium (m/w/d) Angewandte...
Duales Studium; m/w/d Angewandte Mathematik; B.Sc. Empleopublicado por ALH Gruppe |
hace 1 semana
82.
Optimization Scientist
Trabajo disponible en:
Bangalore, Karnataka, India
Trabajo en TI/Tecnología (Científico de datos, Ingeniero de IA, Matemáticas, Machine Learning)
Location: Bengaluru - About QpiAI - QpiAI is a deep - tech company in AI, Optimization, HPC, and Quantum Computing, with the QpiAI - Opt...
Optimization Scientist Empleopublicado por QpiAI |
hace 1 semana
83.
Mathematical Formalization Specialist
Trabajo disponible en:
Vancouver, BC, Canadá
Trabajo en TI/Tecnología (Matemáticas, Ingeniero de IA, Machine Learning, Científico de datos)
Mathematical Formalization Specialist (Lean / Formal Proof Systems) - About Alignerr - Alignerr partners with leading AI labs to build...
Mathematical Formalization Specialist Empleopublicado por Alignerr |
hace 1 semana
84.
Applied Formal Methods Researcher; Lean
(Online/Remoto) - Ideal para candidatos en
Vancouver, BC, 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 |
hace 1 semana
85.
Formal Verification Scientist; Lean 4 & Mathlib
(Online/Remoto) - Ideal para candidatos en
Vancouver, BC, 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 1 semana
86.
Math & Python AI Validation Specialist
Trabajo disponible en:
Montréal, Province de Québec, Canadá
Trabajo en TI/Tecnología (Matemáticas, Analista de datos, Científico de datos, Ingeniero de IA)
Location: Montreal - A leading AI project - based company is seeking mathematicians for part - time project opportunities. You will...
Math & Python AI Validation Specialist Empleopublicado por Mindrift |
hace 1 semana
87.
Wiss. Mitarbeiter*in; Postdoc; m/w/d
Trabajo disponible en:
Berlin, Berlin, Alemania
Trabajo en Educación (Profesor Universitario, Académico, Matemáticas)
Stellenbezeichnung: Wiss. Mitarbeiter*in (Postdoc) (m/w/d) (629) - Vorbehaltlich der Kündigung des Stelleninhabers - Das sind wir - Die...
Wiss. Mitarbeiter*in; Postdoc; m/w/d Empleopublicado por Freie Universität Berlin |
hace 1 semana
88.
Doctoral position in Numerical Analysis
Trabajo disponible en:
München, Bayern, Alemania
Trabajo en Investigación/Desarrollo (Investigador científico, Investigador postdoctoral, Matemáticas)
Academic staff - A doctoral position (75% TVL - E13) in numerical analysis is available at the DFG - funded Emmy - Noether Junior...
Doctoral position in Numerical Analysis Empleopublicado por Technische Universität München (Technical University of Munich) |
hace 1 semana
89.
Lean Proof Engineer - Mathematical Formalization
(Online/Remoto) - Ideal para candidatos en
Toronto, Ontario, Canadá
Trabajo en TI/Tecnología (Ingeniero de IA, Matemáticas, Machine Learning, Científico de datos)
Position: Lean 4 Proof Engineer - Mathematical Formalization - Overview - Location: - Remote - At Alignerr, we partner with the world’s...
Lean Proof Engineer - Mathematical Formalization Empleopublicado por Alignerr |
hace 1 semana
90.
Actuarial Mathematics & Statistics Lecturer Campus
Trabajo disponible en:
Dubai, Dubai/ Emiratos Arabes Unidos
Trabajo en Educación (Matemáticas, Profesor Universitario, Académico)
An international university in the UAE is seeking an Assistant Professor in Actuarial Mathematics and Statistics for its Dubai campus....
Actuarial Mathematics & Statistics Lecturer Campus Empleopublicado por Heriot-Watt University |