Senior Systems Test Sofware Engineer

Saronic Saronic · Defense · Austin, TX · Software

Seeking a Senior Systems Software Test Engineer to own and drive the testing strategy for the software stack on autonomous vessels. This role involves building and enhancing a comprehensive verification platform using various testing approaches like HITL, VM integration, replay-based evaluation, simulation, property-based testing, fuzz testing, and fault injection. The goal is to ensure the reliability and safety of software shipped to vessels by catching edge cases early and adversarially testing the system.

What you'd actually do

  1. Own and drive the test initiatives for Saronic's system software, including the HITL test catalog and station orchestrator, HITL-VM bridge framework, NixOS-based VM integration test suite.
  2. Design and roll out a unified test strategy that combines our primary tools: Rust unit and property tests, VM-based integration tests, HITL-based tests, and replay/simulation based scenario tests into a single decision tree so that the right test type covers the right risk class at the right cost.
  3. Build out property-based and deterministic simulation testing across the software stack. Expand coverage to the libraries where invariants matter most (planners, trackers, schedulers, state machines, codecs, IPC framing, certificate/identity stacks) and introduce a shared invariant-testing pattern that other engineers can adopt.
  4. Stand up fuzz testing infrastructure from scratch. Identify high leverage surfaces, write the harnesses, get them running continuously, and triage or resolve findings.
  5. Expand the HITL test catalog. Drive coverage into areas currently underserved, expanding VM based integration tests to exercise real hardware paths.

Skills

Required

  • Rust
  • C++
  • Python
  • hardware-in-the-loop test rigs
  • fuzz harnesses
  • property-based test suites
  • deterministic-simulation frameworks
  • large-scale simulation/replay pipelines
  • test infrastructure as a real codebase
  • systems intuition

Nice to have

  • NixOS
  • controls
  • sensor fusion
  • network communications
  • low bandwidth/high latency environments
  • code reviews
  • scalability
  • maintainability
  • debugging complex software issues
  • documentation

What the JD emphasized

  • own and drive the testing strategy
  • easy-to-extend verification platform
  • property-based testing
  • fuzz testing
  • deterministic simulation
  • fault injection testing
  • safety-critical state machines
  • full system validation frameworks
  • adversarially tested
  • substantial time spent owning test infrastructure, V&V strategy, or reliability
  • architecture and cross-functional leadership of a verification or platform reliability function