JOIN THE TEAM

Careers at Nomos

We are looking for researchers, formal verification engineers, and AI systems architects passionate about fundamental mathematics and continuous machine reasoning.

Formal Verification Engineer

Work on Lean / Coq proof translation and formal verification pipelines for Aristotle research outputs.

AI Reasoning Researcher

Develop long-horizon search and reasoning algorithms for pure mathematical conjectures.