- 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
- Kratos Defense & Security Solutions, Inc. (Roseville, CA)
- …additional duties and responsibilities listed. + Understand and exploit physics/electromagnetics to engineer new novel and break through methods to deliver ... Job Descriptions: GENERAL JOB SUMMARY: The Signature Management and Survivability Engineer will participate/lead a wide variety of tasks and explorations in… 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)
- …looking for. **The below job summary and responsibilities reflect the principal** ** engineer level role** **. The successfully chosen candidate will be placed at ... as different skills and/or experience will be required at the** **senior** ** engineer level.** **Position Summary:** Viewed as the technical engineer or… more
- Air Education and Training Command (Luke AFB, AZ)
- …primary purpose of this position is to serve as a senior professional engineer and lead, providing difficult and complex facility project planning and programming ... such as from private contracting companies, Army Corps of Engineer , and the AF Civil Engineer Center....creating programming documents such as data forms, funding forms, formal presentation drawings, and other supporting documents to submit… more
- Applied Research Associates, Inc. (Tyndall AFB, FL)
- …Science Division of Applied Research Associates, Inc. (ARA) is seeking a Senior Engineer 1 to join our Aircraft Operating Surfaces (AOS) team at Tyndall AFB, FL. ... As a Senior Engineer 1, you will serve as a subject matter...engineering. You will use various analytical, scientific, and engineering methods to execute research , development, testing, and… more
- US Pacific Fleet, Commander in Chief (Honolulu County, HI)
- …equivalent experience in the private or public sector as a Professional General Engineer overseeing or developing a formal and informational engineering training ... Summary You will serve as a GENERAL ENGINEER in the ENGINEERING AND PLANNING DEPARTMENT (Code... qualifications for audit and historical purposes. You will research , prepare, and revise lesson plans, visual ads and… more
- Serco (Washington, DC)
- …impact towards our military defense and safety of our sailors As the Electrical Engineer , you will be on a dynamic team providing technical and programmatic support ... customers. Serco-NA has an opening for and immediately hiring a Electrical Engineer supporting the Electrical Systems Integration Team in PMS450, the VIRGINIA Class… more
- Teledyne (Garland, TX)
- …excitement of being on a team that wins. **Job Description** Manufacturing Engineer : Develops, implements and maintains methods , operation sequence and processes ... water quality environmental monitoring, electronics design and development, oceanographic research , deepwater oil and gas exploration and production, medical imaging… more
- Sacramento Municipal Utility District (Sacramento, CA)
- Title: Associate Distribution System Engineer Entry Level Department: Transmission & Distribution Maintenance Planning Location: Sacramento, CA, US, 95827-3824 ... SMUD is looking to fill a regular, full-time Associate Distribution System Engineer position in the Transmission & Distribution Maintenance Planning team. We are… more
- Sacramento Municipal Utility District (Sacramento, CA)
- Title: Associate Distribution System Engineer Journey Level Department: Transmission & Distribution Maintenance Planning Location: Sacramento, CA, US, 95827-3824 ... SMUD is looking to fill a regular, full-time Associate Distribution System Engineer position in the Transmission & Distribution Maintenance Planning team. We are… more
- Rochester Institute of Technology (Rochester, NY)
- **9620BR** **Position Title:** Senior Engineer - Energy Systems **Organization:** CIMS Pollution Prevention Institute **Job Responsibilities:** Screen companies for ... State environmental focus areas to inform decisions on project areas. + Use screening methods and input from P2I management to choose the most impactful and relevant… more
- Nomad Global Communication Solutions (Columbia Falls, MT)
- Position : Solution Sales Engineer lll - Columbia Falls Division : Business Development / Customer Success Department : Sales Status: Full-Time Overview: Nomad ... subject matter expertise, while positively contributing to our team. The Solution Sales Engineer II plays a pivotal role in CMOC solution development across all… more