Senior Static Analysis Software Engineer
Core
Developing and maintaining a static analysis engine for Ada programming language within the CodeSonar platform, focusing on high-integrity software for aerospace, defense, and financial sectors.
Role type
Senior Static Analysis Software Engineer
Builds
Static analysis tools and frameworks (Ada-specific analysis engine, LAL2AdaIR frontend, CodeSonar Ada analysis)
Domain
Software engineering, static analysis, high-integrity systems, aerospace & defense
Deliverable
production ML models | product features
Required skills
Static analysis, Control Flow Graph theory, Ada programming language, OCaml, Libadalang, Infer fork, MOPSA-inspired engine architecture, transfer functions, intermediate representation (IR)
Preferred skills
Advanced semantic analysis, architecture design, migration strategy
Technologies
Ada, OCaml, Libadalang, Infer, CodeSonar, LAL2AdaIR
Responsibilities
Extending and maintaining the Ada-specific analysis framework, developing the LAL2AdaIR frontend, writing transfer functions for CodeSonar Ada analysis, collaborating with Libadalang and CodeSonar teams, maintaining the testsuite and industrial-grade tool standards
Seniority
Senior, hands-on IC
