LUMICKS is bringing novel tools for single-molecule biophysics and cell avidity to market, enabling scientific researchers across biology and medicine to unlock new types of experiments. We produce z-Movi, a unique instrument that can directly measu…

We are a small team developing software for a handful of customers. We focus on IoT, video streaming and secure remote collaboration tools; as you can guess, it's been a busy year! We use whatever tech we find it's best for the project: C++/Ojb-C/Ja…

Unsupervised is a Data Capitalization Management company. We help organizations find actionable insights in their data so they can make their data more of a measurable asset (think extreme leverage from data science). We do this by using an unsuperv…

Adacore is the maintainer of GNAT, the Ada compiler based originally based on GCC (there now are multiple backends: LLVM, Why3, JVM...). We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal p…

Roblox is ushering in the next generation of entertainment, allowing people to imagine, create, and play together in immersive, user-generated worlds. We are recruiting across multiple teams and positions. We are actively hiring and all interviews a…

We're looking for someone eager to work at the cutting edge of research, helping to develop the next generation of causal and probabilistic programming languages. Get in touch if you're passionate about: - Compilation / program transformations - Pro…