Alignerr Corp. is seeking a Researcher to translate deep mathematical reasoning into Lean 4 formalizations for AI training. This remote contract role suits researchers who value precision and rigorous, machine-verifiable proofs.
You will work across algebra, topology, logic, and discrete math to push the boundaries of what automated systems can handle, with flexible hours between 10 and 40 per week. Lean 3/4, Coq, Isabelle/HOL, and Agda experience is highly valued as you contribute to frontier
#J-18808-LjbffrRemote Researcher: Lean 4 & Formal Proofs for AI in charlotte at Unknown Company
This position is listed as contract and able to be worked remotely.