Posted 1 day, 7 hours ago
Roles
DevOps EngineerLocations
Fully-remote
Description
The Mathlib Initiative is a new programme of Renaissance Philanthropy. We exist to support Lean's open-source library of formal mathematics known as Mathlib.
Similar Jobs
Create your own personalized Job Alert