• Senior Software Application Developer

    CACI International (Sterling, VA)
    Senior Software Application Developer Job Category: Information Technology Time Type: Full time Minimum Clearance Required to Start: None Employee Type: Regular ... CACI is currently looking for a motivated, career and customer-oriented Sr. Software Engineer/Developer with Agile methodology experience to join our Customs and… more
    CACI International (10/02/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 (09/18/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 (08/26/25)
    - Related Jobs

  • Cyber Software Engineer

    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 (08/08/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 ... Embedded Software Test Engineer Job Description We are seeking... + Hardware-in-the-loop (HIL) + Embedded C + QA methods + 5+ years of experience in embedded systems… more
    Actalent (09/27/25)
    - Related Jobs

  • Senior Software Architect

    SOS International LLC (Reston, VA)
    **Overview** SOSi is seeking a highly experienced Senior Software Architect to join our team and lead the design and development of our software systems in order ... with petabyte-scale data on supercomputing resources. As a Senior Software Architect at SOSi, you will be responsible for...+ Provides informal feedback on an ongoing basis and formal feedback in the annual performance evaluation process to… more
    SOS International LLC (07/15/25)
    - Related Jobs

  • Principal Manufacturing & Autonomy Research…

    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 (09/24/25)
    - Related Jobs

  • Principal Autonomy and 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 (07/19/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 (09/25/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 (09/25/25)
    - Related Jobs