Mathlib Initiative

Stream: job postings

[Johan Commelin]

The Mathlib Initiative is preparing for launch and building our team! We're hiring Mathematical Research Engineers (part-time contractor, perfect for current Mathlib contributors) and a DevOps Engineer (full-time) to help scale the infrastructure that supports the entire formal mathematics ecosystem. Both roles work closely with existing maintainers and the broader community to amplify volunteer efforts. Applications due September 14. Questions: johan@renphil.org