- Siemens (Wilsonville, OR)
- …performance optimization, and constraint solving. You'll work at the intersection of software engineering, formal methods , and high-performance computing, ... and scalable system design + Prior contributions to verification tools or formal methods frameworks Why us? Working at Siemens Software means flexibility… 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
- Amazon (Austin, TX)
- …be responsible for defining and checking the specification of critical hardware modules using formal methods and industrial model checkers. You will be a part of ... design and build every component of our hardware and software to come together into products that our customers...2025. * Completed coursework or prior internship experience with formal methods (SW/HW) * Coursework or prior… more
- Amazon (Seattle, WA)
- …the value proposition for formal verification, runtime assurance, and other methods for software under development and drive building these approaches into ... runtime assurance, new testing approaches, metric collection, and other methods to software systems. You will be...every area of our software development processes. Write, validate, and maintain … more
- Northrop Grumman (Melbourne, FL)
- … formal system testing, release, installation, and maintenance. The Software Engineer will apply technical expertise in solving complex integrations problems. ... **Northrop Grumman Aeronautics Systems Sector** is seeking a **Principal Engineer Software /Senior Principal Engineer Software ** to join our **Global Surveillance… more
- Cummins Inc. (Columbus, IN)
- …EPA 2027 regulations. This role involves gaining proficiency in Aftertreatment (A/T) software controls and diagnostic features to provide inputs to customers during ... design targets. The individual will investigate and troubleshoot the correctness of software behavior using customer-provided data to identify root causes for system… more
- Leidos (Huntsville, AL)
- … test infrastructures and frameworks, integration testing, informal manual testing, formal software qualification testing, fielding and support, and maintenance ... software quality engineering concepts. + Have experience developing test methods and procedures for software products using scripting, compiled languages,… more
- KBR (Wright Patterson AFB, OH)
- … software acquisition program(s), especially experience or extensive knowledge of the formal Software Acquisition Pathway. Ready to Make a Difference? If ... Title: Senior Software Acquisition Technical Advisor Belong. Connect. Grow. with...in a fast-paced, high-performing, hand-picked organization. Desired: + AI/ML Methods : Familiarity with AI/ML applications and test methods… more
- JPMorgan Chase (Columbus, OH)
- …diversity, equity, inclusion, and respect **Required qualifications, capabilities, and skills** + Formal training or certification on Software Engineering and 5+ ... push the limits of what's possible. As a Lead Software Engineer at JPMorgan Chase within the Consumer &...methods + Proficient in all aspects of the Software Development Life Cycle + Advanced understanding of CI/CD,… more
- JPMorgan Chase (Jersey City, NJ)
- …equity, inclusion, and respect **Required qualifications, capabilities, and skills** + Formal training or certification on software engineering concepts and ... methods + Proficient in all aspects of the Software Development Life Cycle + Advanced understanding of agile...methods + Proficient in all aspects of the Software Development Life Cycle + Practical cloud experience with… more