Senior Software Engineer (SPARK, ADA, Z language)
Posted Today by eTeam Workforce Limited
£447 Per day
Inside
Hybrid
Bath, UK
Summary: The role of Senior Software Engineer focuses on joining a High Integrity Software team to develop software for safety-related and mission-critical applications across various sectors. The position requires expertise in software testing and development, particularly with SPARK, ADA, and Z languages. The successful candidate will work in a collaborative environment, ensuring projects meet high customer expectations. This is a six-month contract based in Bath, requiring two days of on-site work per week.
Key Responsibilities:
- Join the High Integrity Software team to develop award-winning software.
- Ensure projects meet high customer expectations in safety-critical environments.
- Utilize static code analysis and formal methods in software development.
- Collaborate with a diverse team of experienced engineers.
- Deliver improvements in operational efficiency and safety.
Key Skills:
- Background in Software Testing and/or Software Development.
- Experience with SPARK, ADA, and Z languages.
- Experience in safety-critical environments, particularly in the nuclear industry.
- Excellent interpersonal skills and ability to build rapport.
- Self-motivated with good time management and organizational skills.
- Methodical approach with strong attention to detail.
- Willingness to learn new languages and techniques.
Salary (Rate): £447/day
City: Bath
Country: UK
Working Arrangements: hybrid
IR35 Status: inside IR35
Seniority Level: Mid-Level
Industry: IT
We are a Global Recruitment specialist that provides support to the clients across EMEA, APAC, US and Canada. We have an excellent job opportunity for you.
Role Title: Senior Software Engineer ( SPARK, ADA, Z language)
Location: Bath 2 days per week
End Date: 6 months
Pay Rate: £447/day Inside IR35
Role Description:
Looking for a software engineers to join our High Integrity Software team. You will join a diverse team of excellent and experienced engineers who are committed to ensuring our projects meet our customers' high expectations.
We develop award-winning software for safety-related and mission-critical applications across Aerospace, Defence, Rail, Automotive, and Energy sectors, often supporting critical national infrastructure.
Our projects deliver transformative improvements in operational efficiency and safety, earning high respect and trust from our customers.
Essential
Background in Software Testing and/or Software development.
Static code analysis experience or experience with Formal Methods (SPARK, ADA, Z language)
Experience in working in safety-critical environments, particularly in the nuclear industry.
Experience with Spark/Software Language ADA.
Excellent interpersonal skills and the ability to quickly build rapport with others
Self-motivated and able to use initiative
Organized, good time management and prioritization
Methodical approach to work, with good attention to details and strong logic and reasoning skills
Willingness to learn new languages, skills and techniques.
If you are interested in this position and would like to learn more, please send through your CV and we will get in touch with you as soon as possible. Please note, candidates are often Shortlisted within 48 hours.