Senior C++ Developer

Стек

Откликнуться

Загрузите резюме — мы свяжем вас с работодателем напрямую через нашу базу.

Описание

About the role Location: Guildford, United Kingdom Contract type: Full-time 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. This role will involve working on our implementation of the Coco language and on building the Popili tool. Popili is a tool that helps users build and ensure the correctness of event-driven software by using a combination of formal verification and testing techniques. Depending on your experience, working on Popili could involve: Adding new features to the Coco programming language which would involve working on our compiler frontend, which includes components such as a parser and a typechecker. Building high-quality code generators to convert Coco into C++ or other programming languages to enable users to run their Coco programs in production. Writing user-facing tools that allow our users to work enjoyably with Coco, such as automatic formatters, code completion (we support the language server protocol), visualisers or even simulators to help users understand the code they’ve written before executing even a line of it in production. Working on our advanced formal verification engine and considering how to efficiently and automatically verify properties that users are interested in, or how to provide the user with clear actionable feedback. Writing tools that can automatically test complex event-driven software.

Контакты работодателя (email/phone/telegram) скрыты из публичного превью — отправьте резюме, чтобы мы связали вас напрямую.