Sign In
Post your Resume
Employers / Post Job
Date Posted
Company
Job Title
Skills
Location
Job Type
Employer/Recruiter
About The Role What if your deep mathematical expertise could directly shape how AI reasons, proves, and understands the worlds hardest problems? Were looking for Applied Formal Methods Researchers to formalize advanced mathematical proofs in Lean
Confirmation email sent to
Check your email and click on the link to start receiving your job alerts
Upload Your ResumeLet employers contact you directly
Receive the latest remote job openings for:
You also might be interested in:
Researcher
Scaffolding
Mathematics
Frontier
Formal Verification
Formal Methods
Bridge
Automation
Automated Reasoning
AI
Show me new jobs