• Senior Research Scientist - Formal…

    Leidos (Arlington, VA)
    …low-level systems, software correctness + Experience applying the application of formal methods in fundamental research contexts, to problems in complex ... **Description** Leidos is looking for a senior research scientist in formal methods and cyber-physical systems who has experience in developing state-of-the-art… more
    Leidos (04/09/25)
    - Related Jobs

  • Formal Methods Research Intern

    Leidos (Arlington, VA)
    …formal methods tool - Demonstrable experience applying formal methods tools and techniques to software projects and/or systems. **Original Posting:** ... seeking a motivated intern to support our work in formal methods research. The position will be...researchers and engineers in research projects focused on developing high- assurance software and systems. Tasks involved in… more
    Leidos (04/19/25)
    - Related Jobs

  • Information Assurance Analyst (Cyber)

    CGI Technologies and Solutions, Inc. (Newport News, VA)
    **Information Assurance Analyst (Cyber)** **Category:** Cyber Security **Main location:** United States, Virginia, Newport News **Position ID:** J0325-0674 ... We are seeking a highly organized and detail-oriented Information Assurance (IA) Analyst to join our team in Newport...In this role you will define and deploy effective methods and strategies to provide security operations and compliance… more
    CGI Technologies and Solutions, Inc. (03/13/25)
    - Related Jobs

  • Principal Software Scientist

    Leidos (Arlington, VA)
    …engineers in the development, adaptation, and extension of innovative approaches to high assurance software deployment across a range of technical areas and ... understanding. + Develop novel approaches for the generation of assurance evidence for critical software , at scale...in Computer Science, Mathematics, or related degree + Applying formal methods , using technologies such as theorem… more
    Leidos (04/18/25)
    - Related Jobs

  • Embedded Software Test Engineer

    Actalent (Herndon, VA)
    …You will be responsible for validating the quality and reliability of embedded software products through formal testing and validation processes. This exciting ... product certification. Essential Skills + Automated testing. + Experience with Embedded Software . + Hardware-in-the-loop (HIL) testing. + Quality Assurance (QA)… more
    Actalent (04/26/25)
    - Related Jobs

  • Warehouse Senior Industrial Engineer - Ryder Last…

    Ryder System (Richmond, VA)
    …Improvement culture across the operation by actively applying continuous improvement methods to support new and existing operations. The Engineer will identify ... and/or customer(s). + Develop and demonstrate competency in wide range of engineering methods , Lean tools, and quality standards and coaches employees in the use and… more
    Ryder System (04/30/25)
    - Related Jobs

  • Federal Region Manager, Infrastructure Strategy…

    Amazon (Arlington, VA)
    …packages, task orders, service accreditations, risk mitigation strategies, and quality assurance functions. You will join a cadre of program management, technical ... your time working with technical business leaders such as hardware and software engineering leaders and technical program managers to ensure contractual delivery of… more
    Amazon (04/16/25)
    - Related Jobs

  • Penetration Tester (Part Time & Remote)

    TestPros (Sterling, VA)
    …Security, NIST SP 800-171 Assessment and Compliance, ATO Support, Computer Forensics, Software Assurance , Software Testing, Test Automation, Section 508 ... (CX), Localization Testing, Independent Verification and Validation (IV&V), Quality Assurance (QA), Compliance, and Research and Development (R&D) services. TestPros… more
    TestPros (04/29/25)
    - Related Jobs

  • Configuration Manager, INSCOM

    V2X (Fort Belvoir, VA)
    …and support functions. Provide for systematic release and distribution of formal drawings and associated documentation + Review engineering drawings / documents ... maintaining both new and existing schedules. + Improve and develop the process, working methods and tools. + Liaise with the customer to ensure requirements are met… more
    V2X (04/17/25)
    - Related Jobs

  • Principal, Technology Consultant

    EPAM Systems (Mclean, VA)
    …improve cost, quality, and time to market + Elicit relevant information through formal and informal interviews, surveys, and system data analysis + Ideate and ... degree: master's degree, MBA, PhD, etc + Has 7+ years of software industry experience in one of the following functions: Engineering, Infrastructure, Quality… more
    EPAM Systems (04/15/25)
    - Related Jobs