Mathlib Initiative - DevOps Engineer - Fully-remote - Full-time

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...

Apply for the Job

Full Name

Email

Phone Number

Resume (PDF)

Message