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.
If you're interested, see https://cocotec.io/careers or email recruitment [at] cocotec.io