23 of 23 Ada Jobs in Bristol

techniques and approaches that might enable us to evolve our processes to improve our efficiency and sustainability Proven ability 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 ...

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

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

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

Infinity Systems Engineering Ltd. is aBristol basedSystems and Safety Engineering Consultancy focused on the successful delivery of engineering projects in multiple sectors. Were a growing company at the forefront of cutting-edge defence engineering. Were ...

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 and multi-threaded applications. Knowledge of standards such as DefStan 00-55, DO-178C or IEC61508 and restricted coding standards such ...

open approach to development, with the ability to work effectively within a team and maintain delivery momentum Desirable: Experience with additional languages such as Ada and Qt Knowledge of DDS and multi-threaded application development Familiarity with safety-critical or high-integrity standards such as DefStan 00-55 , DO-178C ...

available on both a contract and permanent basis. What You'll Be Doing Design, develop, and maintain software using C++ and/or ADA Contribute to real-time, embedded, or safety-critical systems Produce high-quality, maintainable code aligned with defence and safety standards Participate in requirements analysis, software architecture … ensure compliant delivery Produce supporting documentation in line with regulated engineering environments What We're Looking For: Strong experience in C++ and/or ADA Background in embedded, real-time, or safety-critical software development Understanding of structured software development lifecycles (V-Model or similar) Experience working in regulated ...

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++. Advantageous: Safety critical systems Knowledge of standards such as DefStan 00-55, DO-178C & DO-330 Knowledge of Real Time Operating ...

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

Embedded ADA Software Engineer (3168-1) JOB LOCATION: BRISTOL SECURITY CLEARANCE LEVEL: SC needed to start- UKEO DURATION: 12+ Months WORK PATTERN: Fully Onsite; Open to 4 Days Compressed Possible PAY RATE: 65 - 68 Per Hour Umbrella Inside IR35 TARGET INDUSTRIES AND COMPANIES. Is Defence a must? If not what … industries can be considered Ideally- Defence & Aerospace Open to others with similar processes- Nuclear, Medical or Rail etc. Essential Skillset & Tools Essential- ADA, Background in safety critical software. Desirable- Linux, Doors, Dimensions, Rhapsody, UML, Mascot etc. Overview: We work on technology that is at the forefront of European missile system ...

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 DDS middleware and Real Time Operating Systems Knowledge of standards such as DefStan 00-55, DO-178C or IEC61508 ...

opportunity has arisen with my client for a Embedded Ada Software Engineer to join them on an initial 12 -month contract. As the Embedded Ada Software Engineer you will work across the entire software engineering lifecycle, from discussing requirement change with the Systems team, all the way to being involved … with qualification and software releases. Role: Embedded Ada Software Engineer Pay: £68 per hour via Umbrella Company Location: Bristol Contract: 12 Months Hours: Monday - Friday, 37 hours per week Security Clearance: Security Clearnce to start, UK Eyes only project Responsibilites Develop and maintain safety-critical command and control (C2) software ...

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

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

Ada Developer for Maritime Missile Command & Control Overview of department: We work on technology that is at the forefront of European missile system design, delivering safe, secure, and reliable products to our customers. The System software department covers all aspects of command and control software (C2) for both land … requirement change with the Systems team, all the way to being involved with qualification and software releases. Skillset/experience required: Essentials: Experienced in Ada SC cleared Solid background in Safety critical SW from Def, aero, rail, nuclear or medical sectors. The development is Safety critical, so a high standard ...

Rate: 68ph UMB (Inside IR35) Role details: Our client, a key player in the Defence & Security sector, is currently seeking an SC Cleared, Embedded Ada Software Engineer to join their team on a contract basis in Bristol. This is an exciting opportunity to be involved in the development of cutting … documentation for safety-critical software Involvement with qualification and software releases Supporting the development of advanced maritime air defence systems Job Requirements: Proficiency in Ada programming Security Clearance (SC) required to start Strong background in safety-critical software, ideally within defence, aerospace, rail, nuclear or medical sectors Experience with high ...

Embedded Software Engineer (ADA) 12 month contract Based in Bristol Offering £68ph Inside IR35 Do you have experience in ADA? Do you have experience across the entire software engineering lifecycle? Do you want to work with an industry-leading company? If your answer to these is yes, then this could … role for you! As the Embedded Software Engineer (ADA), you will be working alongside a market-leading Defence and Aerospace company who are constantly growing and developing. They are always looking to bring on new talents such as yourself and further develop your skills to enable you to grow within ...

Organisation is currently looking to recruit 5x Embedded Software V&V Engineer subcontractors on an initial 6 month contract. Skills in C, C++ or ADA are beneficial. A defence or aerospace industry background would also be great. Rate: £70.00 per hour Location: Stevenage or Bristol, depending on your preference. Hybrid … mechanical product running embedded software. Good working knowledge of the complete software engineering lifecycle. Scripting abilities Embedded software development experience using C, C++ or Ada Advantageous: Safety critical systems experience Knowledge of standards such as DefStan 00-55, DO-178C & DO-330 Knowledge of Real Time Operating Systems Model Driven ...

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

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

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