Job Description
Applied Researcher in Formal Methods for Physics
Barcelona, Spain
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 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 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 i...
Apply for this Position
Ready to join Axiomatic-AI Inc.? Click the button below to submit your application.
Submit Application