Applied Researcher in Formal Methods for Physics

Axiomatic AI is building innovative AI systems that combine deep learning with formal logic and physics-based modeling. As an Applied Researcher specializing in Formal Methods for Physics, you will develop formal verification tools, assess Lean4 code, and collaborate with a cross-functional team to enhance scientific and engineering workflows.

Responsibilities:

• Build and maintain in-house Lean4 libraries, ensuring scalability, maintainability, and compatibility with our AI pipeline
• Assess Lean4 code for formalization, proof correctness compared to scientific requirement, and overall code quality
• Curate datasets, run benchmarks, and analyze performance results to guide improvements
• Work closely with our focused research team to ensure fast-paced progress