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, EU2 weeks ago
DevOps Engineer , CoW DAO
Full Time Employment1 month ago
DevOps/SRE Engineer , Chronicle Labs
Full Time Employment3 days ago
React UI Engineer (Data-Heavy UIs / SlickGrid) , Timestored
3 days ago
Senior DevOps Engineer , LI.FI
Full Time Employment | $90k - $130k3 weeks ago
Newsletter
Let's simplify your job search. Receive your tailored set of opportunities today.
Subscribe to our Jobs