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