Alignerr seeks a Lean 4 Proof Engineer for a remote, flexible contract role. Ideal candidates will have a Master's degree in Mathematics or a related field and experience in formal proof systems like Lean. Responsibilities include translating informal proofs into Lean 4 code, analyzing proof structures, and collaborating with AI researchers. Join us for cutting-edge AI research with freelance autonomy and potential ongoing contract opportunities.
#J-18808-Ljbffr