At Formal, we’re rethinking serverless from scratch: we’re building a new computing stack for instant, globally available, truly elastic, soundly isolated execution. We leverage formal methods and languages to build OS interfaces with low overhead, …

We're building the serverless platform that powers millions of developers at the edge. Looking for passionate engineers to shape the future of edge computing. We're at the heart of distributed systems, runtime optimization, and developer experience …

At Continua, we're on our way to solving Social AI, and we're expanding our team! We've built an AI agent that users can invite into group conversations to make planning, coordination, and information retrieval effortless. We're social creatures and…

We make robots that autonomously construct buildings. We are currently developing and manufacturing our autonomous bricklaying system in the beautiful centre of Amsterdam. And our robots are already earning real revenue operating on construction sit…

Nebula is building a modular blockchain stack to make on-chain finance faster, fairer, and more efficient than off-chain. The stack has 3 parts: Execution environment, Privacy protocol, Nebula Exchange. We’re hiring ambitious engineers to join the c…

Cogram is a productivity platform for the architecture, engineering, and construction (AEC) industry. We automate core workflows including meeting notes, site reports, email management, project administration, and RFP bidding. We’re backed by YC, In…