- Northrop Grumman (Los Angeles, CA)
- …as oscilloscopes and logic analyzers. . Generation of Test Benches and support of formal VHDL Verification . Active/Current DoD Secret Clearance or higher level ... Technology, Engineering or Mathematics) discipline with 5 years of digital verification engineering experience using industry standard simulation tools; 3 years with… more
- Huntington Ingalls Industries (Roanoke, VA)
- …description languages, embedded instruction architectures, high-level software development languages, formal verification tools, and more. The ideal candidate ... will have experience with object-oriented design and an understanding of basic logic gates. We are particularly looking for candidates that have experience with FPGA design (Quartus, Vivado, ISE), embedded system design, EDA tools (synthesis, P&R, simulation),… more
- New York University (Brooklyn, NY)
- …security, virtualization, software supply chain security software, networking code, and/or formal verification tools; + Expertise in developing security focused ... software; + Demonstrated track record of mentoring students and/or open source contributors; + Experience advocating for adoption of software, ideally open source software. Applicants should submit, as one pdf, the following information: + A brief cover… more
- Huntington Ingalls Industries (Roanoke, VA)
- …description languages, embedded instruction architectures, high-level software development languages, formal verification tools, and more. The ideal candidate ... will have experience with object-oriented design and an understanding of basic logic gates. We are particularly looking for candidates that have experience with FPGA design (Quartus, Vivado, ISE), embedded system design, EDA tools (synthesis, P&R, simulation),… more
- Microsoft Corporation (Redmond, WA)
- …data structures. + End-to-end encrypted communications. + Formalization and formal verification of cryptography. + Verifiable election technologies. ... The base pay range for this internship is USD $6,710 - $13,270 per month. There is a different range applicable to specific work locations, within the San Francisco Bay area and New York City metropolitan area, and the base pay range for this role in those… more
- Huntington Ingalls Industries (Roanoke, VA)
- …description languages, embedded instruction architectures, high-level software development languages, formal verification tools, and more. The ideal candidate ... will have experience with object-oriented design and an understanding of basic logic gates. We are particularly looking for candidates that have experience with FPGA design (Quartus, Vivado, ISE), embedded system design, EDA tools (synthesis, P&R, simulation),… more
- DEKA Research & Development (Manchester, NH)
- …lab services several active projects beginning with early prototype testing through Formal Verification Testing. DEKA maintains an internal test lab including ... a semi-anechoic chamber and works with local test labs. You will have the opportunity to shape the lab process as part of continual improvement. How you will make an impact as an EMC Test Engineer: + Work closely with device teams to become familiar with the… more
- Huntington Ingalls Industries (Roanoke, VA)
- …description languages, embedded instruction architectures, high-level software development languages, formal verification tools, and more. The ideal candidate ... will have experience with object-oriented design and have an understanding of basic logic gates. We are particularly looking for candidates that have experience with FPGA design (Quartus, Vivado, ISE), embedded system design, EDA tools (synthesis, P&R,… more
- Amazon (Cupertino, CA)
- …physical design flows, and methodologies including synthesis, place and route, STA, formal verification . - Proven track record of delivering metric driven ... PPA flow development and support. Preferred Qualifications - Demonstrated level of expertise in PD tools such as Innovus, ICC2, FusionCompiler, STA, and Sign-Off. - Experience in evaluating multiple vendor solutions and driving tool decisions. - Experience in… more
- Microsoft Corporation (Redmond, WA)
- …team, you'll explore and innovate across a range of topics, including: + ✅ ** Formal Verification ** : Modeling and verifying AI agent's behavior to ensure ... correctness. + ⚙️ **Reliability & Safety** : Ensuring agents execute tasks without failure or unintended side effects. + **Intelligent Task Handling** : Designing agents that can efficiently manage complex workflows. + **Secure Execution** : Guaranteeing… more
Recent Jobs
-
Team Leader, Operations
- Crate & Barrel (Edina, MN)
-
Management Trainee | Western Nassau County, Long Island
- Enterprise Mobility (Hempstead, NY)
-
Physical Therapist Assistant - McLaren Careers
- McLaren Health Care (Bay City, MI)
-
Technical Sales Manager
- Voltyx (Rockaway, NJ)