Cocotec is hiring a
C++ Developer
Job Description
Join the engineering team as a Junior or Senior C++ Developer. Work on building high-quality software using C++ and Bazel, with some systems in Rust. Experience in programming languages, formal verification, model checking, fuzz testing, virtualisation software, or asynchronous state-based event-driven software is desirable.Remote
Remote Conditions
Hybrid work in Guildford/London, UK or Eindhoven, NL.
Salary
Not Specified
Benefits
.
Tech Tags
C++BazelRustProgramming LanguagesFormal VerificationModel CheckingFuzz TestingVirtualisation SoftwareAsynchronous State-Based Event-Driven Software
Date Listed
03 June, 2025 (about 1 month ago)
Cocotec
Cocotec is a small high-tech spinout of the University of Oxford. They build a tool called Popili that helps developers build event-driven systems by using formal verification to automatically find bugs. They have developed their own programming language called Coco that makes formal verification accessible to non-specialist users. Many of their customers build complex physical machines controlled by software where the main controller is written in Coco.
Cocotec has 1 other job listed