Alignerr seeks a researcher to translate sophisticated mathematical arguments into Lean 4 proofs, exploring how AI can understand and verify formal reasoning. You will work on developing machine-verifiable formalizations across algebra, analysis, topology, and logic, pushing the boundaries of automated reasoning.
The role is a fully remote hourly contract with flexible hours (10–40 weekly). You’ll collaborate with AI researchers to refine proof pipelines, critique automation limits, and
#J-18808-LjbffrRemote Researcher: Lean 4 & Formal Proof Systems in sheffield at Unknown Company
This position is listed as contract and able to be worked remotely.