At Formal Land we apply formal verification to everyday-life programs. Our key technique is to translate programming code into similar formal Coq code, and do our formal specifications/proofs directly on it. As our main customer, we are formally ve…

Evee aims to make stronger teams and foster inclusiveness at the workplace with software that allows corporate planners to seamlessly book and customize experiences. Our customers say that they come for our marketplace of event providers, everything…

BuildBuddy was founded to give anyone a "Google-style" development environment in minutes. Today we're solving a small piece of this problem with an open-core remote build execution platform for Bazel - but our ambitions are much larger. Our mission…

Makelog is building a modern release communication platform for fast-moving companies. We’re on a mission to help technical and nontechnical teams row in the same direction, enabling them to deliver customer value faster and more effectively. To lea…

Paperless is setting a new standard for electronic document workflows! We're looking for multiple roles to join our team onsite in Frankfurt, Germany or remote (EU)

We are a small startup making web ads a more private transaction between user, advertiser and publisher by executing audience modelling directly in the browser. We are looking for product driven people who care about understanding the domain, our cl…