Alignerr is seeking a fully remote Researcher to focus on AI training and formal proof systems. Candidates must hold a Master's degree or higher in Mathematics or a related discipline, with strong expertise in Lean and formal verification. Responsibilities include translating mathematical proofs into formalizations and working collaboratively with research teams to enhance verification pipelines. Enjoy flexibility and autonomy in a state-of-the-art research environment in Adelaide, South Australia.#J-18808-Ljbffr