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. The company works with global clients in sectors such as semiconductors, medical, aerospace, and defense. They are headquartered in Guildford, UK, with an office in Eindhoven, NL, and offer hybrid work arrangements. With a passion for software and an obsession with quality, Cocotec focuses on building tools that developers love to use, leveraging modern technologies like C++, Rust, and open-source tools including Bazel and VSCode plugins. They prioritize software quality and developer experience, enabling teams to build reliable systems with less risk and faster delivery cycles. Contact them at recruitment@cocotec.io.