Cocotec

We're a small high-tech spinout of the University of Oxford. We build a tool called Popili that helps developers build event-driven systems by using formal verification to automatically find bugs. To do this we have developed our own programming language called Coco that makes formal verification accessible to non-specialist users. Many of our customers build complex physical machines that are controlled by software where the main controller is written in Coco, our programming language. We're looking for Junior and Senior C++ Developers to join our engineering team. A Customer Success Engineer to help onboard users; this would be an exciting role for someone who enjoys technical teaching. We're looking for people who have experience in ANY of the following: Programming languages, Formal verification, in particular model checking, Fuzz testing, Virtualisation software, Asynchronous state-based event-driven software. We are a low-meeting, high-tech, engineering-focused company where we prioritise building high-quality software. We primarily use C++ and Bazel but also write some systems in Rust.