1 to 25 of 41 Ada Jobs in the UK

source code conformance specification Familiarity with static analysis tools Desirable Technical Skills: Proficiency in JTAG/ETM Debugging tools C# development experience RUST and Ada SPARK experience Cryptol and SAW experience Proficiency with scripting languages (ruby, groovy, python, Perl, bash, PowerShell) Practical experience in developing applications for Microsoft Windows Computer ...

tools, techniques and approaches that might enable us to evolve our processes to improve our efficiency and sustainability Experience in other languages such as Ada, QT Knowledge of DDS middleware and Real Time Operating Systems Knowledge of standards such as DefStan 00-55, DO-178C or IEC61508 and restricted coding ...

clear documentation. Familiarity with emerging tools, techniques, and methods that can enhance process efficiency and sustainability. Additional programming experience in languages such as Ada and QT. Understanding of DDS middleware and real-time operating systems. Knowledge of industry standards like DefStan 00-55, DO-178C, IEC61508, and restricted coding guidelines ...

deliver software solutions Promote quality code and engage in design and code reviews Strong programming knowledge of C++ (and C#, Java or Ada is a bonus) Previous experience within product design and development with hopefully experience in one of the following: HMI, multithreaded, distributed systems, C2 or simulation & modelling Configuration ...

level programming, including memory management and device driver concepts. Desirable Technical Skills JTAG/ETM debugging experience. C# development experience. Experience with Rust or Ada SPARK. Familiarity with Cryptol or SAW. Scripting languages (Ruby, Groovy, Python, Perl, Bash, PowerShell). Experience developing applications for Windows. Knowledge of computer network security ...

career by joining our dynamic team, where you'll develop innovative cloud solutions using technologies like Java, JavaScript, Sencha EXTJS, Java Spring, C++, and ADA within both Windows and RHEL environments. Work with industry-leading tools such as IntelliJ, Eclipse, GNAT Programming Studio, Jenkins, Bitbucket, Git, SonarQube, and Artifactory ...

tools, techniques and approaches that might enable us to evolve our processes to improve our efficiency and sustainability Experience in other languages such as Ada, QT Knowledge of DDS middleware and Real Time Operating Systems Knowledge of standards such as DefStan 00-55, DO-178C or IEC61508 and restricted coding ...

both embedded and front end software development on a range of platforms, such as Windows and Linux, utilising primarily C, C++ with potential for ADA and some scope for C# and Python dependant on the specific group and team. Learn about the functional and technical robustness of project deliverables. ...

tools, techniques and approaches that might enable us to evolve our processes to improve our efficiency and sustainability Experience in other languages such as Ada Knowledge of standards such as DefStan 00-55, DO-178C or IEC61508 and restricted coding standards such as MISRA C++ Our company: Peace ...

tools, techniques and approaches that might enable us to evolve our processes to improve our efficiency and sustainability Experience in other languages such as Ada Knowledge of standards such as DefStan 00-55, DO-178C or IEC61508 and restricted coding standards such as MISRA C++ Our company: Peace ...

last 5 years. Previous or current SC and DV clearance is highly beneficial. Duties & Experience: Strong programming knowledge of C, C++ or ADA Previous experience within software development for hardware or safety critical testing Work with a multidisciplinary team to create extensible code for new development and to deliver software ...

Your Skills & Experiences Degree or equivalent in Software Engineering/Computer Science Strong software engineering skills with solid foundation in C, C++, C#, or Ada and associated development environments (e.g., GNAT, Greenhills AdaMulti) Practical experience of developing embedded software and test solutions Demonstrated understanding of the full software development lifecycle ...

essential Safety critical systems experience Knowledge of standards such as DefStan 00-55, DO-178C & DO-330 Embedded software development experience using Ada and/or C/C++. Knowledge of Real Time Operating Systems Model Driven Design experience Knowledge of test automation methods Knowledge of DOORS, Engineering Workflow Management ...

essential Safety critical systems experience Knowledge of standards such as DefStan 00-55, DO-178C & DO-330 Embedded software development experience using Ada and/or C/C++. Knowledge of Real Time Operating Systems Model Driven Design experience Knowledge of test automation methods Knowledge of DOORS, Engineering Workflow Management ...

essential Safety critical systems experience Knowledge of standards such as DefStan 00-55, DO-178C & DO-330 Embedded software development experience using Ada and/or C/C++. Knowledge of Real Time Operating Systems Model Driven Design experience Knowledge of test automation methods Knowledge of DOORS, Engineering Workflow Management ...

engineer with transferable talent into software development for test solutions: Strong ability to write software in one of the following languages; C, C++ or ADA and motivated to develop reliable, high performance, standardised and documented software Excellent analytical and design ability, including review and critical analysis ‘Can do' and flexible ...

engineer with transferable talent into software development for test solutions: Strong ability to write software in one of the following languages; C, C++ or ADA and motivated to develop reliable, high performance, standardised and documented software Excellent analytical and design ability, including review and critical analysis 'Can do' and flexible ...

influence on the development and redundancy of technology strategy, products, methods and tooling Experience & Knowledge Strong programming knowledge – C, C++, C# and/or Ada Deep and modern knowledge of Agile development and software design principles, design patterns and best practice Continuous Integration & model based engineering Have experience with influencing ...

influence on the development and redundancy of technology strategy, products, methods and tooling Experience & Knowledge Strong programming knowledge - C, C++, C# and/or Ada Deep and modern knowledge of Agile development and software design principles, design patterns and best practice Continuous Integration & model based engineering Have experience with influencing ...

Embedded Ada Software Engineer (Contract) Location: Stevenage Rate: Up to £70 per hour (umbrella) Clearance: SC required to start (UK-Eyes-Only) Contract: 6 months, likely extension Working Pattern: Fully on-site, compressed week available We're looking for an experienced Embedded Ada Software Engineer to join a busy software … PowerPC-based platforms, contributing to a portfolio of innovative and mission-critical products. What you'll be doing Developing real-time embedded software in Ada Testing embedded software on host and target platforms Creating test requirements, test scripts and documentation Using debuggers, probes, oscilloscopes and logic analysers Supporting integration with ...

data handling Desirable: Experience working on safety critical systems Knowledge of standards such as DefStan 0055, DO178C or DO330 Embedded software development experience in Ada or C or C++ Knowledge of real time operating systems Model driven design experience Familiarity with test automation tools and methods Experience using DOORS ...

with Electronic Engineering, Test Centre of Excellence, and Systems teams to deliver robust test capability Produce reliable, high-performance software in C, C++, or ADA with clear documentation and standards compliance Interpret a range of technical sources including engineering drawings, OEM data, and design safety justifications Contribute to technical verification ...

with Electronic Engineering, Test Centre of Excellence, and Systems teams to deliver robust test capability Produce reliable, high-performance software in C, C++, or ADA with clear documentation and standards compliance Interpret a range of technical sources including engineering drawings, OEM data, and design safety justifications Contribute to technical verification ...

. Key Skillset Essential Substantial experience of managing software-intensive, complex real-time systems (including Operating Systems, middleware, application level), Languages used in project Ada, C++, C# Ability to operate in a large, complex project at engineering management level in a multi-disciplinary, potentially matrix management environment. Knowledge and experience ...

maintainable, high-quality code. Desirable Skills & Experience: · Experience in Defence, Aerospace, Space, Automotive, Rail, Nuclear, Maritime, or other safety-critical industries. · Experience with Java, ADA, Python, or C#. · Exposure to AI/ML frameworks (e.g., TensorFlow, PyTorch), real-time or safety-critical software, DevOps practices, and automation. · Mentoring & Team Leadership ...