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 https://leanprover-community.github.io/
Please apply directly at: https://www.renaissancephilanthropy.org/careers/devops-engin...
Backend (Engineering), Founding Account Executive (Growth) , Speckle
US East, London, EU3 weeks ago
DevOps Engineer , CoW DAO
Full Time Employment1 month ago
DevOps/SRE Engineer , Chronicle Labs
Full Time Employment2 weeks ago
React UI Engineer (Data-Heavy UIs / SlickGrid) , Timestored
2 weeks ago
Senior DevOps Engineer , LI.FI
Full Time Employment | $90k - $130k1 month ago
Newsletter
Let's simplify your job search. Receive your tailored set of opportunities today.
Subscribe to our Jobs