Alignerr, a fully remote tech company in Australia, is seeking mathematicians and formal verification specialists to develop machine-verifiable formal proofs in Lean 4. The position offers the chance to shape AI reasoning by translating complex mathematical arguments into formal structures. This role provides flexible work hours and is open to candidates regardless of geography, emphasizing the opportunity for collaboration within the field of AI systems.#J-18808-Ljbffr