Alignerr is looking for a Remote Lean 4 Researcher based in Perth, WA, Australia. The successful candidate will specialize in formal proof systems and must hold a Master's degree in Mathematics or a related field. This role involves translating mathematical arguments into formal proofs and collaborating with fellow researchers to improve verification methods. Candidates should have a passion for mechanized mathematics and strong analytical skills. The position offers competitive pay and flexible remote working arrangements.#J-18808-Ljbffr