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
None at the moment, but we're always interested to hear from highly talented and motivated developers, who share our passion for building great software.
About Cocotec
Cocotec is a spinout company from the University of Oxford, which was launched in 2019 and is 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 have an exciting technology stack, and we use many open-source technologies building our tools including: Bazel, Eclipse, gRPC; Kubernetes; Language Server Protocol; LLVM; Spring; and Vault.