Remote Applied Formal Methods Researcher (Lean 4)

Alignerr is seeking Applied Formal Methods Researchers to translate rigorous human-written proofs into machine-verifiable formalizations in Lean 4, contributing to AI research and formal verification. This remote hourly contract offers flexible hours from 10 to 40 per week, with the chance to work across cutting-edge mathematical reasoning domains.

You will collaborate with AI researchers to improve verification pipelines, produce readable proof scripts, and tackle challenging proofs that stress

#J-18808-Ljbffr…