Formal Verification Engineer at Intel verifying IP and microarchitectures using formal methods. Collaborating with teams on cutting-edge CPU technology development while participating in methodology enhancement.
Responsibilities
Conducts verification of IP and/or SoC microarchitecture using formal verification tools
Creates comprehensive formal verification test and coverage plans
Develops formal proofs and reviews proofs, creates methods for verification
Collaborates with architects, RTL developers, and physical design teams
Maintains and improves existing functional verification infrastructure and methodology
Requirements
B.S. in Computer Engineering or Electrical Engineering with 3+ years of experience or M.S. with 2+ years or PhD
Experience with sequential equivalence checking in complex micro-architectures
Experience in assertion writing, checker development, coverage analysis, failure debug, root cause analysis
Knowledge of computer architecture, memory hierarchy, and management
Hands-on experience with formal verification tools like JasperGold, Questa Formal, VC Formal
Experience with a hardware modeling language (Verilog, VHDL, System Verilog)
Programming experience in C/C++, Perl, Python, Ruby, Java, TCL
Entry level engineering role at American Electric Power, applying engineering knowledge for project work. Collaborating with higher - level engineers to resolve technical problems and contribute to project planning.
Project Engineer supporting coastal, waterfront, and dredging projects for Foth's infrastructure team. Collaborating on civil/environmental engineering and marine construction from concept through construction.
Lead Wastewater Treatment Engineer at Foth handling municipal wastewater project designs and business development. Joining a team focused on leveraging technology for wastewater treatment innovation.
Water/Wastewater Engineer at Foth enhancing municipal infrastructure in Iowa office locations. Contributing to innovative projects that impact community utility systems.
Safety Engineer supporting safety programs at the Bayport Polymers sites. Ensuring compliance with safety regulations and improving safety performance.
Project Engineer at DOF executing assigned work packages as part of the engineering team. Supporting project or tender execution in a highly skilled and positive environment.
Engaging content developer for diploma programs at L'atelier des Chefs. Collaborating with project leads to create innovative learning paths and ensure quality e - learning materials.
Ingénieur Travaux Génie Civil supervisant des projets complexes de réparation et de renforcement d’ouvrages d’art. Basé à Nantes, impliquant collaboration avec clients et équipes techniques.
Senior Messaging Engineer providing SME in messaging solutions for global IT team. Designing and maintaining Microsoft Exchange Hybrid infrastructure and Office 365 messaging security.