15 of 15 Permanent Ada Jobs in the UK

engaging with requirement authorities to automated proving, supported with effective documentation Experience with new tools, techniques, and approaches Experience in other languages such as Ada, QT Knowledge of DDS and multi-threaded applications Knowledge of standards such as DefStan 00-55, DO-178C or IEC61508 and restricted coding standards such ...

electro-mechanical product running embedded software Good working knowledge of the complete software engineering lifecycle Scripting abilities Embedded software development experience using Ada and/or C/C++. Safety critical systems experience Knowledge of standards such as DefStan 00-55, DO-178C & DO-330 Knowledge of Real Time Operating ...

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 Knowledge of standards such as DefStan 00-55, DO-178C or IEC61508 and restricted coding standards such as MISRA C++ Our company: Peace ...

essential): • Exposure to safety-critical systems • Familiarity with standards such as DefStan 00-55 or DO-178C/DO-330 • Embedded development experience in Ada and/or C/C++ • Understanding of real-time operating systems • Model-driven development or test automation • Tools like DOORS, EWM, Rapita Suite, Rhapsody ...

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

beneficial if you had: Understanding of technology used in the real time embedded software development. Understanding of SysML/UML and C, C++ or Ada Languages. Experience in working in a high technology environment where the quality and accuracy of work is essential. Awareness of standards such as DefStan ...

that you can produce accurate and cost effective estimates of work to be undertaken Understanding of UML and C, C++ and/or Ada Languages. Our company: Peace is not a given, Freedom is not a given, Sovereignty is not a given MBDA is a leading defence organisation. ...

Embedded Ada Software Engineer – Datalink Systems Real-Time Embedded Systems | Defence Technology | Career Development We’re looking for an experienced Embedded Ada Software Engineer to join a team developing next-generation datalink systems. This is a hands-on role covering the full software lifecycle, from requirements capture and architecture … technical design.A high level of security clearance is required for this role.Day to Day: Capture requirements and contribute to embedded software architecture & design in Ada Implement and maintain mission-critical systems using Ada Perform verification through reviews and testing of Ada components Collaborate with multi-disciplinary teams including Software, Firmware ...

Algorithm/Software Engineer (MATLAB/ADA) Location: Bristol (site based) Rate: PAYE: £49.70/hour PAYE (£56.93/hour incl. holiday) or £65/hour Umbrella We seek an engineer with recent high-integrity or safety-critical industry experience (defence, aerospace, or similar), or eligible for UK security clearance. ...

technical hands-on role and will involve all aspects of the software life cycle: Requirements capture Embedded Software Architecture & Design Implementation in ADA Verification (Reviews & Testing) As well as working with other Software Engineers in the team you will also be encouraged to work closely with Firmware Engineers, Systems Engineers … Hardware Engineers, Test Engineers and respective leads. This is a great opportunity for an experienced embedded ADA Software Engineer to join our team to develop current and future datalink systems and their associated protocols. Working as a software engineer as part of a multi-disciplinary team (hardware/software/ ...

World Class Defence Organisation based in Bristol is currently looking to recruit 2x Embedded ADA Software Engineer subcontractors on an initial 12 month contract. The role will likely be required to be onsite, but it can be worked on a 4-day week basis. Please ensure you read the below … overview and requirements for this employment opportunity completely. Essential - ADA, Background in safety critical software. Desirable - Linux, Doors, Dimensions, UML, Mascot xkybehq etc. Contract Duration: 12 Months initial Please click on the apply button to read the full job description ...

it. Whatfix is an Equal Opportunity Employer and an E-Verify participant. All activities must comply with our Equal Opportunity Laws, ADA, and other regulations, as appropriate. We are an equal opportunity employer and value diverse people because of and not in spite of the differences. We do not discriminate ...

We have a great opportunity for a skilled and adaptable Verification and Validation (V&V) Test Engineer to join our Real-Time Embedded software department! Salary : Circa £64,000 depending on experience Dynamic (hybrid) working ...

https://www.adacore.com/dynamic-analysis) includes GNATfuzz (https://www.adacore.com/dynamic-analysis/gnatfuzz), an advanced fuzz testing solution for Ada applications. GNATfuzz was designed to utilize multiple backend fuzz testing solutions, including AFL++, and includes advanced branch-solving algorithms like RedQueen and Symbolic Execution. GNATfuzz … targets and finds bugs in Ada applications and linked C and C++ libraries. GNATfuzz for C is also in development, and GNATfuzz for C++ will follow shortly after. As we start to round out our target programming language support, the next phase in the evolution of this state ...