Location: Guildford, UK   |   Full-Time
C++ Compiler BuildSystems Bazel Rust VSCode Back End Engineer Staff Engineer 
**About Cocotec:** 
Cocotec is a spinout company from the University of Oxford, founded in 2019, specializing in building tools for developers to improve software quality, accelerate delivery, and reduce costs. Their flagship product, Popili, brings automated formal verification to software development, helping developers eliminate errors early in the process. We work with global clients in sectors such as semiconductors, medical, aerospace, and defense.

**About The Role:**
This is an exciting opportunity to join our development team and work on cutting-edge technology that is transforming how software is developed for some of the world's most complex products. You will be working on our implementation of the Coco language and on building the Popili tool.

**Responsibilities:**
- Develop high-quality software using industry best practices.
- Help maintain the build and test environments.
- Identify bugs and produce solutions to them.

**Requirements:**
- Have an undergraduate or higher-level degree in a Computer Science related subject.
- Experience developing software using modern C++, either in a previous job or on personal projects.
- Track record of contributing to large projects.
- Competence using Git or other version-control systems.
- Experience following test-driven development using CI/CD setups.
- Passion for working with new technologies and tools.

**What We Offer:**
- Competitive salary depending on experience.
- Opt-in health insurance.
- Discretionary bonus based on Cocotec's results and personal performance.
- Generous pension contribution.
- 25 days annual leave (in addition to bank holidays).
- Opportunities for partial remote working and flexible working hours.
Post Date: June 23, 2025