Axiomatic_AI is dedicated to accelerating R&D by developing Automated Interpretable Reasoning, the next generation of a verifiably truthful AI model built for reasoning in science and engineering, with the goal of empowering engineers specifically in hardware design and Electronic Design Automation (EDA). Our mission is 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 research, development to commercial products.
Join our team as an AI Research Scientist in Formal Mathematical Methods and Foundations of Quantum Physics, contributing to the development of automated formal logic systems for theoretical physics, with a particular emphasis on quantum information and the foundations of physics.
Your mission
Key requirements
Technical skills