• 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 an ... **Description** Leidos Innovations Center is looking for a Software Engineer in formal methods and cyber-physical systems who has experience with integrating… more
    Leidos (11/13/25)
    - Related Jobs

  • Senior Embedded System Software Engineer…

    NVIDIA (Santa Clara, CA)
    … software that meets automotive safety and security standards, and apply formal methods (ie TLA+) to improve software integrity. What we need to see: + ... vehicle. The Hypervisor and RTOS Team within NVIDIA DRIVE Software plays a critical role in NVIDIA's expansion into...world-class Autonomous Vehicles. We are making extensive use of formal methods to automate our workflow and… more
    NVIDIA (10/01/25)
    - Related Jobs

  • Sentinel Principal Software Engineer 15750

    Northrop Grumman (Manhattan Beach, CA)
    … software deficiencies * Perform integration testing, regression testing, and formal qualification testing in an agile software development environment * ... with the lead test engineer and a team of software developers to establish and develop test methods...data analysis, and develop test documentation * Participate in formal testing events, customer meetings, and software … more
    Northrop Grumman (08/31/25)
    - Related Jobs

  • Sr. Staff Software Engineer (Applications)

    AeroVironment (San Diego, CA)
    **Worker Type** Regular **Job Description** **Summary** As a **Sr. Staff Software Engineer (Applications)** leads and mentors a talented group of engineers in a fast ... one leads the plans, design, development and testing of mission systems flight software . **Position Responsibilities:** + Software development in support of AV's… more
    AeroVironment (11/14/25)
    - Related Jobs

  • Software Engineer (Apps), Sr.

    AeroVironment (Moorpark, CA)
    **Worker Type** Regular **Job Description** **Summary** As a **Sr. Software Engineer (Applications)** one works with and is mentored by a talented group of engineers ... In this role, one plans, designs, develops and tests software systems or applications for software enhancements...guidance and mentoring to less experienced engineers + Demonstrates methods and procedures on new assignments and may coordinate… more
    AeroVironment (11/08/25)
    - Related Jobs

  • Software Quality Engineer (Level 3)

    Lockheed Martin (Palmdale, CA)
    …tasking and other support as necessary\. SWQE will develop and deploy standard software quality procedures and quality engineering methods and instruments\. They ... software lifecycle \(e\.g\. Requirements, Design, Coding, Unit Testing, Formal Testing, Integration & Testing, Release, Configuration Management, Problem… more
    Lockheed Martin (10/29/25)
    - Related Jobs

  • Software Engineer TS/SCI Poly

    Leidos (San Diego, CA)
    …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

  • Lead Software Engineer

    JPMorgan Chase (Palo Alto, CA)
    …opportunity, inclusion, and respect **Required qualifications, capabilities, and skills** + Formal training or certification on Software Engineering concepts and ... push the limits of what's possible. As a Lead Software Engineer at JPMorganChase within the Corporate sector, infrastructure...methods + Proficient in all aspects of the Software Development Life Cycle + Advanced understanding of agile… more
    JPMorgan Chase (10/23/25)
    - Related Jobs

  • Sr Director of Software Engineering (Data…

    JPMorgan Chase (Palo Alto, CA)
    …coaching, and talent development **Required qualifications, capabilities, and skills** + Formal training or certification on software engineering concepts and ... develop products and solutions. As a Senior Director of Software Engineering at JPMorgan Chase within the Consumer &...cross-functionally to drive the adoption and implementation of technical methods within various teams and aid the firm in… more
    JPMorgan Chase (09/12/25)
    - Related Jobs

  • Senior Systems Software Engineer - RTOS…

    NVIDIA (Santa Clara, CA)
    …and inter-partition communication-to enable flexible, high-performance system behavior. + Apply formal methods (eg, TLA+) to specify and verify dynamic ... vehicle. The Hypervisor and RTOS Team within NVIDIA DRIVE Software plays a critical role in NVIDIA's expansion into...are hiring now for the position of Senior System Software Engineer for Hypervisor and RTOS What you'll be… more
    NVIDIA (11/05/25)
    - Related Jobs