Formal Verification Apprentice

Role Overview

We are looking for an intern for our Formal Verification department in Bengaluru, India. The role will involve working closely with seniors and engineers on various projects related to formal verification methods. This apprenticeship is designed for talented individuals eager to learn and contribute to cutting-edge technology in a collaborative environment.

Experience Level

This is an entry-level internship position, ideal for students or recent graduates pursuing a career in verification engineering or related fields.

Responsibilities

• Assist senior engineers in formal verification tasks and projects.
• Perform simulations and analyze results to ensure compliance with specifications.
• Participate in debugging and validating various designs using formal methods.
• Collaborate with team members to troubleshoot and resolve issues.
• Contribute to the development of documentation and reports.

Requirements

Candidates should have a foundational understanding of digital logic design and hardware description languages (HDLs). Strong analytical and problem-solving skills are essential. The ability to work collaboratively in a team-oriented environment is key.

Education Requirements

A degree or ongoing education in Computer Engineering, Electrical Engineering, or a related field is preferred.