Principal Software Engineer

Atos

Brussels, Belgium

3 days ago

Role details

Contract type

Permanent contract

Employment type

Full-time (> 32 hours)

Working hours

Regular working hours

Languages

English

Experience level

Senior

Brussels, Belgium

Unit Testing

Databases

Continuous Integration

Formal Verification

MISRA C (C Programming Language)

Modular Design

Performance Tuning

Real-Time Operating Systems

Software Engineering

Systems Architecture

Real Time Systems

Spark

GIT

Information Technology

DO-178B

8+ years of hands-on Ada development experience
Deep knowledge of Ada (2005/2012/2022), including tasking, real-time programming, strong typing, and modular design
Understanding of system architecture, performance optimisation, and safety-critical development standards (e.g. DO-178B/C, MISRA)
Comfortable with Ada tooling (GNAT, SPARK), Git, and CI/CD for high-reliability systems
Experience with unit testing (AUnit) and formal verification (SPARK), plus integration with databases or external systems
Able to lead technical design and architecture for Ada-based applications

Nice to have

Experience architecting safety-critical or real-time systems (aerospace, automotive, or defence)
SPARK formal verification or real-time operating system (RTOS) integration
Track record leading agile teams on large projects in regulated industries

Education & languages

Degree in Computer Science, Software Engineering, or equivalent hands-on experience.

English (C1).