Job Details

A technology firm specializing in formal proofs is seeking a Researcher to work on Lean 4 and formal proof systems. In this role, you will translate informal mathematical arguments into machine-verifiable proofs and analyze various proof structures. Candidates should have a Master's degree in Mathematics or related fields and experience with formal verification tools. The position offers competitive pay and flexible remote work, with a commitment of 1040 hours per week.

#J-18808-Ljbffr