- 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
- Texas A&M University System (Bryan, TX)
- Job Title Teamed Autonomy Research Engineer , Levels I - IV Agency Texas A&M University System Offices Department Bush Combat Development Complex Proposed Minimum ... A&M University System (TAMUS), invites applications for a full-time Research Engineer I-IV in the focus area...research aids in the understanding and development of methods and technologies that advance future unmanned air, ground,… 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
- 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
- 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
- Battelle Memorial Institute (Beavercreek, OH)
- …Assurance Cyber Analytics Department in **Beavercreek/Dayton, Ohio** is seeking a **Cyber Research Engineer III** to join our multi-disciplinary team, bringing ... embedded security solutions for our government. As a Cyber Research Engineer at Battelle you will have...following areas: + Cybersecurity Exploitation + Vulnerability Analysis + Formal Methods + Algebra or Number Theory… more
- Xcel Energy (St. Paul, MN)
- …for. **This position can be hired at the Senior or Principal Engineer level, depending on the candidates' overall qualification, experience and interview. This ... days per week in the office) work schedule.** **Position Summary - Senior Engineer - Electric System Performance** Applies extensive technical expertise and has full… 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
- Xcel Energy (Denver, CO)
- …and economic analyses in joint planning contexts. **Position Summary: Transmission Planning Engineer (Entry Level)** **Annual Base Salary $68,300 - $86,500** This is ... technical expertise in transmission planning and power systems simulations. The Engineer performs work that involves conventional plans, investigations, studies, or… more