• Formal Methods Research Intern

    Leidos (Arlington, VA)
    …other researchers and engineers in research projects focused on developing high-assurance software and systems . Tasks involved in this research include adapting ... Demonstrable experience applying formal methods tools and techniques to software projects and/or systems . If you're looking...tools and techniques to software projects and/or systems . If you're looking for comfort, keep scrolling. At… more
    Leidos (12/05/25)
    - Related Jobs
  • Senior DevSecOps Engineer

    Koniag Government Services (Alexandria, VA)
    …in accordance with Public Law 88-352_** **Job Details** **Job Family** ** Software and Systems Development** **Job Function** **Applications Programmer/Analyst** ... maintaining scalable platform solutions that empower development teams to deliver high-quality software efficiently and securely. The ideal candidate is an expert in… more
    Koniag Government Services (11/07/25)
    - Related Jobs
  • Test Engineer

    Steampunk (Mclean, VA)
    …recommendations + Leverage virtualization and containerization technologies to optimize testing of software and data systems + Work with cross-functional teams ... practicedelivering quality assurance services to support application, cloud, and data systems development.We are looking for candidates with 3-5 years experience… more
    Steampunk (01/01/26)
    - Related Jobs
  • Senior Linux Administrator Team Lead

    General Dynamics Information Technology (Falls Church, VA)
    …None **Job Family:** IT Infrastructure and Operations **Skills:** Critical Systems ,Enterprise Systems , Software Updates,System Administration,Technical Issues ... MAKE AN IMPACT:** + Provide system administration support for Linux operating systems including installing software , applying patches, managing file systems more
    General Dynamics Information Technology (10/25/25)
    - Related Jobs
  • Senior Staff Protocol Engineer

    Coinbase (Richmond, VA)
    …enable and accelerate the success of Base. The Base Protocols team works on the software and infrastructure systems that power all aspects of the Base chain. We ... * You have a PhD with emphasis in Distributed Systems or similar * Experience in software ...Distributed Systems or similar * Experience in software parallelization, including but not limited to optimistic concurrency… more
    Coinbase (01/02/26)
    - Related Jobs
  • Business Title Manager, Application Development…

    Cardinal Health (Richmond, VA)
    …performs configuration or coding to develop, enhance and sustain the organization's software systems in a cross-functional team environment through adherence to ... practices. This job family programs and configures end user applications, systems , databases and websites to achieve the organization's internal needs and… more
    Cardinal Health (01/07/26)
    - Related Jobs
  • District Support Engineer

    Eaton Corporation (Sandston, VA)
    …project, time and task management skills, with use of personal computers and software systems to manage and track numerous priorities. * Demonstrated ability ... Eaton's Electrical Systems and Services division is currently seeking a...service experience evaluating and servicing electrical distribution and control systems , or in lieu of HS diploma or GED,… more
    Eaton Corporation (11/16/25)
    - Related Jobs
  • Senior Decision Support Consultant

    Highmark Health (Richmond, VA)
    …(online, written or verbal). + Independently ensure that the resulting methodologies/processes/ software systems are compatible with the corporate technology ... programs. Furthermore, the incumbent will utilize advanced knowledge of corporate systems and data sources across Highmark's business units, coupled with a… more
    Highmark Health (11/14/25)
    - Related Jobs
  • Senior DevOps Engineer

    CACI International (Chantilly, VA)
    …and evaluation of signals intelligence, radar, and communications prototype development systems , related software systems , and development environments ... creation of builder nodes for Jenkins + Facilitate OTA updates of fielded systems + Administer Atlassian Jira, Confluence, and Bitbucket or portions thereof +… more
    CACI International (11/07/25)
    - Related Jobs
  • Program Manager (C)

    SimIS Inc. (Dahlgren, VA)
    …Life-Cycle maintenance effort of combat system and/or simulation hardware and software systems . Special Skills/Knowledge/Training Required: + Bachelor, Master or ... System Simulations Branch (M33) to provide high fidelity simulation systems and enable engineers to verify Combat Systems... systems and enable engineers to verify Combat Systems ' performance in desktop environments and at Land Based… more
    SimIS Inc. (11/06/25)
    - Related Jobs