Software Engineer - Safety Critical

This job has now expired please search on the home page to find live IT Jobs.

Software Engineers x 2 - Safety-Critical, C, Ada, SPARK - 6 months +Multiple Software Engineers are required to produce software development plans, typically reflecting rigorous and disciplined development processes. The role involved defining and developing safety-critical software solutions for Aerospace and Defence projects using C, Ada and SPARK. The other core aspect to the role is writing software requirement specifications using DOORS and UML.Type - 6 month ContractLocation - Bath, SomersetRate - circa £45 per hourStart Date - ASAP Key Skills Range of systems and software engineering roles covering multiple lifecycle stagesDevelopment of high-integrity software intensive systemsSystems and software engineering principles and methodsDOORS, UML, Requirements CaptureC, ADA, Spark, ZSystem and Software Development LifecycleApproaches, tools and techniques for developing high-integrity software intensive systemsRole & ResponsibilitiesProducing software development plans, typically reflecting rigorous and disciplined development processes.Writing requirements specifications.Defining software architectures.Developing detailed designs.Implementing designs.Producing assurance plans - including balancing static and dynamic analysis solutions to implement cost-effective assurance regimes.Producing test management plans.Developing test environments.Developing and executing test specifications.If you would like to apply please respond to this email with the most recent version of your CV and I'll be in touch ASAP to discuss. To find out more about Computer Futures please visit www.computerfutures.comComputer Futures, a trading division of SThree Partnership LLP is acting as an Employment Business in relation to this vacancy | Registered office | 1st Floor, 75 King William Street, London, EC4N 7BE, United Kingdom | Partnership Number | OC387148 England and Wales