Machine Learning Researcher / Mathematician in Formal Methods
-
Empresa:
Axiomatic AI
-
Ubicación:
Sitges, Catalonia, es
Axiomatic_AI is launching with the aim to accelerate R&D by "Automated Interpretable Reasoning" (AIR) -- a verifiably truthful AI model built for reasoning in science and engineering. Axiomatic_AI is hiring top talent interested in a future of human reasoning aided by -- not replaced by -- AI, and a future that empowers a new generation of innovators to solve important problems through deep-tech engineering in the semiconductor ecosystem. […]
Axiomatic_AI is launching with the aim to accelerate R&D by "Automated Interpretable Reasoning" (AIR) -- a verifiably truthful AI model built for reasoning...
Hace más de 30 días en: es.talent.com
Ofertas relacionadas
- Cybersecurity Architect Sener - Tres Cantos, Community of Madrid, es
- Profesor/a FP Informática (TIC) Grupo Planeta - Tres Cantos, Community of Madrid, es
- DEVOPS ENGINEER: MADRID Y MÉXICO DF The White Team - Tres Cantos, Community of Madrid, es
- Ingeniero/a en Automatización de Procesos Industriales (m/f/d) Siemens S.A. - Tres Cantos, Community of Madrid, es
- Ingeniero/a Especialista IA Generativa Sener - Tres Cantos, Community of Madrid, es