Description
Qualifications
Required:
- Minimum 5 years of experience in development of high confidence software, complex high assurance systems, and/or high assurance software
- Specification, development, and verification of software/hardware systems, via either modern "DevSecOps" or more traditional "formal methods"
- Bachelor of science degree in mathematics, computer science, information science, and/or other relevant engineering
- DoD Top Secret clearance with SCI eligibility
- Travel may be required up to 10% of the time
Desired:
- Hands-on experience working with military and related intelligence community stakeholders and end users in the use and application of related technologies
- Prior research program support in software development, reverse engineering, vulnerability research, and/or hardware and software-based system engineering
- Experience with, or ability to quickly learn, application of mathematically rigorous techniques to hardware and software-based research and development efforts
Responsibilities
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.
Apply on company website
Find Connections via Linkedin
