A leading technology firm is looking for a Lean 4 Proof Engineer specializing in mathematical formalization. The successful candidate will transform informal proofs into Lean and tackle complex verification challenges. Applicants should possess a Master's degree in Mathematics and experience with Lean or similar proof assistants. This role offers competitive pay and flexible remote work, providing a unique opportunity to work with cutting-edge AI projects and advanced LLMs. #J-18808-Ljbffr
Job Title
Remote Lean 4 Proof Engineer: Mathematical Formalization