Terms of servicePrivacy policy

Posted on Jun 3, 10:173 viewed

Junior C++ Developer

United Kingdom of Great Britain and Northern Ireland , Guildford/London
Hybrid
Not specified
Visit company website

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.