Mathematical Formalization Specialist

Role Overview:

• Translate human-written mathematical arguments into precise, machine-verifiable formalizations.
• Work on proofs that often lie beyond the current capabilities of automated provers.
• Help map the frontier of what formal verification can express, capture, and automate.

What You’ll Do:

• Collaborate with researchers to design, refine, and evaluate strategies for improving formal verification pipelines.
• Develop highly readable, reproducible proof scripts aligned with mathematical best practices and proof assistant idioms.
• Provide guidance on proof decomposition, lemma selection, and structuring techniques for formal models.