Alignerr is seeking a Remote Lean 4 Proof Engineer in Melbourne, Australia. Candidates should possess a Master's degree in Mathematics or a related field and have experience with Lean 4 or similar proof systems. Responsibilities include translating mathematical proofs into formalizations, analyzing gaps, and collaborating with AI researchers. Enjoy flexible working hours with intellectually stimulating tasks and exposure to advanced AI models.#J-18808-Ljbffr