A cutting-edge AI research company in New South Wales is seeking a Lean 4 Proof Engineer to translate mathematical proofs into formal verifications. Ideal candidates will have a Master's degree in a related field and hands‐on experience with Lean. This role offers competitive pay and the opportunity to work on advanced AI projects in a remote environment, fostering both collaboration and professional growth.
Location: Remote (Council of the City of Sydney, NSW, Australia)
#J-18808-Ljbffr