- 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 (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
- Northrop Grumman (Manhattan Beach, CA)
- …environment * Work with the lead test engineer and a team of software developers to establish and develop test methods and techniques * Design, develop, ... career today. Northrop Grumman Defense Systems is seeking **Principal Software Engineer ** . This position will be... deficiencies * Perform integration testing, regression testing, and formal qualification testing in an agile software … more
- 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 (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
- AeroVironment (Moorpark, CA)
- **Worker Type** Regular **Job Description** **Summary** As a ** Software Engineer III (Applications)** one works with and is mentored by a talented group of ... In this role, one plans, designs, develops and tests software systems or applications for software enhancements...writing unit tests and debugging code + Experienced with formal and structured lifecycle development process + Experienced with… more
- 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
- JPMorgan Chase (Palo Alto, CA)
- …leading financial institutions, you've come to the right place. As a Principal Software Engineer at JPMorgan Chase within the Corporate AI/ML Data Platforms ... and internal talks and conferences. **Required qualifications, capabilities, and skills** + Formal training or certification on software engineering concepts and… more
- 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
- LinkedIn (Mountain View, CA)
- …be going to directly drive growth in these two areas. As the Sr. Staff Engineer leading Engineering Excellence, you will play a critical role in driving the health, ... Hadoop, Spark, distributed key-value stores, streaming processes, recommender systems, statistical methods , and experimental design. + Highly motivated and able to… more