> Markdown version of [/jobs/ext/3288089-software-engineer](https://www.wearedevelopers.com/jobs/ext/3288089-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:** Net-recruit Ltd - **Location:** Bampton, UK - **Experience:** Expert - **Salary:** £40,000.0 - £60,000.0 - **Contract:** Permanent contract - **Skills:** C (Programming Language), Java (Programming Language), JavaScript (Programming Language), Amazon Web Services, Systems Engineering, C++ (Programming Language), Embedded Software, Integrated Development Environments, JQuery, Python (Programming Language), Software Architecture, Software Safety, Software Engineering, Software Requirements Analysis, Verification and Validation (Software), Software Verification, Apache Spark, Information Technology, Formal Methods, DO-178B, Programming Languages - **Published:** September 4, 2026 - **Apply:** https://www.reed.co.uk/jobs/software-engineer/57310722 ## About the Role * Strong background in embedded software engineering, ideally within safety-critical or highly regulated environments. * Experience developing software using C, C++, Ada, or similar programming languages. * Previous experience working within safety-critical engineering environments. * Strong understanding of high-integrity software development processes. * Experience developing software for real-time or embedded systems. * Familiarity with relevant safety standards and regulated software development environments. * Good understanding of software verification and validation methodologies. * Experience with Ada or SPARK Ada would be highly advantageous. * Experience developing software in accordance with DO-178C would be desirable. * Experience working within automotive safety standards such as ISO 26262 or IEC 61508 would be beneficial. * Background within aerospace, defence, autonomous systems, or another safety-critical industry would be advantageous. * Experience developing flight control systems or avionics software. * Experience working with UAV, UAS, drone, eVTOL, or other autonomous platforms. * Knowledge or experience of runtime assurance or autonomy assurance systems. * Familiarity with autopilot technologies such as ROS/ROS2, MAVLink, PX4, ArduPilot, or equivalent platforms. * Experience with model-based development, formal methods, or mathematically verifiable software would be beneficial. * Strong analytical and problem-solving skills, with the ability to work through complex software and safety challenges. * Excellent attention to detail and a methodical approach to software development. * Ability to work collaboratively with software, systems, verification, safety, and certification teams. * A genuine interest in autonomous systems, safety-critical software, and next-generation assurance technologies., You will have the opportunity to work on technically challenging projects where software safety, assurance, reliability, and certification are fundamental to successful deployment., * Amazon Web Services (AWS) * C Programming (Using) * C++ Programming (C+E) * Communication Skills (Key) * Information Technology Education * Java Programming (Basics) * JavaScript & jQuery * Python Programming (Beginner) * Software Engineering Job Titles * Teamwork (Teams) ## Description The organisation is developing next-generation assurance technologies designed to support the safe deployment of advanced autonomous systems within highly regulated and safety-critical environments. Working across complex embedded technologies, autonomous platforms, and mission-critical applications, the business is focused on solving some of the most challenging engineering problems around safety, reliability, assurance, and certification. This is an exciting opportunity to join an ambitious engineering environment where your work will contribute directly to the development of technologies designed to make autonomous systems safer, more reliable, and suitable for deployment within demanding regulated environments. Your Role and Responsibilities: While in this position, your duties may include but are not limited to: * Design and develop safety-critical embedded software for autonomous and complex engineering systems. * Develop software components supporting runtime assurance, safety monitoring, and autonomous system safety. * Develop high-integrity software using Ada, SPARK Ada, and associated development toolchains. * Contribute to the definition and development of software architectures suitable for highly regulated and certifiable autonomous systems. * Work closely with software verification, systems, safety, and certification teams throughout the development lifecycle. * Develop software solutions capable of supporting high levels of safety assurance. * Contribute to the development of software suitable for demanding safety and certification requirements. * Support integration across mission computing, control systems, safety monitoring functions, and other embedded platforms. * Participate in software safety analysis and design assurance activities. * Contribute to requirements definition, software design, implementation, integration, and testing. * Support the development of robust fail-safe and safety-monitoring functionality. * Help identify and resolve technical risks associated with embedded and safety-critical software. * Work collaboratively with verification and validation engineers to ensure software meets defined safety and performance objectives. * Contribute to the continual improvement of software development processes, tools, and engineering practices. * Support the transition of software and assurance technologies from early-stage development into scalable operational deployments. * Contribute to the wider development of next-generation autonomous and safety-critical technologies. ## Related Videos - [WeAreDevelopers LIVE - the weekly developer show with Chris Heilmann and Daniel Cranney](https://www.wearedevelopers.com/videos/1309-wearedevelopers-live-the-weekly-developer-show-with-chris-heilmann-and-daniel-cranney) - [PySpark - Combining Machine Learning & Big Data](https://www.wearedevelopers.com/videos/44-pyspark-combining-machine-learning-big-data) - [Psychological Safety in Software Engineering - Jenny-Margrethe Vej & Alexandra Hou Aldershaab](https://www.wearedevelopers.com/videos/2142-psychological-safety-in-software-engineering-jenny-margrethe-vej-alexandra-hou-aldershaab) - [Web development: where are we, and where are we going?](https://www.wearedevelopers.com/videos/524-web-development-where-are-we-and-where-are-we-going) - [Remote Driving on Plant Grounds with State-of-the-Art Cloud Technologies](https://www.wearedevelopers.com/videos/251-remote-driving-on-plant-grounds-with-state-of-the-art-cloud-technologies) - [Let's Get Aggregated: Custom UDAFs in Spark ](https://www.wearedevelopers.com/videos/1649-let-s-get-aggregated-custom-udafs-in-spark) ## Related Articles - [Is Software Engineering Over-Saturated?](https://www.wearedevelopers.com/magazine/418-is-software-engineering-over-saturated) - [Where to Find Entry-Level Software Engineering Jobs](https://www.wearedevelopers.com/magazine/397-where-to-find-entry-level-software-engineering-jobs) - [Best Countries for Software Engineers](https://www.wearedevelopers.com/magazine/267-best-countries-for-software-engineers) - [Fully Remote Software Engineer Jobs](https://www.wearedevelopers.com/magazine/447-fully-remote-software-engineer-jobs) - [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)