Comment by tomgr3
4 days ago
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
You see, wanted to apply immediately but saw that you require a cover letter. Now I have to postpone applying, wait until I write a nice cover letter. Meanwhile, I continue applying and interview processes with those companies who required only CV and responded promptly. I might never get back to your company at all. That's the cost of the friction in your application process.
Wow, your life sounds very difficult.