- Northrop Grumman (San Diego, CA)
- …integration testing with embedded processors and avionics systems + Participate in formal verification and validation activities + Synthesis, Place & Route, ... you will develop requirements, define HW/SW interfaces and determine verification approaches. You will establish integrated product development workflows, processes… more
- GovCIO (Tampa, FL)
- …planning & design and ensures requirements are complied with through formal verification methods. Translates high-level product development strategies into ... + During the Hiring Process + Enhanced Biometrics ID verification screening + Background check, to include: + Criminal...to include: + Criminal history (past 7 years) + Verification of your highest level of education + … more
- Amazon (San Diego, CA)
- …- Familiarity with UVM and Matlab - Ability to write assertions and exposure to Formal verification - Strong written and verbal skills Amazon is an equal ... solutions, and meeting the power objectives . Create standalone verification test bench to verify the correctness of your...the correctness of your block . Work with the verification team and participate in System level verification… more
- Amazon (Sunnyvale, CA)
- …-Master's or Ph.D degree in Electrical / Communications Engineering -Exposure to Formal verification -Experience with physical implementation flows Amazon is an ... time to revenue. Innovators will be delighted with our integrated verification /validation environment that is used to perform architectural modeling to post-silicon… more
- Collins Aerospace (Marlborough, MA)
- …System Engineering experience a plus), assessing security vulnerabilities, and formal cybersecurity verification (including vulnerability scanning). The ... Validation * Support cybersecurity requirement decomposition, allocation, implementation, and verification utilizing system engineering practices * Analyze system requirements,… more
- Cisco (Maynard, MA)
- …as TCL, Perl, Python, etc. * Synthesis experience including Synopsys DC/FC * Formal Verification experience using tools such Synopsys Formality or Cadence LEC ... Mentor) Preferred Qualifications * Experience with floor planning & partitioning, formal equivalence check, Clock Tree Synthesis, timing closure, signal integrity,… more
- Oracle (Salt Lake City, UT)
- …security services/features such as OCI, AWS, Azure, or GCP + Exposure to formal verification , compilers, or new language development for high-assurance systems. ... Methodologies such as Center for Internet Security, PCI, ISO and others. + Formal Methods & Programming Languages - advancing verification techniques or building… more
- Oracle (Oklahoma City, OK)
- …familiarity with OCI, AWS, Azure, or GCP security services. + Exposure to formal verification , compilers, or new language development for high-assurance systems. ... and balance feature requirements, usability, compliance, and regulatory needs. + Formal Methods & Programming Languages - advancing verification techniques… more
- NVIDIA (Santa Clara, CA)
- …experience with various stages in the ASIC design flow including functional and formal verification , emulation, synthesis & timing analysis, power estimation and ... responsible for micro-architecture and design including RTL design, synthesis, functional verification , and timing analysis using groundbreaking CAD tools and using… more
- Transdev (Atwater, CA)
- …Experience with system engineering principles such as defining requirements and formal verification and validation methods + Test scripting ... Decompose system requirements and consequently design test plans and verification strategies that give Waymo the necessary evidence to...service + Improve the quality and coverage of the verification of a system + Build new processes that… more