• Software Engineer - Formal

    Leidos (San Diego, CA)
    …Diego, CA or Arlington, VA a few days a week for meetings. **Primary Responsibilities:** The Formal Methods Software Engineer will serve in the role of ... **Description** Leidos Innovations Center is looking for a Software Engineer in formal methods and cyber-physical systems who has experience with… more
    Leidos (10/22/25)
    - Save Job - Related Jobs - Block Source
  • Software Engineer - Functional…

    Leidos (San Diego, CA)
    …the development of high-assurance, resilient software . + Utilize the state-of-the-art in semi- formal and formal methods tools in the development of ... **Description** Are you a motivated ** Software Engineer ** with technical, hands-on experience...topics of functional programming, programming language theory, and industrialized formal methods . **Basic Qualifications:** + Bachelor's degree… more
    Leidos (10/03/25)
    - Save Job - Related Jobs - Block Source
  • Software Engineer

    Leidos (San Diego, CA)
    **Description** **Leidos** has a new and exciting opportunity for a Software Engineer in our **National Security Sector's (NSS) Cyber & Analytics Business Area ... much more. **Join us and make a difference in National Security!** The ** Software Engineer ** will perform software development lifecycle (SDLC) activities… more
    Leidos (09/18/25)
    - Save Job - Related Jobs - Block Source
  • Software Engineer TS/SCI Poly

    Leidos (San Diego, CA)
    **Description** **Leidos** has a new and exciting opportunity for a ** Software Engineer ** in our **National Security Sector's (NSS) Cyber & Analytics Business ... more. **Join us and make a difference in National Security!** **Job Summary** The Software Engineer will perform software development activities as a member… more
    Leidos (08/26/25)
    - Save Job - Related Jobs - Block Source
  • Senior Principal Scientific Software

    Leidos (San Diego, CA)
    …in Golang, Java, and Matlab. + Knowledge and interest in memory safe software and formal methods for resilient systems. **Preferred Qualifications** ... of Defense customers. We are currently seeking a Senior Principal Scientific Software Engineer with a focus in camera sensors and real-time applications with our… more
    Leidos (10/01/25)
    - Save Job - Related Jobs - Block Source