> Markdown version of [/jobs/ext/1492834-senior-embedded-software-engineer](https://www.wearedevelopers.com/jobs/ext/1492834-senior-embedded-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).

---

# Senior Embedded Software Engineer

- **Company:** YT Technologies
- **Location:** Oxford, UK
- **Experience:** Expert
- **Salary:** £45,000.0 - £60,000.0
- **Contract:** Permanent contract
- **Skills:** Application Frameworks, C++ (Programming Language), Embedded Software, Formal Verification, Software Safety, Software Engineering, Real Time Systems, Formal Methods
- **Published:** July 30, 2026
- **Apply:** https://jobsthamesvalley.co.uk/jobs/apply/ats-redirect/?id=2899171505-2

## About the Role

* Safety-Critical Background: Extensive hands-on experience in software engineering for high-consequence or regulated environments.
 * Embedded & Real-Time Systems: Strong understanding of embedded systems architecture, real-time operating constraints, and hardware-software interaction.
 * Rigorous Engineering Standards: Practical knowledge of high-integrity development lifecycles and strict software safety processes.
 * Systems Languages: Proficiency in low-level, high-reliability languages (e.g., C, C++, Ada, or formal verification languages).

Desirable Experience

 * Experience with formal methods or mathematically verifiable software frameworks.
 * Exposure to high-level system safety standards across any regulated industry (e.g., medical devices, energy, transportation, industrial automation, robotics).
 * Background in developing continuous safety monitoring or fail-safe override systems.
 * Familiarity with model-based system engineering.

## Description

My client are developing advanced assurance software to ensure complex, automated systems operate safely and reliably in high-stakes environments., They are seeking a Senior Embedded Systems Engineer with a deep background in safety-critical software development. In this role, you will help design, build, and verify the core software foundations responsible for continuous monitoring, fail-safe logic, and high-integrity system control., * Safety-Critical Development: Design, write, and verify high-integrity embedded software for complex operational platforms.

 * System Safeguards: Build real-time monitoring functions, fail-safe architectures, and runtime assurance mechanisms.
 * High-Assurance Architecture: Contribute to software designs built specifically to pass rigorous compliance and audit standards.
 * Verification & Validation: Execute comprehensive testing, formal safety analyses, and verification activities to mathematically prove software correctness.
 * Core Integration: Ensure seamless integration between primary control hardware, executive compute nodes, and safety oversight functions.


## Related Videos

- [Building a hypercar from scratch](https://www.wearedevelopers.com/videos/607-building-a-hypercar-from-scratch)
- [When testing just doesn’t cut it](https://www.wearedevelopers.com/videos/720-when-testing-just-doesn-t-cut-it)
- [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)
- [Security Pitfalls for Software Engineers](https://www.wearedevelopers.com/videos/726-security-pitfalls-for-software-engineers)
- [How to develop an autonomous car end-to-end: Robotic Drive and the mobility revolution](https://www.wearedevelopers.com/videos/22-how-to-develop-an-autonomous-car-end-to-end-robotic-drive-and-the-mobility-revolution)
- [The Algorithm That Nearly Killed Me: When Testing Isn't Enough](https://www.wearedevelopers.com/videos/2110-the-algorithm-that-nearly-killed-me-when-testing-isn-t-enough)

## Related Articles

- [Is Software Engineering Over-Saturated?](https://www.wearedevelopers.com/magazine/418-is-software-engineering-over-saturated)
- [How software is steering vehicle technology](https://www.wearedevelopers.com/magazine/515-how-software-is-steering-vehicle-technology)
- [The Best X (Twitter) Accounts for Developers](https://www.wearedevelopers.com/magazine/294-the-best-x-twitter-accounts-for-developers)
- [What is Software Engineering?](https://www.wearedevelopers.com/magazine/289-what-is-software-engineering)
- [Where to Find Entry-Level Software Engineering Jobs](https://www.wearedevelopers.com/magazine/397-where-to-find-entry-level-software-engineering-jobs)
- [Where To Find Software Engineering Jobs](https://www.wearedevelopers.com/magazine/396-where-to-find-software-engineering-jobs)