- 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
- Google (Mountain View, CA)
- …and education. About You In order to set you up for success as a Research Engineer at Google DeepMind, we look for the following skills and experience: ... PyTorch or similar. + Experience or interest in hardware verification technologies, formal methods , theorem proving, and hardware testing methodologies. +… 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
- International (Lisle, IL)
- …Motors CAE team has an exciting opportunity for a Senior Project Engineer - Multibody Simulation. International Motors Structural and MBD team within International ... dynamic simulations across all our commercial vehicles. The Senior Project Engineer will provide technical expertise in the Multibody Simulation area supporting… more
- Xcel Energy (Denver, CO)
- …as different skills and/or experience will be required at the** **senior** ** engineer level.** **The Consultant Management Team (CMT)** is responsible for managing ... related fields. You will make decisions independently on engineering problems and methods , as well as represent the organization in project meetings/reviews to… more