Empleo
Mis anuncios
Mis alertas
Conectarse
Encontrar un trabajo Consejos empleo Fichas empresas
Buscar

Machine learning researcher / mathematician in formal methods (castelldefels)

Castelldefels
Axiomatic-AI
Publicada el Publicado hace 17 hr horas
Descripción

Axiomatic_AI's mission:
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's mission**:
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.

**Responsibilities**:

- Test methods for automated design and measurements
- Collaborate with machine learning and chip design experts to develop AIR
- Develop the AIR platform for use by the customers
- Actively engage in the understanding of cutting-edge AI and machine learning methods

**Qualifications**:

- B.S. in computer science, statistics, computer engineering, or electrical engineering or related discipline
- Experience in machine learning methods such as neural networks, reinforcement learning, large language models through coursework and projects
- Excellent programming skills in Python
- Demonstrated ability to work collaboratively in a multidisciplinary team
- Excellent analytical and problem-solving skills
- Excellent written and oral communication skills
- Excellent foundation in the physical sciences and knowledge of deep-tech industries are a significant plus.

**What We Offer**:

- A competitive compensation package, including equity in a VC-backed startup.
- Comprehensive benefits, and a flexible PTO policy.
- An opportunity to be part of a groundbreaking company from its stealth phase through to public launch and beyond.
- The opportunity to work on pioneering projects that blend scientific research with practical hardware design
- A culture of learning & innovation adecuado for professional development
- A fast-paced, highly dynamic and interdisciplinary work environment

Enviar
Crear una alerta
Alerta activada
Guardada
Guardar
Ofertas cercanas
Empleo Castelldefels
Empleo Provincia de Barcelona
Empleo Cataluña
Inicio > Empleo > Machine Learning Researcher / Mathematician in Formal Methods (Castelldefels)

Jobijoba

  • Dosieres empleo
  • Opiniones Empresas

Encuentra empleo

  • Ofertas de empleo por profesiones
  • Búsqueda de empleo por sector
  • Empleos por empresas
  • Empleos para localidad

Contacto/ Colaboraciones

  • Contacto
  • Publiquen sus ofertas en Jobijoba

Menciones legales - Condiciones legales y términos de Uso - Política de Privacidad - Gestionar mis cookies - Accesibilidad: No conforme

© 2026 Jobijoba - Todos los Derechos Reservados

Enviar
Crear una alerta
Alerta activada
Guardada
Guardar