Mathlib Initiative is hiring a
DevOps Engineer
About Mathlib Initiative
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.
Job Description
The Mathlib Initiative is seeking a DevOps Engineer to support Lean's open-source library of formal mathematics known as Mathlib.Remote
Salary
Not Specified
Benefits
Not Specified
Tech Tags
No tags
Date Listed
02 September, 2025 (5 days ago)
