Resolution

Engineer

• Drive the organization-wide initiative to make Resolution effective at Lean at scale
• Guide Lean usage and develop strategic structures for autoformalization efforts
• Establish conventions, architecture, and review structures for reliable agent-generated Lean
• Build and maintain proof harnesses and code review workflows
• Build and maintain shared Lean libraries with clear definitions and useful abstractions
• Consolidate overlapping formalizations and resolve inconsistent definitions
• Improve reliability, maintainability, and performance of shared Lean projects
• Support researchers in developing custom tools, tactics, and workflows
• Champion Lean and autoformalization throughout the organization
• Work closely with researchers and engineers across research divisions, central engineering, and automation roles
• Enable AI agents to produce and consume Lean reliably at scale

Explore Lean Engineer at Resolution. Review requirements and application details.