A searchable index of Hacker News “Who is hiring?” job postings.
← All postings · September 2025 thread
DevOps Engineer
| Company | Mathlib Initiative |
|---|---|
| Website | leanprover-community.github.io ↗ |
| Role | DevOps Engineer |
| Type | full-time |
| Role taxonomy | Infrastructure / SRE / DevOps |
| Specialties | DevOps |
| Location | Fully · Remote |
| Salary | — |
| Apply via | Application link — https://www.renaissancephilanthropy.org/careers/devops-engineer |
| Hiring notes | — |
| Parsed locations | Fully |
| Posted by | ocfnash |
| Posted | Sep 2, 2025 |
| Source | View on Hacker News ↗ |