51 to 57 of 57 Ada Jobs in the UK

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. … Overview An opportunity is available for an experienced Algorithm/Software Engineer to support the migration of a large, complex legacy algorithm codebase from ADA into MATLAB within a regulated engineering environment. The role sits within a multi-disciplinary team and involves close collaboration with algorithm engineers, technical specialists ...

tools Verification of requirements and evidence review Rapid assimilation of technical information Ability to work as part of a team Desirable Experience writing, interpreting ADA code Specific tools knowledge: IBM Engineering Workflow Management/GIT Sea launched weapons experience Responsibilities: Work alongside algorithm engineers and technical expert to transcode … large, complex legacy algorithm codebase from ADA to Matlab As part of a wider team, define, distribute and review core activities to enable efficient completion of the transcoding within project timeframe. Develop test harnesses and provide robust and extensive testing procedures to ensure equivalence between transcoded code base and legacy ...

Interview process: One stage video interview Job Description: Work alongside algorithm engineers and technical expert to transcode a large, complex legacy algorithm codebase from ADA to Matlab As part of a wider team, define, distribute and review core activities to enable efficient completion of the transcoding within project timeframe. Develop … test harnesses and provide robust and extensive testing procedures to ensure equivalence between transcoded code base and legacy ADA algorithms Follow Code of Practise (CoP) in developing Matlab algorithms to ensure compatibility with auto-coding tools, rectifying/resolving issues and reframing algorithms as necessary to ensure compatibility with tool ...

work together, with our customers and partners. Context Developed at AdaCore, the GNAT DAS tool suite ( includes 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 ...

work together, with our customers and partners. Context Developed at AdaCore, the GNAT DAS tool suite ( includes 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 ...

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

company and industry! You will be involved in: Work alongside algorithm engineers and technical experts to transcode a large, complex legacy algorithm codebase from ADA to MATLAB As part of a wider team, define, distribute, and review core activities to enable efficient completion of the transcoding within project timeframes Develop … test harnesses and provide robust and extensive testing procedures to ensure equivalence between transcoded code base and legacy ADA algorithms Follow Code of Practice in developing MATLAB algorithms to ensure compatibility with auto-coding tools, rectifying/resolving issues and reframing algorithms Build good working relationships with stakeholders, including downstream ...