5 of 5 Remote/Hybrid Ada Jobs in the South East

relevant engineering discipline. Demonstrable experience of architecting, designing and delivering software solutions Competency in at least one of C, C++, Python or Ada Demonstrated high levels of motivation, integrity, and professionalism Flexibility, innovation, and commitment to delivery in fast-paced environments Knowledge of UML and/or DO-178C ...

week on-site (Commutable from Oxford, Carterton, Burford, Chipping Norton, Faringdon, Abingdon, Swindon and Cirencester) £50,000 - £60,000 + Hybrid Working + SPARK Ada Training + Formal Methods Exposure + Technical Ownership Are you an Embedded Software Test Engineer or Software Verification Engineer from a safety-critical or regulated ...

+ Specialist Training + Technical Progression + High Ownership + Hybrid Working Are you an Embedded Software Engineer with experience in C, C++ or Ada looking to develop safety-critical technology for next-generation autonomous systems? This is an excellent opportunity to join an early-stage, mission-led engineering business … architecture. You will work closely with verification and certification engineers to support future DO-178C DAL A/B objectives. Specialist training in SPARK Ada will be provided. Previous safety-critical or aerospace experience would therefore be beneficial but is not essential for an accomplished embedded engineer who wants ...

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

testing such as Functional, Non-Functional and Integration TestingProven track record in developing Software solutions using 1st (1GL) through 3rd (3GL) generation languages (e.g. ADA 83/95, C, C++) Proven Experience using Waterfall and V model development modelsProven experience delivering solutions on Linux type operating systemsExperience of using development … real-time and/or safety-related softwareKnowledge of modelling languages (e.g. SysML, UML)Knowledge of procedural and object orientated software development languages (e.g. Ada, C, C++ & Java)Knowledge of scripting languages (e.g. Python)Knowledge of COTS integration technologies (e.g. Apache)Working with large-scale and complex integration programmesExperience with ...