25 of 25 Permanent Ada Jobs in England

clear documentation. Familiarity with emerging tools, techniques, and methods that can enhance process efficiency and sustainability. Additional programming experience in languages such as Ada and QT. Understanding of DDS middleware and real-time operating systems. Knowledge of industry standards like DefStan 00-55, DO-178C, IEC61508, and restricted coding guidelines ...

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 ...

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 ...

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 ...

tools, techniques and approaches that might enable us to evolve our processes to improve our efficiency and sustainability Experience in other languages such as Ada Knowledge of standards such as DefStan 00-55, DO-178C or IEC61508 and restricted coding standards such as MISRA C++ Our company: Peace ...

essential): • Exposure to safety-critical systems • Familiarity with standards such as DefStan 00-55 or DO-178C/DO-330 • Embedded development experience in Ada and/or C/C++ • Understanding of real-time operating systems • Model-driven development or test automation • Tools like DOORS, EWM, Rapita Suite, Rhapsody ...

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 ...

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 ...

software, including system and hardware challenges What they are looking For Software or Electronics Engineer with strong transferable skills Experience in C, C++ or Ada Strong analytical and design skills Proactive, flexible, “can-do” mindset Excellent communication and stakeholder engagement Why Apply? Join them on this journey of groundbreaking technology ...

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 ...

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 ...

maintainable, high-quality code. Desirable Skills & Experience: · Experience in Defence, Aerospace, Space, Automotive, Rail, Nuclear, Maritime, or other safety-critical industries. · Experience with Java, ADA, Python, or C#. · Exposure to AI/ML frameworks (e.g., TensorFlow, PyTorch), real-time or safety-critical software, DevOps practices, and automation. · Mentoring & Team Leadership ...

Contract Software Engineer (Ada) Real-Time Embedded Location: Luton (Hybrid 4 days on-site) Contract Length: 12 months IR35: Inside IR35 Rate: £57.72 p/h PAYE (£66.11p/h inc. holiday rate) OR £78.70 p/h Umbrella We seek an engineer with recent high-integrity or safety-critical ...

Algorithm/Software Engineer (MATLAB/ADA) Location: Bristol (site based) Rate: PAYE: £49.70/hour PAYE (£56.93/hour incl. holiday) or £65/hour Umbrella We seek an engineer with recent high-integrity or safety-critical industry experience (defence, aerospace, or similar), or eligible for UK security clearance. ...

Embedded Ada Software Engineer – Real-Time Datalink Working Pattern: Hybrid – 4 days on-site Security Clearance: British Citizen or Dual UK National The Opportunity Join my Client's Real-Time Datalink Software team and help develop airborne communication software for missiles and platforms. This is a hands-on embedded role … where you’ll: Capture requirements and define embedded software architecture Implement hard real-time systems in Ada Conduct verification, testing, and code reviews Work with Hardware, Firmware, Systems, and Test Engineers Help shape the future of Datalink protocols and technical design You’ll gain experience with state ...

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... ...

Principal Software Engineer (ADA/C# .NET) **Please note we can only consider sole UK Nationals for this role** Location: Luton (Hybrid: 4 days on-site, 1 day remote) Contract: 12 months IR35: Inside IR35 Security Clearance: Full UK SC required Day Rate: £70ph - £75ph About the Role A real … time embedded software engineer with knowledge of Ada/C# .NET is required in support of defensive aids development programmes within the Electronic Warfare business. The role includes design, development, test and support of current and future programs across our Praetorian product line. What You'll Do Support the specification ...

Principal Software Engineer (ADA/C# .NET) **Please note we can only consider sole UK Nationals for this role** Location: Luton (Hybrid: 4 days on-site, 1 day remote) Contract: 12 months IR35: Inside IR35 Security Clearance: Full UK SC required Day Rate: £70ph - £75ph About the Role A real … time embedded software engineer with knowledge of Ada/C# .NET is required in support of defensive aids development programmes within the Electronic Warfare business. The role includes design, development, test and support of current and future programs across our Praetorian product line. What You’ll Do Support the specification ...

it. Whatfix is an Equal Opportunity Employer and an E-Verify participant. All activities must comply with our Equal Opportunity Laws, ADA, and other regulations, as appropriate. We are an equal opportunity employer and value diverse people because of and not in spite of the differences. We do not discriminate ...

it. Whatfix is an Equal Opportunity Employer and an E-Verify participant. All activities must comply with our Equal Opportunity Laws, ADA, and other regulations, as appropriate. We are an equal opportunity employer and value diverse people because of and not in spite of the differences. We do not discriminate ...

Embedded Software Engineer (Real-Time Ada) Location: Stevenage Salary: Circa £65,000 depending on experience, plus bonus and benefits A leading UK defence organisation is expanding its Real-Time Datalink Software team and seeks an experienced Embedded Software Engineer to develop cutting-edge communications for missiles and platforms. This hands … verification. What you will be doing Capturing requirements and designing embedded software architecture for hard real-time datalink protocols. Implementing and verifying code in Ada, optimising for lab-tested performance with test equipment like scopes. Integrating with multi-disciplinary teams to troubleshoot software/hardware issues and analyse system performance. ...

developing structured test cases from requirements, executing tests in lab environments, and providing actionable feedback. Experience with embedded software programs in C, C++, and Ada, especially within RTOS contexts, is highly valued. Knowledge of verification standards (such as DEFStan 00-55, DO-178C, DO-330), modelling, test automation, and safety … give you a distinct edge. If you have a background in verification and validation within embedded software environments, particularly with experience in C, C++, ADA, and real-time systems, we would be delighted to hear from you. ...

Security clearance – please only apply if suitable Key Responsibilities: Support the specification, design, coding, and testing of complex real-time embedded software in Ada , producing mission-critical quality software, to high integrity levels, company standards and customer requirements. Take ownership of complex tasks across the full software lifecycle from requirements … systems engineering teams, working closely across disciplines to develop robust solutions whilst maintaining independence in your work. Required Skillset: Expert knowledge of the Ada software language, including OO design principles. Expert capability in debugging in an embedded real-time environment with a COTS RTOS. Good knowledge of UML. Expert knowledge ...

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 ...

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 ...