Systems Planning and Analysis
DevSecOps Technical SETA
Systems Planning and Analysis, Arlington, Virginia, United States, 22201
OverviewSystems 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.The Acquisition and Technology Analysis Group within JOID specializes in the application of multi-disciplinary analytic skills to support multiple clients within the Department of Defense (DoD). These clients include the Office of the Under Secretary of Defense for Research and Engineering (OUSD(R&E)), Office of the Under Secretary of Defense for Acquisition and Sustainment (OUSD(A&S)), DARPA, the Joint Staff, and USINDOPACOM. 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
Formal Methods Engineer - Scientist - Mathematician/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:Minimum 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 of science degree in mathematics, computer science, information science, and/or other relevant engineeringDoD Top Secret clearance with SCI eligibilityTravel may be required up to 10% of the timeDesired: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
#J-18808-Ljbffr
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.The Acquisition and Technology Analysis Group within JOID specializes in the application of multi-disciplinary analytic skills to support multiple clients within the Department of Defense (DoD). These clients include the Office of the Under Secretary of Defense for Research and Engineering (OUSD(R&E)), Office of the Under Secretary of Defense for Acquisition and Sustainment (OUSD(A&S)), DARPA, the Joint Staff, and USINDOPACOM. 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
Formal Methods Engineer - Scientist - Mathematician/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:Minimum 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 of science degree in mathematics, computer science, information science, and/or other relevant engineeringDoD Top Secret clearance with SCI eligibilityTravel may be required up to 10% of the timeDesired: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
#J-18808-Ljbffr