> Markdown version of [/jobs/ext/3280320-software-engineer](https://www.wearedevelopers.com/jobs/ext/3280320-software-engineer). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md). --- # Software Engineer - **Company:** gb Profile 29 - **Location:** Witney, UK (Remote available) - **Salary:** £60,000.0 - **Contract:** Permanent contract - **Skills:** C++ (Programming Language), Embedded Software, Software Architecture, Real-Time Operating Systems, Software Safety, Software Engineering, Software Systems, Verification and Validation (Software), Toolchain, Software Verification, Apache Spark, Safety Critical Systems, Deployment Automation, Formal Methods - **Published:** September 17, 2026 - **Apply:** https://www.totaljobs.com/job/software-engineer/profile-29-job107993733 ## About the Role 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 of software verification and validation methodologies. Desirable / Nice to Have Experience Ada or SPARK Ada development experience. DO-178C software development experience. Automotive (ISO26262 / IEC65108). Aerospace, defence or autonomous systems experience. Flight control systems or avionics software. UAV, UAS, drone or eVTOL platforms. Runtime assurance or autonomy assurance systems. Autopilot technologies such as ROS / ROS2, MAVLINK, PX4, ArduPilot or equivalent. Model-based development and formal methods. ## Description As part of their highly specialised engineering team, you will contribute to the design, development, verification and certification of embedded safety-critical systems that provide assurance and runtime safety functions across autonomous platforms. Their platform is being developed providing mathematically verifiable software foundations suitable for the highest levels of safety assurance. Successful candidates will work across: Safety-critical embedded software development Runtime assurance architectures Autonomous flight safety systems Mission assurance and control systems Verification and validation activities Certification-focused software engineering Safety monitoring and fail-safe architectures Airworthiness and autonomy assurance frameworks Their engineering team is focused on delivering solutions that support highly regulated autonomous operations, including SORA-based operating environments and future certified autonomous aviation systems. Responsibilities Design and 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 to the development of DAL-A and DAL-B capable software solutions. Support integration across mission computers, flight control systems and safety monitoring functions. Participate in software safety analyses and design assurance activities. ## Related Videos - [Code to Road in < 12 hours](https://www.wearedevelopers.com/videos/1082-code-to-road-in-12-hours) - [Building Developer Experience - Brick by Brick](https://www.wearedevelopers.com/videos/1461-building-developer-experience-brick-by-brick) - [PySpark - Combining Machine Learning & Big Data](https://www.wearedevelopers.com/videos/44-pyspark-combining-machine-learning-big-data) - [When testing just doesn’t cut it](https://www.wearedevelopers.com/videos/720-when-testing-just-doesn-t-cut-it) - [Great DevEx and Regulatory Compliance - Possible?](https://www.wearedevelopers.com/videos/1426-great-devex-and-regulatory-compliance-possible) - [The Power of Developer Communities](https://www.wearedevelopers.com/videos/1109-the-power-of-developer-communities) ## Related Articles - [How software is steering vehicle technology](https://www.wearedevelopers.com/magazine/515-how-software-is-steering-vehicle-technology) - [Fully Remote Software Engineer Jobs](https://www.wearedevelopers.com/magazine/447-fully-remote-software-engineer-jobs) - [Is Software Engineering Over-Saturated?](https://www.wearedevelopers.com/magazine/418-is-software-engineering-over-saturated) - [Where To Find Software Engineering Jobs](https://www.wearedevelopers.com/magazine/396-where-to-find-software-engineering-jobs) - [The 12 Best Jobs for Software Engineers](https://www.wearedevelopers.com/magazine/401-the-12-best-jobs-for-software-engineers) - [Is Software Engineering Hard?](https://www.wearedevelopers.com/magazine/448-is-software-engineering-hard)