- RTX Corporation (Cambridge, MA)
- …BBN Networking and Cyber Technologies group is looking for a Research Software Engineer , Formal Methods with strong software development skills and an ... contribute strong software development skills and apply reasoning and formal methods techniques to significantly enhance security...hypotheses and inform next steps + Advance network security research at BBN. + Own projects or large components… more
- RTX Corporation (Cambridge, MA)
- …and performance of such systems. **What You Will Do** + Build and advance a Formal Methods -related research area for BBN having measurable impact on business ... team: The RTX BBN Networking and Cyber Technologies group seeks a Formal Methods researcher with System/Software Engineers experience to join exciting… more
- Leidos (Arlington, VA)
- **Description** Leidos Innovations Center is looking for a Software Engineer in formal methods and cyber-physical systems who has experience with integrating ... few days a week for meetings. **Primary Responsibilities:** The Formal Methods Software Engineer will...systems, software correctness + Experience applying the application of formal methods in fundamental research … more
- NextEra Energy (St. Paul, MN)
- **Principal Research Engineer ** **Date:** Oct 22, 2025 **Location(s):** St. Paul, MN, US, 55107Juno Beach, FL, US, 33408 **Company:** NextEra Energy NextEra ... the energy industry. **Position Specific Description** We are seeking a Principal Research Engineer to lead transformative R&D initiatives. This role combines… more
- Lockheed Martin (Arlington, VA)
- …areas of research to lead future technology advances in applied formal methods , simulation, test, verification, validation, and certification of autonomous ... Electrical Engineering, or related areas with strong mathematical background * Conducted research primarily in neuro\-symbolic AI, combining methods such as… more
- Google (Mountain View, CA)
- …inspire each other to push boundaries and achieve ambitious goals The Role As a Research Engineer in Strategic Initiatives, you will use your AI and software ... order to set you up for success as a Research Engineer at Google DeepMind, we look...+ Experience with GenAI language models, programming languages, compilers, formal methods , and/or private storage solutions. +… more
- Lockheed Martin (Arlington, VA)
- …areas of research to lead future technology advances in applied formal methods , simulation, test, verification, validation, and certification of autonomous ... networks, game theory, causal fusion, neuro\-symbolic reasoning, GenAI \) \- Formal methods for assurance, optimization, and verification/validation \(e\.g\., … more
- Target (Brooklyn Park, MN)
- …and culture. Learn more about Target here (https://corporate.target.com/about) . As an Engineer , you serve as a technical specialist delivering the engineering that ... that can influence both. **About this Team:** ATP Ship Methods is one of the most complex systems in...part of groundbreaking thinking and visionary goals. As an engineer , you'll take the lead as you Use your… more
- Xcel Energy (Denver, CO)
- …overall experience, qualifications, and interview results.** We seek a dedicated and skilled engineer to join our DER Integration team. This team is responsible for ... on assessing the impact on reliability and safety and determining the best methods for safe and reliable interconnection. The team collaborates closely with various… more
- Sacramento Municipal Utility District (Sacramento, CA)
- Title: Associate Mechanical Engineer Journey Level (Repost) Department: Location: Sacramento, CA, US, 95827-3824 Category: Engineering/Technical **Minimum Pay ... Department. SMUD is seeking a knowledgeable Associate (Journey) Mechanical Engineer experienced in power generation, with strong project management skills.… more