A complete application in a minute — tailored resume and cover letter, ready to send.
We have an immediate need for a DevSecOps Technical SETA to provide onsite support out of Arlington, VA.
The Technical SETA (Engineer/Scientist/Mathematician) will support DARPA I2O with high assurance, high confidence, or zero‑defect software and systems research and development for true mission‑critical solutions. The candidate will connect modern DevSecOps development processes and traditional mathematical modeling oriented “Formal Methods,” applied to the specification, development, and verification of hardened cloud and cyber‑physical systems. Duties will include supporting management of cutting‑edge research efforts related to DevSecOps or Formal Methods approaches. This includes technology management of programs related to embedded systems, complex high‑assurance systems, and cybersecurity. This position provides the opportunity to make significant contributions across a range of technical areas by identifying, analyzing, and developing novel technologies and methodologies for current and new program development.
Required:
Desired: