Cocotec is hiring a
Customer Success Engineer
Job Description
Help onboard users as a Customer Success Engineer. This role is ideal for someone who enjoys technical teaching. 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
Programming Languages
Formal Verification
Model Checking
Fuzz Testing
Virtualisation Software
Asynchronous State-Based Event-Driven Software
Date Listed
03 June, 2025 (26 days 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