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 27 días en: es.talent.com
Ofertas relacionadas
- QA TESTER IRIUM - Spain - Málaga, Andalusia, es
- QUALITY ASSURANCE COMPLIANCE (MALAGA) Sotec Consulting - Málaga, Andalusia, es
- QA Tester Selenium - 02 días presencial Málaga Zemsania - Málaga, Andalusia, es
- QA Tester 02 días en Málaga Zemsania - Málaga, Andalusia, es