- Siemens (Fremont, CA)
- …performance optimization, and constraint solving.You'll work at the intersection of software engineering, formal methods , and high-performance computing, ... multi-threading, and scalable system design Prior contributions to verification tools or formal methods frameworks Why us? Working at Siemens Software means… more
- Qualcomm (Santa Clara, CA)
- …+ Degree in Computer Science /Electronic Engineering with practical experience in application of formal methods in hardware or software + Strong model ... with a world-class CPU design team? Are you interested in the application of formal methods to the verification of application processors? In contributing to the… 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 ... the topics of functional programming, programming language theory, and industrialized formal methods . **Basic Qualifications:** + Bachelor's degree in computer… more
- Northrop Grumman (Los Angeles, CA)
- …a part of our mission! Northrop Grumman Mission Systems is searching for a **Embedded Software Engineer** to support our Software and Test Equipment Software ... will be 100% on-site. This position may be filled as a Principal Embedded Software Engineer or a Senior Principal Embedded Software Engineer. The candidate will… more
- 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
- Abbott (San Diego, CA)
- …like React is a plus + Progressively responsible experience across various software engineering disciplines and programming methods + Intermediate to moderate ... working mothers, female executives, and scientists. **The Opportunity** The **Sr Embedded Software Engineer** works out of our **San Diego, CA** location in the… more
- Leidos (San Diego, CA)
- …the forefront in Security Engineering, Computer Network Operations (CNO), Mission Software , Analytical Methods and Modeling, Signals Intelligence (SIGINT), and ... for a Degree._ + Six years of experience in software development and testing. + Formal test...experience in software development and testing. + Formal test background with demonstrated experience with test automation… 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
- Leidos (San Diego, CA)
- …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 (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