Applied Researcher in Formal Methods for Physics

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.

As an Applied Researcher specializing in Formal Methods for Physics, you will join a focused team, playing a key role in building new formal verification tools for science and engineering. Your responsibilities will include assessing Lean4 code for formalization, writing specific Lean4 libraries, proof integrity, and overall code quality. You will also manage data curation, conduct benchma...