- RTX Corporation (Cambridge, MA)
- …team:** RTX BBN Networking and Cyber Technologies group is looking for a Research Software Engineer, Formal Methods with strong software development ... strong software development skills and apply reasoning and formal methods techniques to significantly enhance security and resilience of large dynamic… more
- RTX Corporation (Cambridge, MA)
- …Technologies** team: The RTX BBN Networking and Cyber Technologies group seeks a Formal Methods researcher with System/ Software Engineers experience to join ... as a leader of an exceptional team while building technologies to support Formal Methods for verification of processes, networks, etc. You will model and analyze… more
- Siemens (Wilsonville, OR)
- …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 (Arlington, VA)
- …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
- 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
- Toyota (Plano, TX)
- …the business. + Participate in technology selection/vendor selection processes using informal or formal methods such as Request for Proposal (RFP). Also support ... a collaborative and highly motivated team as a Principal Engineer II - Software Development Engineering. The primary responsibility of this role will be to own… more
- Leonardo DRS, Inc. (Burnsville, MN)
- …systems, hardware integration, combat systems, human interfaces, test harnesses, formal methods ) + Ability to develop software APIs using technologies such ... issues during design, test, transition to production, and formal deliveries. Job focus areas include leading software... formal deliveries. Job focus areas include leading software engineering activities in software architecture applied… 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