Engineer Test designing, developing, and implementing testing methods at HII's Ingalls Shipbuilding division. Collaborating on testing and evaluating devices in a major naval shipbuilding company.
About the role
- Seeking a CPU Core Formal Verification Engineer at Intel. Focus on verifying CPU architecture and micro-architecture changes through formal verification methods.
Responsibilities
- Technical ownership of formal verification of a microarchitecture block, methodology, or otherwise significant aspect of the P-Core CPU.
- Understand and contribute to micro-architecture specification and define the formal verification strategy for a significant portion of the design.
- Lead ROI analysis and recommend appropriate use of formal verification vs dynamic validation techniques for relevant parts of the CPU.
- Document formal test plans and drive technical reviews of plans and proofs with design and architecture teams.
- Post-silicon failure debug and sighting resolution.
- Mentor junior team members.
- Develop validation automation tools to accelerate execution.
- Collaborate on validation approach and strategy beyond immediate team.
- Work with global Formal verification experts and design teams within the organization.
Requirements
- Bachelors degree in Computer/Electrical Engineering or Computer Science and 3+ years of relevant work experience.
- Masters degree in Computer/Electrical Engineering or Computer Science and 2+ years of relevant work experience.
- PhD in Computer/Electrical Engineering or Computer Science with an emphasis on formal verification and 1+ years of relevant work experience.
- 1+ years of experience in/with computer architecture with emphasis on out of order processor execution, memory hierarchy, and memory management.
- Industry standard formal verification tools such as JasperGold, IFV, Questa Formal, VC Formal.
- Hardware modeling language, such as Verilog, VHDL, or System Verilog and industry standard logic simulation tools.
- Assertion writing, checker development, coverage analysis, failure debug, root cause analysis.
- Programming in at least one language: C/C++, Java, Specman E, OVM, UVM and familiarity with any of scripting languages: Perl, Python, Ruby, TCL.
Benefits
- competitive pay
- stock bonuses
- health
- retirement
- vacation
Job title
Job type
Experience level
Salary
Degree requirement
Tech skills
Location requirements
Engineer Mechanical 1 at Newport News Shipbuilding responsible for the planning, design, and development of mechanical systems. Collaborating with trades on servicing Navy nuclear reactors in Virginia.
Early Career Environmental Engineer at Geosyntec involved in site assessment and remediation projects. Apply academic knowledge to real - world situations while learning essential consulting skills.
Tech Pubs Engineer involved in creating and revising Tech Pubs documents for aviation. Collaborating with authors, illustrators while adhering to aerospace standards and delivering high quality work.
Manufacturing Engineer enhancing production automation and supporting lean manufacturing efforts at Supermicro. Focusing on hands - on production automation enhancements for AI factory operations.
Service tooling and ancillary equipment to ensure smooth manufacturing operations at Ball Corporation. Work includes maintenance, repairs, and setting up production lines in Kettering, UK.
Product Development Engineer at Mercedes - Benz integrating powertrain systems and collaborating with various departments. Overseeing automotive product development and ensuring technical compatibility of components.
PMO overseeing significant nuclear projects at Ekium in Aix - en - Provence. Collaborating with teams and ensuring project adherence to best practices and regulations.
Senior Manufacturing Engineer executing Capital automation projects at JELD - WEN facilities. Directing cross - functional teams to achieve operational excellence through CI, Lean Six Sigma, and SQDCI methodologies.
Technical Product Support Engineer ensuring optimal fleet performance and leading technical failure analysis at Applied Materials for semiconductor manufacturing. Requires strong problem - solving and collaboration skills.