Archived on
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 (9 months ago)
Loading...
Share this job
This job is archived, but you can still apply.
