- RTX Corporation (Cambridge, MA)
- …Do** **Responsibilities include, but are not limited to:** + Build and advance a Formal Methods -related research area for BBN, having measurable impact on ... this position, you will pursue external funding from government research agencies (eg DARPA, IARPA, DoD Service Labs) to...is an opportunity to exciting new technologies to support Formal Methods for verification of processes, networks,… more
- RTX Corporation (Cambridge, MA)
- …you will contribute strong software development skills, and apply reasoning and formal methods techniques to significantly enhance security and resilience of ... them more secure and resilient. + Advance network security research at BBN. + Own projects or large components...programming. + Experience with the application and scaling of formal methods techniques such as model checking,… 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
- RTX Corporation (Arlington, VA)
- …systems, we apply neuro-symbolic techniques (ie semantic technologies, deep neural networks, formal methods , etc) to understand the characteristics of autonomous ... knowledge gained from that experience into new and advanced research threads. In this age of automation and intelligence...Javascript as either a data scientist, software or systems engineer + Ability to lead and work with scientists… 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
- Belay Technologies (Annapolis Junction, MD)
- …in 2020 and a finalist in 2021! Belay Technologies is seeking a Systems Engineer to join our intel team. Candidates should have the following qualifications: + ... with the Systems Engineering area of responsibility. The Level 1 System Engineer (SE) shall possess the following capabilities: + Manage system requirements and… more
- Sacramento Municipal Utility District (Sacramento, CA)
- Title: Associate Mechanical Engineer , Journey (Open until filled) Department: Power Generation Location: Sacramento, CA, US, 95827-3824 Category: ... Department. SMUD is seeking a knowledgeable Associate (Journey) Mechanical Engineer experienced in power generation, with strong project management skills.… more
- NVIDIA (Santa Clara, CA)
- …(RTOS), ARM architecture, Virtualization, strong C and/or Ada/SPARK programming skills, and experience with formal methods , we want to hear from you! Join us in ... an exciting opportunity for a talented Senior System Software Engineer to join our dynamic Automotive Team and help...revolutionizing the industry. We are making extensive use of formal methods to automate our workflow and… more
- State of Colorado (Denver, CO)
- Professional Engineer II - Staff Bridge, Denver Print (https://www.governmentjobs.com/careers/colorado/jobs/newprint/4913260) Apply Professional Engineer II - ... Time Job Number HAA-50004039-04/25 Department Department of Transportation Division Chief Engineer 's Office Opening Date 04/24/2025 Closing Date 5/8/2025 11:59 PM… 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 -Thornton Water Project (contract) Print (https://www.governmentjobs.com/careers/thornton/jobs/newprint/4751737) Apply Project… 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 ... cases + Develop software that meets automotive safety and security standards, and apply formal methods (ADA SPARK, TLA+) to improve software integrity. What we… more
- Chenega Corporation (Wright Patterson AFB, OH)
- **Req ID:** 35631 **Summary** **Senior Engineer (Electrical)** **Wright-Patterson AFB (WPAFB), OH** Are you ready to enhance your skills and build your career in a ... a leader in the federal IT and Training environment. The **Senior Engineer (Electrical)** shall provide engineering services to support basic to complex… more
- CGI Technologies and Solutions, Inc. (Albany, GA)
- **Mechanical Engineer ** **Category:** Software Development/ Engineering **Main location:** United States, Georgia, Albany **Position ID:** J0325-1922 **Employment ... Type:** Full Time **Position Description:** CGI Federal is seeking a certified Mechanical Engineer to join our team in Albany, GA. The position requires a… more
- Chenega Corporation (Wright Patterson AFB, OH)
- **Req ID:** 35804 **Summary** **Senior Engineer (Mechanical)** **Wright-Patterson AFB (WPAFB), Ohio** Are you ready to enhance your skills and build your career in a ... a leader in the federal IT and Training environment. The **Senior Engineer (Mechanical)** shall provide engineering services supporting the Air Force Research… more
- Jet Propulsion Laboratory (Pasadena, CA)
- …constrained-random verification methodology aligned to the test plan. + Apply formal methods to supplement simulation-based verification. + Systematically ... and Engineering Section in the Communications, Tracking, and Radar Division conducts research , development, and flight missions in the field of airborne and… more
- The Boeing Company (El Segundo, CA)
- …opportunity for professional growth. Find your future with us. We are Boeing Research & Technology (BR&T): Boeing's global research and development team creating ... of Advanced Computing and its associated subordinate technologies. Boeing Research and Technology is looking for an **Senior Systems... and Technology is looking for an **Senior Systems Engineer Lead** based in **El Segundo, CA** **or Huntington… more
- Chenega Corporation (Wright Patterson AFB, OH)
- …Training environment. The **Site Lead (Electrical Engineer ) s** hall provide engineer management support to the Air Force Research Laboratory at ... **Req ID:** 34757 **Summary** **Site Lead (Electrical Engineer )** **Wright-Patterson AFB (WPAFB), Ohio** Are you ready to enhance your skills and build your career… more
- Parker Hannifin Corporation (Irvine, CA)
- …related areas to improve cost and performance by applying advanced engineering design methods , theories, and research techniques. + Maintains advanced level of ... Principal Systems Engineer Location : Irvine, CA, United States Job...functional/performance tests pertaining to the development of new designs, methods , materials, equipment or processes and completes required documentation… more
- Parker Hannifin Corporation (Holly Springs, MS)
- Sr. Design Engineer Location : HOLLY SPRINGS, MS, United States Job Family : Engineering Job Type : Regular Posted : Mar 6, 2025 Job ID : 55097 Back to Search ... Results Job Description Apply Now > Save JobJob Saved Analyzes, research , and designs components or a system of components to develop or improve existing products… more
- Post Holdings Inc. (Fitzgerald, GA)
- …H. Lee Partners, LP ("THL"), a private equity firm. Responsibilities The Regional Process Engineer is a key resource for the business and ensures that they can ... achieved 100% Ensuring resources are equipped with and trained on standards and methods to enable them to run equipment and formulas in accordance with expectations… more