Embedded Software Engineer

Embedded C/C++ Software Engineers - Belper, Derbyshire We have several fantastic opportunities for Senior and Mid-Level Embedded C/C++ Software Engineers to join an experienced and highly skilled team developing and testing innovative products and systems on the cutting edge of Cyber Security. Ideal candidates should be able to demonstrate strong design and coding skills, a desire to explore ideas, and, above all, have a passion for quality. Security will be paramount in development so this role will suit a candidate wanting 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 quality source code conformance specification * Familiarity with static analysis tools Desirable Technical Skills: * Proficiency in JTAG/ETM Debugging tools * C# 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 in ARM based architectures These roles require candidates to be a British Citizen as well as obtaining and retaining an unconditional DV security clearance. Remuneration: * £40,000 - £75,000 * Pension * Flexible working hours. * A comprehensive relocation package is available Location: Belper, Derbyshire If you think you’ve got what it takes, we’d love to hear from you