AI Research Scientist - Formal Verification for Physics

Financecolombia; Castelldefels; Presencial; EUR 45.000 - 70.000; Jornada completa

Descripción de la vacante

A leading company in AI research is seeking an AI Research Scientist specializing in Formal Verification for Physics. In this role, you will develop innovative AI techniques to address scientific challenges, collaborate with physicists, and contribute to groundbreaking initiatives in hardware design. Join a dynamic team driving the evolution from development to commercial products and enjoy competitive compensation and professional growth opportunities.

Servicios

Competitive compensation

Stock Options Plan

Access to cutting-edge tools

Flexible work arrangements

Opportunities for professional growth

Impact-driven culture

Formación

• 1-2 years of hands-on experience in applying Machine Learning techniques to scientific challenges.
• Strong communication skills and ability to collaborate effectively.

Responsabilidades

• Drive the development of AI techniques for formal verification for physics.
• Set up Machine Learning experiments and run benchmarks.

Conocimientos

Python

Machine Learning

Deep Learning

Statistics

Educación

PhD in Computer Science or related field

Descripción del empleo

AI Research Scientist - Formal Verification for Physics

About Us

Axiomatic_AI is dedicated to accelerating R&D by developing the next generation of Automated Interpretable Reasoning, a verifiably truthful AI model built for reasoning in science and engineering, empowering engineers specifically in hardware design and Electronic Design Automation (EDA), with a mission to revolutionize the fields of hardware design and simulation in the photonics and semiconductor industry. We seek highly motivated professionals to help us bring these innovations to life, driving the evolution from development to commercial product.

Position overview

As an AI Research Scientist with focus on Formal Verification for Physics, you will be part of a focused team working on the formal verification for physics initiative. You will analyze scientific challenges, design and develop experimental prototypes, and architect solutions while evaluating different approaches. Your role includes setting up machine learning experiments, running benchmarks, and proposing, debating, and implementing technical strategies. Staying current with cutting-edge methodologies is essential. You will work closely and directly with our interdisciplinary research team and help cultivate a collaborative and knowledge-sharing environment.

Your mission

• Formal Verification & Scientific Prototyping: Drive the development of AI techniques for the formal verification for physics initiative and develop exploratory prototypes to tackle scientific challenges.
  
  
• Architecture & Technical Solutions: Design robust system architectures, evaluate alternatives, and implement effective technical solutions.
  
  
• Experiments & Benchmarking: Set up Machine Learning experiments, run benchmarks, and analyze results to guide development.
  
  
• Collaboration & Teamwork: Work closely with Physicists and AI Researchers, fostering open collaboration and knowledge sharing.
  
  
• Continuous Learning & Innovation: Stay at the forefront of research, embracing new technologies and advancing your expertise.
  
  
  

Key requirements:

• PhD (or equivalent proven experience) in Computer Science, Artificial Intelligence, Physics, Machine Learning for Scientific Applications, or a related field.
• 1-2 years of hands-on experience in applying Machine Learning techniques to scientific or technical challenges.
• Strong communication skills and ability to collaborate effectively within a multidisciplinary and multicultural environment
• Proactivity, self-motivation, and commitment to continuous learning
• A collaborative team player with a curious, solution-oriented mindset
• Adaptability and capability of working in dynamic, fast-changing environments.
• Ability to thrive in ambiguity, taking initiative to drive solutions forward.
• Availability to travel for about two months per year to other office locations

Technical skills:

• Proficiency in Python
• Expertise in Agentic AI and large language models (LLMs)
• Strong background in machine learning and deep learning frameworks
• Solid knowledge of statistics and probability

Preferred Qualifications (Nice to Have):

• Background in Physics, Engineering, or related Computational Sciences
• Publications relevant to the company’s research domains
• Internship or industry experience in a related organization
• Strong expertise in at least one of the following areas: Reinforcement Learning, Representation Learning, Program Synthesis, Large Language Models, Graph Machine Learning, Applied Machine Learning and Data Mining, Optimization, Machine Learning for Theorem Proving, Agentic Large Language Models, Retrieval-Augmented Generation (RAG), or Machine Learning for Scientific Applications
• Experience with Large Language Models, including Prompting, Training, and Fine-Tuning
• Proven contributions to Open-Source Projects
• Familiarity with Formal Methods, Automated Theorem Proving, or Lean4
• Passion for advancing Science and Engineering through Technology

What we offer:

• Competitive compensation
• Stock Options Plan: Empowering you to share in our success and growth.
• Cutting-Edge Tools: Access to state-of-the-art tools and collaborative opportunities with leading experts in artificial intelligence, physics, hardware and electronic design automation.
• Work-Life Balance: Flexible work arrangements in one of our offices with potential options for remote work.
• Professional Growth: Opportunities to attend industry conferences, present research findings, and engage with the global AI research community.
• Impact-Driven Culture: Join a passionate team focused on solving some of the most challenging problems at the intersection of AI and hardware.

At Axiomatic_AI, you will be working on technology that drives innovation in AI for scientific and engineering applications in line with our 10X30 mission. This is your opportunity to contribute to the development of new AI architectures that can reason coherently and produce interpretable and verifiable solutions. Consequently, see those ideas commercialized into products that will shape the future of hardware and computing, while collaborating with a global team of engineers and AI specialists. We believe in pushing the boundaries of what is possible and continuously seek to redefine the intersection of AI, with focus on formal consistency. If you're ready to take your expertise in artificial intelligence and physics to the next level, we want to hear from you!

Worried about not meeting every qualification? Studies show that women and people of color are less likely to apply for jobs unless they meet every listed requirement. At Axiomatic-AI, we are dedicated to creating a diverse, inclusive, and authentic workplace. If this role excites you but your background doesn’t perfectly match every qualification, we still encourage you to apply. You could be the perfect fit for this position or another opportunity with us .