Overview
A technology company is seeking a Formal Verification Scientist to work on advanced mathematical proofs in Lean for AI research.
Responsibilities
* Translate proofs into Lean.
* Analyze mathematical arguments.
* Collaborate with researchers.
Qualifications
* Master's degree in Mathematics or a related field.
* Strong proof-writing skills.
* Passion for formal verification.
Details
* Hourly contract position
* Compensation: $70 to $150 per hour
* Hours: 10 to 40 hours per week
* Fully remote
#J-18808-Ljbffr