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