Job Description & How to Apply Below
A technology company is looking for a Researcher to focus on formalizing advanced mathematical proofs in Lean for cutting-edge AI research. Ideal candidates will have a Master’s degree and experience with Lean and formal verification. This remote hourly contract role requires translating informal proofs into formal documents and collaborating on improving verification processes. Competitive pay from $70 to $150 per hour is offered, with flexibility and autonomy in a dynamic work environment.
#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:
×