- 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
- 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
- Bayer (Indianola, PA)
- …diverse minds to make a real difference, there's only one choice.** **Device Research & Early Development Engineer Co-Op** **YOUR TASKS AND RESPONSIBILITIES** ... used for characterize of medical devices; + Develop test methods and protocols to be used for evaluation of...the efficiency of evaluating experimental results; + Prepare of formal test reports to provide a record of testing… 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
- City of Thornton (Thornton, CO)
- …goals. Ability to use initiative and independent judgment appropriately. Ability to research , develop and lead formal and informal presentations and discussions ... Project Manager I/II/Civil Engineer -CIP Print (https://www.governmentjobs.com/careers/thornton/jobs/newprint/5039974) Apply Project Manager I/II/Civil Engineer… more