Remote Lean 4 Proof Architect

Alignerr is seeking a mathematician specializing in formal verification to translate rigorous mathematical proofs into machine-verifiable Lean 4 proofs. This is a remote and flexible hourly contract role that requires expertise in proof writing and previous experience with Lean or similar proof systems. Ideal candidates will have a Master's degree in Mathematics or related fields and a passion for formal verification. Join a global team on cutting-edge AI projects that shape the future of mechanized mathematics.#J-18808-Ljbffr