- 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
- Lockheed Martin (Arlington, VA)
- …areas of research to lead future technology advances in applied formal methods , simulation, test, verification, validation, and certification of autonomous ... help Lockheed Martin maintain technology dominance\. As a group of applied research laboratories, we are professionals who develop and apply leading edge… 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 (Carlsbad, NM)
- …and interview results.** **Position Summary - Entry Level Electric Distribution Design Engineer ** **Base Salary Range $68,300 - $86,500 plus 8% Annual Incentive ... and/or provide field oversight of critical projects under direction of higher-level engineer or supervisor. Work is reviewed for soundness of technical judgment,… more
- Xcel Energy (Denver, CO)
- …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
- US Air Force - Agency Wide (Colorado Springs, CO)
- …Center's treaty monitoring programs. Executes R&D across two nuclear analysis research laboratories. Responsibilities DUTY 1: Leads research focused on ... 2: Advises senior management on the scientific and technical aspects of new research projects, utilizing deep knowledge and mastery of nuclear science. DUTY 3:… more
- Xcel Energy (Amarillo, TX)
- …and economic analyses in joint planning contexts. **Position Summary: Transmission Planning Engineer (Entry Level)** **Annual Base Salary $68,300 - $86,500 plus 8% ... technical expertise in transmission planning and power systems simulations. The Engineer performs work that involves conventional plans, investigations, studies, or… 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
- Washington Metropolitan Area Transit Authority (VA)
- …and documenting the entire system. Through penetration testing, or ethical hacking, the engineer is required to conduct formal tests on web-based applications, ... Cybersecurity Engineer III (Perimeter Security) Job ID: 250789 Location:...senior level software and systems engineering and software systems research to develop new capabilities, ensuring cybersecurity is fully… more
- PRIDE Industries (El Segundo, CA)
- …N/A **Job Description** **PRIDE Industries** **Job Description** **Job:** Mechanical Engineer - $5,000.00 Sign On Bonus **Job Code:** L07 - PR-Mechanical ... Engineer **HR Title Group:** Federal Contracts (Facilities) **Salary Grade:**...procedures, resolve system malfunctions, and provide technical information. 3. * Research and analyze customer design proposals, specifications, manuals, and… 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
- Honeywell (Phoenix, AZ)
- …ground vehicle/UAS/robotics experience. + Experience with model-based design tools and/or Formal Methods . + Knowledge of aerospace/defense industry guidelines ... high-growth businesses. **THE POSITION** As an Advanced Flight Deck Systems Lead Engineer , you will operate as the Principal Investigator and/or Program Manager for… more
- University of Miami (Miami, FL)
- …Completes energy audits and commissioning efforts in compliance with accepted industry methods and tools. + Creates formal documentation, including memorandums, ... please review this tip sheet (https://my.it.miami.edu/wda/erpsec/tipsheets/ER\_eRecruiting\_ApplyforaJob.pdf) . Facilities Automation Engineer The University of Miami/UHealth Department of Central Energy… more