- 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