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…

At Konvu, we’re on a mission to make security invisible. As we move towards a future dominated by code automatically generated, tested, and deployed by AIs, we need a new paradigm for application security. We need vulnerabilities to be automatically…