Lean 4 Formal Proofs Researcher — Remote

Alignerr seeks a Researcher to translate deep mathematical proofs into Lean 4-verified formalizations. You will analyze proofs, identify gaps, and push the limits of proof automation, collaborating with AI researchers to build robust verification pipelines.

Required: a Master’s degree in a related field, strong proof-writing skills, and hands-on Lean experience. Remote engagement with flexible hours and high-impact research tasks.

#J-18808-Ljbffr