6 of 6 Contract Ada Jobs

within airborne software development. However, candidates from other safety-critical environments, including defence, rail and medical devices, are also encouraged to apply. Experience with Ada or Rust may also be considered where supported by relevant embedded software development experience. What's on Offer? Salary: Circa £45,000, with flexibility depending ...

customer sites, generally Bristol and SW. • Is comfortable with suitable coding languages for OST/Malware development (C, C#, Python, JS, Go, Rust, Ada, Java).? Desirable • Experience working within Defence, MOD or other high-assurance environments. • Understanding of frameworks such as MITRE ATT&CK, CAF or NIST. • Experience designing ...

cloud exploitation, malware development, detection evasion, operational security, physical security testing or adversary emulation. Proficiency in scripting or development languages such as Python, Java, Ada, C, C#, JavaScript, Go or Rust, with Python and Java particularly desirable. Experience developing tools, automation or bespoke offensive security capabilities. Understanding of security frameworks ...

World Class Defence Organisation based in Bristol is currently looking to recruit an ADA Software Engineer subcontractor on an initial 6 month contract, with very likely extension. The role will be onsite 4 days per week. A 4 day working week is OK (Monday to Thursday). Rate: £70.00 … little supervision. Responsibilities: To undertake a full range of engineering activities in line with relevant processes, quality and other requirements. The role will involve Ada code development and verification. The role will involve software V&V, primarily using target-based equipment containing the software under test and complex simulations ...

develop safety-critical embedded software for autonomous systems. Build software components supporting runtime assurance and autonomous system safety. Develop high-integrity software using SPARK Ada and associated toolchains. Support software architecture definition for certifiable autonomous systems. Work closely with verification and certification teams to achieve regulatory compliance. Contribute … their platform from prototype capability to enterprise deployment. Must-Have Experience Strong background in embedded, real-time software engineering. Experience working with C, C++, Ada or similar languages. Experience working within safety-critical environments. Knowledge of high-integrity software development processes. Familiarity with safety standards and regulated development environments. Understanding ...

environments. Supporting software safety analysis and assurance activities. Collaborating with multidisciplinary engineering teams. Essential Experience Strong embedded software engineering background. Experience with C, C++, Ada or similar programming languages. Experience working with real-time or embedded systems. Exposure to safety-critical or high-integrity software development. Understanding of software verification … validation. Familiarity with regulated engineering environments and safety standards. Desirable Experience Ada or SPARK development. Aerospace, defence or automotive engineering. DO-178C, ISO 26262 or IEC 61508. Avionics, flight control or mission systems. UAV, UAS, robotics or autonomous platforms. Formal methods and model-based development. Safety assurance and certification processes. ...