Devsecops Engineer

DevSecOps Technical SETASystems Planning and Analysis, Inc. (SPA) delivers high-impact, technical solutions to complex national security issues. With over 50 years of business expertise and consistent growth, we are known for continuous innovation for our government customers, in both the US and abroad. Our exceptionally talented team is highly collaborative in spirit and practice, producing Results that Matter. Come work with the best! We offer opportunity, unique challenges, and clear-sighted commitment to the mission.SPA: Objective. Responsive. Trusted. The Joint, Office of the Secretary of Defense, Interagency Division provides expert support services to a range of customers spanning across the Department of Defense, Federal Civilian, and international markets. JOID provides a diverse portfolio of analytical and programmatic capabilities to help our customers make informed decisions on their most challenging issues. SPA provides critical decision support to enabling and executing a strategy of technological superiority and enabling the delivery and sustainment of secure, resilient, and preeminent capabilities to the warfighter quickly and cost effectively. Our team of experienced military, technical, and operations research analysts is skilled in evaluating military problems, identifying the driving factors, devising innovative approaches, collecting applicable data, developing necessary software tools, and performing thorough and timely assessments to inform technology and acquisition governance decisions to ensure U.S. military forces retain military superiority in the future.We have an immediate need for a DevSecOps Technical SETA to provide onsite support out of Arlington, VA. 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.Qualifications Required:5+ years of experience in development of high confidence software, complex high assurance systems, and/or high assurance softwareSpecification, development, and verification of software/hardware systems, via either modern "DevSecOps" or more traditional "formal methods"Bachelor's degree in mathematics, computer science, information science, and/or other relevant engineering specialtyActive Top Secret clearance with SCI eligibilityAble to travel up to 10% of the timeAble to work fully onsite based on client needsDesired:Hands-on experience working with military and related intelligence community stakeholders and end users in the use and application of related technologiesPrior research program support in software development, reverse engineering, vulnerability research, and/or hardware and software-based system engineeringExperience with, or ability to quickly learn, application of mathematically rigorous techniques to hardware and software-based research and development efforts