- Crown Equipment Corporation (Celina, OH)
- …engineering expertise to plan and perform testing and analysis supporting new product development/design verification , manufacturing and supplier quality, and ... Electro-Mechanical Systems Validation Engineer (Indefinite US Work Authorization Required) Location: Celina,...of the work, perform analysis of results and write formal reports as required. + Laboratory Operations - Support… more
- GE Vernova (Houston, TX)
- …and controls. + Demonstrated expertise in energy storage controls, validation and verification , formal methods, systems integration, advanced controls or related ... **Job Description Summary** We are seeking a highly skilled Senior Service Control Engineer to join our Solar and Storage Solutions engineering team. In this pivotal… more
- Oshkosh Corporation (Frederick, MD)
- …and accessories-can be found all over the world.** The Sr Principal Engineer -Autonomy & Active Safety will lead engineering support efforts for autonomy development, ... + Responsible for advanced vehicle system controls research, development, verification and validation, testing and production implementation. + Establish… more
- Northrop Grumman (Roy, UT)
- …to stealth bombers, to landing on the moon. We look for people who have bold new ideas, courage and a pioneering spirit to join forces to invent the future, and have ... Grumman Defense Systems is seeking a **Principal/Sr. Principal Systems Modeling Simulation Engineer ** . This position is located in **Roy, UT** and supports the… more
- Huntington Ingalls Industries (Fort Meade, MD)
- …Are proficient with EDA tools (Synopsis, Altium, Modelsim) * Have experience with formal verification tools and methodologies (OneSpin 360, Questa, etc.) * Have ... the team by utilizing in-house software tools to reverse engineer hardware assets provided by the US government. During...P&R, simulation, etc.) + Have the ability to learn new skills quickly Preferred Requirements * Have experience with… more
- GE Vernova (NY)
- …and controls. * Demonstrated expertise in energy storage controls, validation and verification , formal methods, systems integration, advanced controls or related ... to a sustainable, decarbonized future. The Lead Controls Requisition Engineer works as part of the Solar & Battery...FO etc. * Support problem identification and resolution of new and installed products. * Help support and develop… more
- NVIDIA (Santa Clara, CA)
- …using various flows and methodologies including: Static Timing analysis, EM and IR analysis, Formal Verification At NVIDIA, we have been at the forefront of ... We are now looking for a Senior SRAM Engineer ! The Full Custom Macro team at NVIDIA...a "learning machine," constantly evolving and adapting to seize new opportunities. We seek challenges that are not only… more
- Huntington Ingalls Industries (Fort Meade, MD)
- …hardware description languages, embedded instruction architectures, high-level software development languages, formal verification tools, and more. + The ideal ... math (AND, OR) * Have the ability to learn new skills quickly * 2 years relevant experience with...acuity and manual dexterity for meeting the requirements Software Engineer family. The listed salary range for this role… more
- Lockheed Martin (Arlington, VA)
- …our 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
- Lockheed Martin (Arlington, VA)
- …* Conducted research in at least one more adjacent area such as formal verification /methods \(e\.g\., theorem provers, SMT/SAT solvers, etc\.\) or assurance and ... our areas of research to lead future technology advances in applied formal methods, simulation, test, verification , validation, and certification of autonomous… more