Lean Formal Methods Researcher - Remote
Job Description & How to Apply Below
A technology company is seeking an Applied Formal Methods Researcher. This remote position involves translating mathematical proofs into formal verifications. Candidates should hold at least a Master's degree in related fields with hands-on experience in Lean or similar proof languages. The role promises competitive pay, the opportunity to work on advanced AI projects, and a flexible work environment. Ideal candidates are passionate about formal verification and enjoy overcoming challenges in mechanized mathematics.
#J-18808-Ljbffr
Note that applications are not being accepted from your jurisdiction for this job currently via this jobsite. Candidate preferences are the decision of the Employer or Recruiting Agent, and are controlled by them alone.
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
Search for further Jobs Here:
×