Alignerr Corp. is seeking mathematicians with hands-on experience in formal proof systems to translate rigorous human arguments into Lean 4 formalizations. You’ll work at the cutting edge of AI research, mapping the frontier of automated reasoning and formal verification.
This is a fully remote, flexible contract role for mathematically mature problem-solvers who value the precise, structural beauty of formal proof. 10–40 hours per week are expected.
#J-18808-LjbffrRemote Lean 4 Formal Methods Researcher in chicago at Unknown Company
This position is listed as contract and able to be worked remotely.