Remote Lean 4 Researcher - Formal Proof Systems (New South …, New South Wales

Alignerr is seeking a Researcher for Lean 4 & Formal Proof Systems to push the boundaries of AI reasoning. This role involves translating sophisticated mathematical proofs into machine-verifiable formalizations, requiring a Master's degree in Mathematics or a related field. In this fully remote role, you’ll tackle intellectually demanding problems in AI and work on cutting-edge research. The commitment is adaptable, ranging from 10 to 40 hours per week, providing an autonomous freelance environment. #J-18808-Ljbffr Apply on Kit Job: kitjobau.com/job/3q1amt