ArlingtonVARecruiter Since 2001
the smart solution for Arlington jobs

Formal Methods Engineer-Scientist-Mathematician -

Company: ManTech
Location: Arlington
Posted on: June 19, 2022

Job Description:

Currently, ManTech is seeking a motivated, career and customer-oriented (DevSecOps) Formal Methods Engineer-Scientist-Mathematician ---to join our team in Arlington, Virginia, supporting DARPA Information Innovation Office (I2O) with the mission to ensure enduring advantage for the U.S. and its allies across a broad range of information technologies through the advancement of core technical foundations as well as the design of novel application concepts based on these foundations.We have an immediate opening for an Engineer / Scientist / Mathematician to support DARPA in Arlington, VA with high assurance, high confidence, or zero-defect software and systems research & development for true mission critical solutions. In short, we seek someone with the connection of 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.Primary duties will include:

  • Support management of cutting-edge research efforts related to DevSecOps or Formal Methods approaches;
  • Perform technology and research management of programs related to software engineering, embedded systems, complex high assurance systems, and cybersecurity;
  • Provide significant contributions across a range of technical areas by identifying, analyzing, and developing novel technologies and methodologies for current and new program development;
  • Provide in-depth expertise in the assessments of proposals to determine the technical merit of proposal objectives and methodologies;
  • Develop test plans for assessment of program research performers' systems;
  • Coordinate with program performers throughout the testing of programs to ensure that systems meet test plan requirements;
  • Contribute significantly across a range of technical areas by identifying and monitoring ongoing cyber threats through open source and internal data analysis;
  • Provide a resource and means of information support for proposals to determine the technical merit of proposal objectives and methodologies;
  • Use information analysis expertise to identify, develop, and support methodologies for current and new program development;
  • Work will be performed on-site at DARPA in Arlington, VA;
  • Travel may be required up to 10% of the time.REQUIRED EXPERIENCE:
    • 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".
    • 4-year bachelor degree (or higher) and background in computer science, engineering, information, or mathematics.
    • Hands-on experience working with military and related intelligence community stakeholders and end users in the use and application of related technologies is highly preferred.
    • Prior research program support in software development, or reverse engineering, or vulnerability research, and/or HW/SW system engineering is helpful;
    • Experience with, or ability to quickly learn, application of mathematically rigorous techniques to HW/SW research & development efforts.Security Clearance Requirement:
      • US citizenship and an active security clearance with SCI eligibility required; we highly prefer an active Top Secret, but we will consider well suited candidates with an active Secret

Keywords: ManTech, Arlington , Formal Methods Engineer-Scientist-Mathematician -, Engineering , Arlington, Virginia

Click here to apply!

Didn't find what you're looking for? Search again!

I'm looking for
in category

Log In or Create An Account

Get the latest Virginia jobs by following @recnetVA on Twitter!

Arlington RSS job feeds