**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.- 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**: Adaptable 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.**Why join us?