Senior Software Engineer - Spark

fortice; Bath; Hybrid; GBP 55,000 - 75,000; Full time

Job summary

A leading technology consulting firm is seeking a Senior Software Engineer in Bath, working 2 days a week on-site. The role involves developing safety-critical software for various sectors. Candidates should have experience in software testing, development, and static code analysis, ideally within a nuclear environment. Join an experienced team dedicated to delivering high-quality, transformative software solutions.

Qualifications

• Experience in working in a safety-critical environment, particularly in the nuclear industry.
• Experience with Spark/Software Language ADA.
• Self-motivated and able to use initiative.

Responsibilities

• Develop award-winning software for safety-related and mission-critical applications.
• Join a diverse team committed to high customer expectations.
• Contribute to projects delivering improvements in operational efficiency and safety.

Skills

Software Testing

Software Development

Static Code Analysis

Interpersonal Skills

Time Management

Attention to Detail

Willingness to Learn

Education

Degree in Software Engineering or related subject

Tools

SPARK

ADA

Job description

Overview

Senior Software Engineer. Clearance required: BPSS. Interview process: Tech IV. Location: Bath 2 days per week. Home the rest. IR35 Status: PAYE via Umbrella company only.

Your role

Capgemini Engineering is looking for 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.

Your Profile

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 safety critical environment, 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.

Desirable

• Degree qualified in software engineering or related/relevant subject.
• Experience in at least one of the following markets: aerospace, transport, defence, rail, automotive.
• Knowledge and experience in static analysis techniques.