Company: Alignerr Corp.
Location: Glasgow
Job Description:
Alignerr is seeking an Applied Formal Methods Researcher to translate complex human-written proofs into machine-verifiable formalizations using Lean 4 and related systems. You will analyze proofs across domains, identify gaps, and design formalizations that push the boundaries of automated reasoning.
This remote hourly contract offers flexible hours (10–40 per week) and collaboration with AI researchers to advance mechanized mathematics.
#J-18808-Ljbffr…
Posted: October 24th, 2026