Remote Lean 4 Researcher for Formal Proofs Perth, WA, Australia
A remote research organization is seeking a Researcher specializing in Lean 4 and formal proof systems. This role requires a Master's degree in Mathematics or a related field and strong experience with formal proofs, particularly using Lean. Responsibilities include translating mathematical arguments into formal proofs and collaborating with researchers to enhance verification methods. Ideal candidates will be passionate about mechanized mathematics and have excellent analytical skills. Competitive pay and flexible remote work are offered.
#J-18808-Ljbffr