Coder is on a mission to build enterprise software that makes software developers’ lives easier and keeps them in flow. Our cloud development environment enables customers to securely spin up ephemeral workspaces where developers and AI coding agent…

Prior Labs is building foundation models for structured/tabular data – AI's biggest blind spot. While LLMs handle text/images, tables (numbers, categories, text mix) need native understanding. Our approach, TabPFN (published in Nature, 1M+ downloads…

We are looking for an experienced software engineer to work with directly with our CTO on our new product line, focused on automated decision making. The ideal candidate is a motivated product builder who can innovate and deliver complex features. O…

We're combining LLMs and transpilers to translate COBOL into Java. If you’re a Rust developer with experience working with compilers or transpilers, this role could be a great fit. Come and build a system that helps the largest companies modern…

We are a team of ~20 people, building cutting-edge open-source tools for confidential computing and a 'confidential GenAI' service on top of those. Our products span unusually far across the tech stack, starting at measured boot, through Kubernetes …

At the beginning, AdaCore was the company behind GNAT, GCC’s Ada front-end. We’ve built a whole ecosystem (formal proof tooling, static analyzers, fuzzers, coverage tools, build tools, IDEs…) for the Ada language and are now aiming to become the 'on…