Careers
We're always interested to hear from brilliant people, so if you think you could add value to our organisation, please send us your CV with a covering letter telling us why you think you'd be a good fit.
Current vacancies
About Cocotec
Cocotec is a spinout company from the University of Oxford, headquartered in Guildford, UK. As software increasingly becomes a barrier to innovation and growth in many industries, our mission is to enable the opposite. With a passion for software and an obsession with quality, we specialise in building tools that can dramatically improve the reliability of software, reduce cost, enable innovation and developers love to use.
Our software tools allow developers to build their software, automatically verify whether it is correct, and then generate high quality reliable runtime code. Building on innovative academic research, we have developed some of the world’s most advanced scalable formal verification tools and techniques to automatically find a broad range of complex software errors, some of which are well-known to be extremely difficult to find using traditional testing practices. We work with companies across sectors, including high-tech manufacturing, electronics, aerospace and defence. Our launch product is Popili for Eclipse, which allows users to: write their software using a new programming language we have developed called Coco; automatically verify whether it is correct using our in-house formal verification tool Cosmos; and then generate code in C++ to allow users to deploy their software into production.
We have an exciting technology stack, with the frontend plugin written in Java, and the backend Coco-language technology and verification tool written in C++. We use many open-source technologies building our tools including: Bazel, Eclipse, gRPC; Kubernetes; Language Server Protocol; LLVM; Spring; and Vault. Cocotec was launched in July 2019, and we are at the beginning of an exciting journey of growth. We are seeking to build our team with highly talented and motivated developers, who share our passion for building great software!