Axiomatic AI logoAxiomatic AI logo

Applied Researcher in Formal Methods for Physics

Axiomatic AIBarcelona, Spain
On-site Full-time

Clicking Apply Now takes you to AutoApply where you can tailor your resume and apply.


Experience Level

Experience

Qualifications

Key Requirements: Master’s degree in Mathematics, Physics, Computer Science, or a related field. Experience with formal methods and Lean4 programming. Strong analytical and problem-solving skills. Excellent communication and teamwork abilities.

About the job

About Us:

Axiomatic AI is pioneering a new generation of AI systems that leverage the scientific method's rigor. By merging deep learning with formal logic and physics-based modeling, we are developing verifiable and interpretable AI systems that enhance the capabilities of human researchers in critical scientific and engineering domains.

Our Mission: 30×30 is our ambitious goal to achieve a 30-fold enhancement in the speed, accessibility, and affordability of semiconductor and photonic hardware development by the year 2030.

We are on a mission to transform hardware design and simulation in these sectors, and we are assembling a team of highly driven professionals to translate groundbreaking research into commercial applications.

Position Overview:

As an Applied Researcher focused on Formal Methods for Physics, you will be an integral part of a dedicated team responsible for creating innovative formal verification tools for science and engineering. Your tasks will include evaluating Lean4 code for formalization, developing specialized Lean4 libraries, ensuring proof integrity, and maintaining high code quality. You will also oversee data curation, conduct benchmarking to assess performance, identify reasoning flaws, and propose effective solutions. Collaboration with our diverse cross-functional team, including Lean experts, mathematicians, physicists, AI researchers, and software engineers, will be crucial for the project's success.

This role is based in Barcelona, Spain.

If you are not currently located in Barcelona, we still encourage you to apply. Axiomatic is dedicated to attracting top talent globally, and we are willing to discuss relocation support for the right candidate.

Your Mission:

  • Lean4 Development: Design and maintain internal Lean4 libraries, ensuring they are scalable, maintainable, and compatible with our AI pipeline.
  • Code Evaluation: Analyze Lean4 code for formalization and correctness against scientific standards, ensuring overall code quality.
  • Data & Benchmarking: Curate datasets, execute benchmarks, and analyze performance outcomes to drive enhancements.
  • Cross-Functional Collaboration: Work closely with our research team to ensure rapid and effective project progress.

About Axiomatic AI

Axiomatic AI is at the forefront of developing cutting-edge AI technologies, combining deep learning with formal logic to enhance research in science and engineering. With a mission to drastically improve semiconductor and photonic hardware development, we are committed to innovation and excellence.

Similar jobs

Browse all companies, explore by city & role, or SEO search pages.

Tailoring 0 resumes

We'll move completed jobs to Ready to Apply automatically.