A leading tech organization seeks a Formal Verification Scientist specializing in Lean 4 and Mathlib, to translate complex mathematical proofs into clear, structured formats. This remote position offers competitive pay and involves collaboration with top AI research teams. Ideal candidates will possess an advanced degree in a relevant field and experience with formal proof languages. Join us for the chance to push the boundaries of formal verification and mechanized mathematics while enjoying flexible work conditions.
#J-18808-Ljbffr