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