Mathematical Formalization Specialist

Job Overview:

• Translate mathematical proofs into Lean and related proof systems.
• Analyze proofs to identify gaps and formalizable sub-structures.
• Construct formalizations that test the limits of existing proof assistants.

Responsibilities:

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