1 of 1 Computer Science Jobs in Belper

to build a career in developing high-integrity software, aligned to functional correctness, predicated upon formally defined specifications. Required Technical Skills/Qualifications: Degree qualified with a BSc in Computer Science or equivalent STEM subject Experience in Software Unit Test automation and tools (LDRA, Parasoft etc Embedded C/C++ development skills Familiarity with MISRA compliance or similar … development experience RUST and Ada SPARK experience Cryptol and SAW experience Proficiency with scripting languages (ruby, groovy, python, Perl, bash, PowerShell) Practical experience in developing applications for Microsoft Windows Computer network security and vulnerability analysis Conversant with IP standards Multi-threaded RTOS and bare metal embedded experience Background in a range of CPU/MPU’s with practical experience More ❯