HN Jobs

Cocotec | Multiple Positions | Hybrid (Guildford/London, UK or Eindhoven NL) | Full-time | https://cocotec.io 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