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.
