Description
Embedded, C++, Requirements Capture, Python, "Jenkins Continuous Integration", Linux, MISRA.One of my key clients in Cambridge are looking for a real-time software design engineer with excellent C/C++ programming skills to join a growing system design and development capability.
You will be working within a small team of software engineers developing products utilised within the context of Air Traffic Control. Prior experience working under a formal verification regime, for example ATM ground systems (ED-109/DO-278), avionic standard DO-178B/ED-12B or working under IEC-61508 would be highly desirable.
- Good C++ experience
- Working under a formal verification regime
- Strong use of Python
- Jenkins continuous integration
- Proven verification experience in a GNU/Linux environment
- Qt4 cross platform library
- SNMP
- Graphical user interface design MATLAB or similar analytical programming language
- Linux kernel device drivers
- MISRA C++
- Embedded SW (ARM, FreeRTOS, LWIP)
If you feel you would be suited to this role please respond with an up to date copy of your CV.