Alignerr seeks a Researcher to translate dense mathematical arguments into Lean 4 for AI training and formal verification research. This fully remote contract role emphasizes rigorous formalization of proofs across domains.
You will collaborate with AI researchers to test and push the limits of proof systems, produce readable proof scripts, and contribute to building and improving verification pipelines in a frontier area of mathematics and AI.
#J-18808-LjbffrRemote Lean 4 Researcher: Formal Proof Systems in seattle at Unknown Company
This position is listed as contract and able to be worked remotely.