Arlington, VA, US
140 days ago
DevSecOps Technical SETA
Welcome page Returning Candidate? Log back in! DevSecOps Technical SETA Job Locations US-VA-Arlington ID 2024-18875 Category Mathematics Security Clearance Requirement Top Secret Type Regular Full-Time Level Senior Overview

Systems 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 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 engineeringExperience with, or ability to quickly learn, application of mathematically rigorous techniques to hardware and software-based research and development efforts Options Apply for this job onlineApplyShareEmail this job to a friendRefer Sorry the Share function is not working properly at this moment. Please refresh the page and try again later. Share on your newsfeed SPA is committed to the principles and practices of equal employment opportunity (EEO) and Affirmative Action. It is, and will continue to be, the policy of the company to afford equal employment opportunities to all qualified individuals. We recruit, hire, train and promote persons in all job titles without regard to race, color, religion, sex, sexual orientation, gender identity, or national origin, age, marital status, protected veteran status, disability or genetics or any other characteristic protected by federal, state or local law. Application FAQs

Software Powered by iCIMS
www.icims.com

Confirm your E-mail: Send Email