6 of 6 Permanent Ada Jobs in Bristol

Software Engineer

Hiring Organisation
Advanced Resource Managers
Location
Greater Bristol Area, United Kingdom
engaging with requirement authorities to automated proving, supported with effective documentation Experience with new tools, techniques, and approaches Experience in other languages such as Ada, QT Knowledge of DDS and multi-threaded applications Knowledge of standards such as DefStan 00-55, DO-178C or IEC61508 and restricted coding standards such ...

Embedded Software Engineer

Hiring Organisation
Advanced Resource Managers
Location
Greater Bristol Area, United Kingdom
electro-mechanical product running embedded software Good working knowledge of the complete software engineering lifecycle Scripting abilities Embedded software development experience using Ada and/or C/C++. Safety critical systems experience Knowledge of standards such as DefStan 00-55, DO-178C & DO-330 Knowledge of Real Time Operating ...

Software Engineer C++

Hiring Organisation
Gold Group Ltd
Location
Greater Bristol Area, United Kingdom
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 ...

Software Project Leader

Hiring Organisation
MBDA
Location
Bristol, Avon, South West, United Kingdom
Employment Type
Permanent, Work From Home
Salary
£65,000
beneficial if you had: Understanding of technology used in the real time embedded software development. Understanding of SysML/UML and C, C++ or Ada Languages. Experience in working in a high technology environment where the quality and accuracy of work is essential. Awareness of standards such as DefStan ...

Algorithm Software Engineer

Location
Bristol, Gloucestershire, United Kingdom
role in a high-impact project. Youll collaborate with algorithm specialists and technical experts to modernise a critical legacy system by transforming a complex ADA codebase into MATLAB. This is an opportunity to work on cutting-edge technology that underpins national... ...

Internship/Placement - GNAT DAS: AI Automated Fuzz Testing Workflows

Hiring Organisation
AdaCore
Location
Greater Bristol Area, United Kingdom
https://www.adacore.com/dynamic-analysis) includes GNATfuzz (https://www.adacore.com/dynamic-analysis/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 ...