When applying for jobs, you should NEVER have to pay to apply. You should also NEVER have to pay to buy equipment which they then pay you back for later. Also never pay for trainings you have to do. Those are scams! NEVER PAY FOR ANYTHING! Posts that link to pages with "how to work online" are also scams. Don't use them or pay for them. Also always verify you're actually talking to the company in the job post and not an imposter. A good idea is to check the domain name for the site/email and see if it's the actual company's main domain name. Scams in remote work are rampant, be careful! Read more to avoid scams. When clicking on the button to apply above, you will leave Remote Hits and go to the job application page for that company outside this site. Remote Hits accepts no liability or responsibility as a consequence of any reliance upon information on there (external sites) or here.
We're a small high-tech spinout of the University of Oxford. We build a tool called Popili that helps developers build event-driven systems by using formal verification to automatically find bugs. To do this we have developed our own programming language called Coco that makes formal verification accessible to non-specialist users. Many of our customers build complex physical machines that are controlled by software where the main controller is written in Coco, our programming language.
We're looking for:
\- Junior and Senior C++ Developers to join our engineering team.
\- A Customer Success Engineer to help onboard users; this would be an exciting role for someone who enjoys technical teaching.
We're looking for people who have experience in ANY of the following:
\- Programming languages
\- Formal verification, in particular model checking
\- Fuzz testing
\- Virtualisation software
\- Asynchronous state-based event-driven software
We are a low-meeting, high-tech, engineering-focused company where we prioritise building high-quality software. We primarily use C++ and Bazel but also write some systems in Rust.
If you're interested, see [https://cocotec.io/careers](https://cocotec.io/careers) or email recruitment \[at\] cocotec.io
Apply for this Job👉 Please reference you found the job on Remote Hits, this helps us get more companies to post here, thanks!