Intern assisting Candi Asset Management with solar portfolio performance through monitoring and analysis. Engaging in innovative projects in a multicultural environment.
About the role
- Formal Verification Engineer ensuring quality and reliability of Intel's cutting-edge CPU technologies. Collaborating with teams to develop and validate high-performance CPUs.
Responsibilities
- Own the formal verification of microarchitecture blocks, methodologies, and critical aspects of CPU designs
- Develop comprehensive formal verification strategies, plans, and proofs aligned with microarchitecture specifications
- Create abstraction models to simplify design complexity and ensure convergence on validation
- Collaborate with architects, RTL developers, and physical design teams to enhance verification efficiency
- Analyze, debug, and resolve issues identified during verification, documenting findings and corrective actions
- Develop and document formal verification test plans and conduct technical reviews with design and architecture teams
- Maintain and innovate formal verification infrastructure and methodologies to streamline development
- Mentor junior engineers and contribute to the growth of technical expertise within the team
- Support post-silicon failure debug and resolution efforts when required
Requirements
- Bachelor's degree in Computer Engineering, Electrical Engineering, or a related field with 8+ years of relevant experience or a Master's degree with 6+ years or a PhD with 4+ years
- Proficiency in formal verification, including the use of industry-standard tools such as JasperGold, Questa Formal, or VC Formal
- Strong understanding of computer architecture fundamentals, microarchitecture, and memory systems
- Hands-on experience with hardware modeling languages, including System Verilog or Verilog
- Proficiency in scripting or programming languages such as Python, Perl, C/C++, or TCL
- Experience in assertion writing, coverage analysis, and failure debugging
Benefits
- competitive pay
- stock bonuses
- health, retirement, and vacation benefits
Job title
Job type
Experience level
Salary
Degree requirement
Tech skills
Location requirements
Process Engineer Automation at Lohmann, managing production automation from development to series production. Key role in advancing high - tech adhesive solutions internationally with a focus on innovation.
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.
Senior Technical Leader driving process innovation across advanced semiconductor technologies in volume manufacturing for Intel's foundry. Leading development and optimization of thin film deposition processes.
Onsite Engineer at CDW supporting IT hardware deployment and installation across NHS sites. Providing technical assistance and maintaining compliance with NHS standards and protocols.
Materials and Processes Engineer in Seville focusing on industrial processes and quality for Airbus Defence & Space. Joining engineering team to manage M&P Industrial Projects and technical assessments.
Project Engineer managing equipment design and project execution for Nikkiso Cryoquip in Murrieta, CA. Responsible for project accuracy and quality from conception to completion.
Senior Structural Analysis Engineer supporting Repair Record Review and modification at Boeing Converted Freighter Structural Analysis team. Collaborating with cross - functional teams to conduct stress analyses and provide technical direction.
Graduate Environmental Engineer for Boeing ensuring compliance with environmental legislation and sustainability objectives. Collaborating across teams to manage environmental impacts for UK Defence products.
Graduate System Safety Engineer at Boeing managing safety assessments for products and services. Collaborating in a team - oriented environment ensuring compliance with safety legislation and standards.