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

1 week ago

remote ethereumansibleprometheus

Senior DevOps Engineer , Hedera Hashgraph

Full Time Employment

1 month ago

remote

Senior / Staff Software Engineer , Grafana Labs

2 months ago

remote githubk8sgrafana
k

OpenZFS Developer , klarasystems.com

2 months ago

remote containersgithub
R

Digital Design Engineer , Rivo

Full Time Employment

2 months ago

remote githubuxinvision
Find more gin 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]