Location: Guildford, UK   |   Full-Time
C++ Compiler BuildSystems Bazel Rust VSCode LLVM 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.

**Responsibilities:**
- Develop high-quality software using industry best practices.
- Help maintain the build and test environments.
- Identify bugs and produce solutions to them.
- Debug and fix issues that are raised by customers.
- Architect complex parts of software and participate in the design process for the overall Popili tool.

**Requirements:**
- Have an undergraduate or higher-level degree in a Computer Science related subject.
- 5+ years of experience in a developer role with C++ being your primary language.
- Experience in one of: developing compilers, programming language design, formal verification, fuzz testing, developing virtualisation software, low-level kernel development, asynchronous stateful event-driven software.
- Track record of contributing to large projects.
- Competence using Git or other version-control systems.
- Experience working in cross-platform projects.
- Experience following test-driven development using CI/CD setups.
- Experience in both reviewing code and having code reviewed.
- 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