Industrial Engineer in Motorsports at MAHLE responsible for production control and system optimization. Collaborating on project planning and standard operating procedures for engineering.
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
Automotive engineer developing packaging solutions for autonomous vehicles, electric mobility, and digitalisation. Optimising performance and sustainability through continuous innovation for the automotive industry.
Automotive engineer developing solutions for autonomous vehicles and electric mobility at Expleo. Optimizing performance and sustainability through continuous innovation in the mobility industry.
Senior Desktop Engineer leading the engineering team to develop and implement solutions at Sun Life. Requires strong technical skills and experience in healthcare.
Manufacturing Engineer optimizing processes for high - precision motion systems at PI. Collaborate with assembly teams and ensure products are built correctly and on schedule.
Safety Analysis Engineer at GM ensuring the functional safety of in - house developed ECUs. Addressing safety challenges through analysis and leadership in a dynamic team.
Intern role at Southwire providing hands - on experience for students in the wire and cable industry. Engaging in meaningful projects and collaboration with experienced professionals.
Engineer or technician in building automation managing projects in measurement, control, and regulation technology in Dortmund. Planning and consulting for complex technical systems.
FS
Engineer designing stationary fire extinguishing systems for VINCI Energies. Collaborating on project planning and construction changes in fire protection solutions.
Young Professional Engineer designing fire protection systems at Calanbau. Engaging in project planning and construction of fire fighting systems in an experienced team.