Intermediate Validation Engineer at DATAmundi leading SSD product validation and optimization. Collaborating with engineers to ensure high - quality, next - generation memory products meet strict performance standards.
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
Forward Deployed Engineer developing AI - powered software at Lovable in Stockholm. Building new engineering functions and partnering with customers to create groundbreaking solutions.
Process Manufacturing Engineer developing and implementing PCB manufacturing systems at TTM Technologies. Focused on improving manufacturability and collaborating with customers and suppliers.
Process Engineering Manager at TTM Technologies leading technical direction and engineering oversight. Responsible for design robustness and manufacturability to meet project milestones and quality standards.
Senior APQP Engineer overseeing advanced product quality planning processes for mechatronic products at Interroll. Leading cross - functional teams to ensure high product and process quality from concept to production.
Senior Systems Mission Engineer supporting National Security Space systems at Aerospace. Provide engineering expertise across multiple acquisition programs for mission integration and interoperability.
Fire Pump Engineer focusing on diesel - driven pump systems across the Midlands, ensuring compliance and reliability. Join Johnson Controls, working within a supportive collaborative environment.
Designing and developing secure, policy - driven enterprise browser features for a global fintech leader. Collaborating with security architects and platform engineers to enhance system integrations and performance.
Automotive engineer developing solutions for autonomous vehicles and electric mobility. Join Expleo to optimize performance and sustainability through innovation.
Supplier Quality & Development Engineer enhancing supplier quality management processes at Hitachi Energy. Collaborating cross - functionally to ensure compliance with standards in manufacturing.