Alignerr is seeking a Researcher for Lean 4 & formal proof systems to translate dense mathematical arguments into machine-verifiable proofs.
The role is remote, hourly, and adaptable, with ***** hours per week.
You will shape AI reasoning by building robust Lean proofs and collaborating on verification pipelines.
The ideal candidate holds a Master's or higher in mathematics or related fields and has hands-on experience with Lean (3/4) and related proof assistants.
#J-*****-Ljbffr