• Software Developer (C++)

    CGI Technologies and Solutions, Inc. (Reston, VA)
    ** Software Developer (C++)** **Category:** Software Development/ Engineering **Main location:** United States, Virginia, Reston **Position ID:** J0625-1009 ... Type:** Full Time **Position Description:** CGI has an immediate need for a Software Developer (C++) to join our team. This is an exciting opportunity to… more
    CGI Technologies and Solutions, Inc. (06/19/25)
    - Related Jobs

  • Software Engineer

    Leidos (Alexandria, VA)
    …the forefront in Security Engineering, Computer Network Operations (CNO), Mission Software , Analytical Methods and Modeling, Signals Intelligence (SIGINT), and ... The individual will analyze and study complex system requirements, use design software tools, provide support using formal specifications, data flow diagrams,… more
    Leidos (06/20/25)
    - Related Jobs

  • Software Engineer TS/SCI Poly

    Leidos (Alexandria, VA)
    …the forefront in Security Engineering, Computer Network Operations (CNO), Mission Software , Analytical Methods and Modeling, Signals Intelligence (SIGINT), and ... are available. + Analyze and study complex system requirements, use design software tools, provide support using formal specifications, data flow diagrams,… more
    Leidos (05/28/25)
    - Related Jobs

  • Cyber Software Engineer/Supervisor

    Leidos (Arlington, VA)
    …+ Experience with developing secure, resilient solutions + Experience with formal methods + Experience with developing/integrating/testing embedded applications ... **Description** Are you a motivated **Cyber Software Engineer** with technical hands-on knowledge of mission...a variety of exciting R&D programs. As a **Cyber Software Engineer** , you will design and implement sophisticated… more
    Leidos (05/08/25)
    - Related Jobs

  • Lead Software Engineer - UI/ React

    JPMorgan Chase (Mclean, VA)
    …equity, inclusion, and respect **Required qualifications, capabilities, and skills** + Formal training or certification on software engineering concepts and ... teams to align with business goals. As a Lead Software Front End/Full Stack Engineer at JPMorgan Chase within...methods + Proficient in all aspects of the Software Development Life Cycle + Advanced understanding of agile… more
    JPMorgan Chase (05/23/25)
    - Related Jobs

  • Principal Applied Scientist, AWS Bespoke Solutions

    Amazon (Arlington, VA)
    …Services is looking for a Principal Applied Scientist to help define and drive formal verification of hardware, software , and RTL (FPGA) code on a networking ... outcome driven FV team. - Write, validate, and maintain formal models of the hardware that systems software...about in Rust programming language - Experience in RTL formal verification methods - Creating and validating… more
    Amazon (05/14/25)
    - Related Jobs

  • Principal Resilient Systems Scientist

    Leidos (Arlington, VA)
    …+ FPGA development and testing, embedded systems design and innovation, applying formal methods , using technologies such as theorem provers for first-order ... projects. This role will drive capture of strategic customer-funded software R&D. The ideal candidate will have a proven...opportunities + Experience applying and leading the application of formal methods in fundamental research contexts, to… more
    Leidos (06/21/25)
    - Related Jobs

  • Enterprise IT Trainer

    Nightwing (Sterling, VA)
    …technical surveillance, data intelligence, lifecycle mission enablement, and software modernization. Nightwing brings disruptive technologies, agility, and ... will: Provide training services to design and deliver a variety of IT ( software and hardware) training courses. S/He shall work across the program to analyze… more
    Nightwing (06/24/25)
    - Related Jobs

  • Senior Research Engineer, Advanced Technology…

    Lockheed Martin (Arlington, VA)
    …our areas of research to lead future technology advances in applied formal methods , simulation, test, verification, validation, and certification of autonomous ... networks, game theory, causal fusion, neuro\-symbolic reasoning, GenAI \) \- Formal methods for assurance, optimization, and verification/validation \(e\.g\., … more
    Lockheed Martin (06/21/25)
    - Related Jobs

  • Senior Research Engineer (PhD level)…

    Lockheed Martin (Arlington, VA)
    …our areas of research to lead future technology advances in applied formal methods , simulation, test, verification, validation, and certification of autonomous ... * Conducted research in at least one more adjacent area such as formal verification/ methods \(e\.g\., theorem provers, SMT/SAT solvers, etc\.\) or assurance and… more
    Lockheed Martin (06/24/25)
    - Related Jobs