Researcher in Formal Methods for Physics at Axiomatic AI

Stream: job postings

[Austin Letson]

Hi all! My team at Axiomatic AI is hiring for an Applied Researcher in Formal Methods for Physics. At Axiomatic, we are applying Lean to build verifiable AI systems for science and engineering.

We are looking for someone with 1+ years of Lean experience who is interested in building formal verification tools for science and engineering with a cross-functional team of Lean experts, mathematicians, physicists, AI researchers, and software engineers. Contributions to open-source Lean projects and/or a background in physics are a huge plus!

We will be speaking about our work at LeanTogether in a few weeks! Tune in to get a deeper look at our technical roadmap and meet some of the team.

How to apply: If you are interested, please apply directly here.

If you have any questions about Axiomatic or the role, feel free to message me here or email our Talent partner @Arina Dobrowolska at arina@axiomatic-ai.com.

[Austin Letson]

Regarding location, we are primarily looking to hire in person in Barcelona, but we will also consider remote or hybrid options for this role.