AI Research Scientist - Formal Methods for Science at Axiomatic_AI

Axiomatic_AI is seeking an AI Research Scientist specializing in Formal Methods for Science to join their team. This role is critical in developing next-generation Automated Interpretable Reasoning (AIR) models, with a strong emphasis on verifiably truthful AI for science and engineering applications. The scientist will play a key part in building new formal verification tools, enabling the systematic adoption of formal methods in quantitative scientific fields like physics and engineering. The position involves hands-on development, data curation, benchmarking, and analysis of reasoning flaws, all while collaborating with a cross-functional team of mathematicians, AI engineers, software engineers, and physicists. The ultimate goal is to revolutionize hardware design and simulation in the photonics and semiconductor industries, moving innovations from development to commercial products. The role demands a passion for science and mathematics, a deep curiosity for first principles, and an ability to quickly grasp new concepts and build exploratory prototypes. The ideal candidate will contribute to short-term impactful solutions while staying updated with state-of-the-art techniques to enhance product impact.