M

Devops Engineer

Mathlib Initiative

Date listed

1 month ago

Remote

Yes

Found on:

Responsive image HN Community
Keywords: remote github

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

Related jobs

DevOps Engineer , CoW DAO

Full Time Employment

2 weeks ago

remote ethereumansibleprometheus

Senior DevOps Engineer , Hedera Hashgraph

Full Time Employment

1 month ago

remote

Senior DevOps Engineer , LI.FI

Full Time Employment | $90k - $130k

1 week ago

remote

Developers Community Manager , GoodDollar

Full Time Employment | $60k - $72k

2 days ago

remote githubweb3
k

OpenZFS Developer , klarasystems.com

2 months ago

remote containersgithub
Find more devops jobs
Findwork Copyright © 2023

Newsletter

Let's simplify your job search. Receive your tailored set of opportunities today.

Subscribe to our Jobs

Jobs

DevOps
Frontend
Backend
Design

Links

Blog
Post A Job
Developers
Log in

Contact

[email protected]