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.

We are seeking an experienced DevOps Engineer to join our team full time. Big Cartel is dedicated to empowering the independent seller with affordable e-commerce tools. We are a 100% independent, bootstrapped, tight-knit team dedicated to our missio…

I'm Andrea, I'm the Group Chief Architect and I lead a team of architects and engineers at UniCredit, a pan-European commercial bank with a unique service offering in Italy, Germany, Austria, and Central and Eastern Europe. We're a global team with …

At Reingold, DevOps isn’t just a support function; it’s a key part of how we deliver high-quality solutions for our clients. You’ll use a code-first approach to define and automate infrastructure, working with cross-functional teams to build systems…

ThreatMark protects >50M end users from financial fraud and saves > $100M every year in losses. We are working with top banks in EU and US to protect their end users. We develop large-behavioral models that recognize returning users by their mouse m…

EliseAI develops cutting-edge conversational AI technology for industries fundamental to our lives: housing and healthcare. Everything is built on the foundation of health and home. Broken systems or ineffective processes in these domains have a dis…