3 of 3 Permanent Ada Jobs in Somerset

strong team-working skills Experience working end-to-end through the software lifecycle, including requirements, testing, and documentation Experience with additional languages such as Ada or Qt Knowledge of DDS and multi-threaded applications Familiarity with safety-critical standards such as DefStan 00-55, DO-178C, or IEC 61508 Experience ...

essential Safety critical systems experience. Knowledge of standards such as DefStan 00-55, DO-178C & DO-330. Embedded software development experience using Ada and/or C/C++. Knowledge of Real Time Operating Systems. Model Driven Design experience. Knowledge of test automation methods. Knowledge of DOORS, Engineering Workflow Management ...

work together, with our customers and partners. Context Developed at AdaCore, the GNAT DAS tool suite ( includes GNATfuzz ( an advanced fuzz testing solution for Ada applications. GNATfuzz was designed to utilize multiple backend fuzz testing solutions, including AFL++, and includes advanced branch-solving algorithms like RedQueen and Symbolic Execution. GNATfuzz … targets and finds bugs in Ada applications and linked C and C++ libraries. GNATfuzz for C is also in development, and GNATfuzz for C++ will follow shortly after. As we start to round out our target programming language support, the next phase in the evolution of this state ...