- 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
- Leidos (Arlington, VA)
- …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
- 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
- MIT Lincoln Laboratory (Lexington, MA)
- …to our impact. Our staff includes system security researchers, applied cryptographers, software engineers, formal methods experts, and embedded systems ... Secure programming in languages such as Rust and C/C+ + + Applied formal methods and software analysis tools. + Technical mentoring and leadership, including… more
- Leidos (Arlington, VA)
- … formal methods tool - Demonstrable experience applying formal methods tools and techniques to software projects and/or systems. We're not looking for ... seeking a motivated intern to support our work in formal methods research. The position will be...and engineers in research projects focused on developing high-assurance software and systems. Tasks involved in this research include… more
- Target (Brooklyn Park, MN)
- …into the technical architecture and design to deliver robust and scalable software components. You constantly demonstrate the depth of your expertise by solving ... engineering problems. You are passionate about the quality of software and balance between speed of delivering new features...that can influence both. **About this Team:** ATP Ship Methods is one of the most complex systems in… more
- 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
- COLSA Corporation (Shalimar, FL)
- …reviews, and analyzes test plans, procedures, metrics, and reports throughout the software development life cycle. Develops and writes methods of tests, ... ranging from on-the-job training with other team members, to formal courses for unique technology areas. The team is...unique technology areas. The team is searching for a software tester to support the 45th Test Squadron, the… 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 (Huntsville, AL)
- … 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