Lean Proof Architect

A leading AI partner in Buenos Aires is seeking a Mathematical Formalization Specialist to translate informal proofs into formal, machine-verifiable structures using Lean. The ideal candidate has a Master’s degree in a relevant field, strong proof writing skills, and experience with formal proof systems. This role involves collaboration with researchers and the development of reproducible proof scripts. Candidates should be enthusiastic about formal verification and have a deep understanding of mathematical reasoning. #J-18808-Ljbffr