- Lockheed Martin (Arlington, VA)
- …areas of research to lead future technology advances in applied formal methods , simulation, test, verification, validation, and certification of autonomous ... or related areas with strong mathematical background * Conducted research primarily in neuro-symbolic AI, combining methods ...in at least one more adjacent area such as formal verification/ methods (eg, theorem provers, SMT/SAT solvers,… 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 ... neural networks, game theory, causal fusion, neuro-symbolic reasoning, GenAI ) - Formal methods for assurance, optimization, and verification/validation (eg, … 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
- Advanced Energy (Wilmington, MA)
- …RF Engineer II performs sustaining engineering work in applied research , design, development, testing, manufacturing, and documentation of existing products or ... RF Engineer I **About Advanced Energy** Advanced Energy Industries,...and manufacturing test yields of existing RF products using formal investigation methods and to recommend/implement corrective… more
- Terumo Aortic (Sunrise, FL)
- …of patients in over 100 countries worldwide. www.terumoaortic.com JOB TITLE Senior R&D Engineer DEPARTMENT Research and Development JOB CODES Exempt MAIN PURPOSE ... Senior R&D Engineer Date: Oct 26, 2025 Req ID: 5139...design change projects. + Manage samples' builds documentation for formal testing programs. + Assure Design processes are in… more
- Battelle Memorial Institute (Columbus, OH)
- …skills, compliance, knowledge, and project management experience to design engineering research studies. + Determines the appropriate analysis methods , ... Battelle delivers when others can't. We conduct research and development, manage national laboratories, design and...Summary** We are seeking a highly skilled **RF Systems Engineer ** with 8-12 years of experience in designing and… more
- Battelle Memorial Institute (Columbus, OH)
- Battelle delivers when others can't. We conduct research and development, manage national laboratories, design and manufacture products and deliver critical services ... We are seeking a highly skilled and experienced **Senior RF Systems Engineer ** with a strong background in Electronic Warfare (EW) and communications systems.… more
- 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
- Medtronic (Warsaw, IN)
- …room operations. + Society of Manufacturing Engineers certification as a "Certified Manufacturing Engineer ." + Formal training in Project Management. + Formal ... innovation and improving manufacturing processes? Medtronic is seeking a Senior Manufacturing Engineer to join our team at our Warsaw, Indiana manufacturing site. In… 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
- Maritime Administration (Kings Point, NY)
- …organization by providing ongoing feedback and by providing opportunities to learn through formal and informal methods . Education and Training - Knowledge of ... training, research , making presentations, lecturing, testing, and other instructional methods . For all types of consideration, experience refers to paid and… more
- TECO Energy (Tampa, FL)
- **Title:** Engineer I - Sr. (Varies) **Company:** Tampa Electric Company **State and City:** Florida - Tampa **Shift:** 8 Hr. X 5 Days **POSITION CONCEPT:** This ... customers and local agencies to determine the requirements for providing service. The Engineer will design and manage projects using TEC tools, and create the… 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
- 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
- Air Force Civilian Career Training (Lackland AFB, TX)
- …The PALACE Acquire Program offers you a permanent position upon completion of your formal training plan. As a Palace Acquire Intern you will experience both personal ... complexity, and problem solving. The program offers a 3-year formal training plan with yearly salary increases. Promotions and...given by the supervisor or a higher graded electronic engineer to perform a variety of specific duties designed… more
- NVIDIA (Santa Clara, CA)
- …system level components of world-class Autonomous Vehicles. We are making extensive use of formal methods to automate our workflow and increase the quality of ... interfaces + Develop software that meets automotive safety and security standards, and apply formal methods (ie TLA+) to improve software integrity. What we need… more
