Senior Embedded Software Engineer

YT Technologies; Oxford; On-site; GBP 45,000 - 60,000; Full time

Job summary

YT Technologies in Oxfordshire is seeking a Senior Embedded Software Engineer to design, build and verify high-integrity embedded software for safety-critical systems that operate in high-stakes environments. You will drive the core software foundations responsible for continuous monitoring and fail-safe logic, contributing to system safety and reliability.

The role emphasizes rigorous verification, formal safety analyses, and adherence to strict development lifecycles; you will shape the

Qualifications

• Safety-critical software development experience in high-consequence environments
• Strong embedded systems & real-time constraints knowledge
• Experience with high-integrity development lifecycles and safety processes
• Proficiency in low-level languages (C, C++, Ada) or formal verification languages

Responsibilities

• Design, write, and verify high-integrity embedded software for complex platforms
• Build real-time monitoring, fail-safe architectures, and runtime assurance mechanisms
• Contribute to high-assurance software designs to meet compliance/audit standards
• Perform verification & validation, formal safety analyses, and prove software correctness
• Ensure seamless integration between control hardware, compute nodes, and safety functions

Skills

Safety-Critical

Embedded & Real-Time

Rigorous Standards

Systems Languages

Job description

Senior Embedded Software Engineer

Oxfordshire

£45,000-£60,000

About the Role

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.

If you specialise in building software where failure is not an option, this role is for you.

Key Responsibilities

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

Must-Have Experience

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