Job Description

An innovative research company is seeking an Applied Formal Methods Researcher with expertise in Lean to formalize mathematical proofs for cutting-edge AI research. The ideal candidate will have a Master's degree and strong skills in proof writing and formal verification. This remote role offers a competitive pay range of $70–$150 / hr, providing flexibility and opportunities to work on groundbreaking projects within a collaborative team environment.

#J-18808-Ljbffr

Apply for this Position

Ready to join ? Click the button below to submit your application.

Submit Application