Remote Lean 4 Formal Methods Researcher

Alignerr is seeking Applied Formal Methods Researchers to translate rigorous human mathematical arguments into Lean 4 formalizations — supporting machine-verifiable proofs at the frontier of automated reasoning. This fully remote, flexible contract role is designed for mathematicians who love precision, structure, and the challenge of bridging human intuition with machine-verifiable logic.

Responsibilities include translating informal proofs into Lean 4, analyzing proofs for gaps, constructing

#J-18808-Ljbffr…