A leading AI research firm is seeking a Lean 4 Proof Engineer for mathematical formalization. The role requires a Master''s degree in Mathematics and hands-on experience with formal proof languages like Lean. You will translate informal proofs into machine-verifiable structures, focusing on the intersection of mathematics and computer science. This position offers competitive hourly compensation and flexible remote work opportunities.#J-18808-Ljbffr
Job Title
Remote Lean 4 Proof Engineer: Mathematical Formalization