Alignerr is seeking a Researcher to translate deep mathematical arguments into Lean 4 proofs, pushing formal verification to recent frontiers. This fully remote, hourly contract offers ***** hours per week and a chance to influence AI reasoning through rigorous, machine-verifiable formalizations.
You will work on translating informal proofs, analyzing sub-structures, and developing readable proof scripts in Lean 4, Coq, Isabelle/HOL, or Agda, collaborating with researchers to improve verification
#J-*****-Ljbffr