Formal Verification Engineer
Al-Qadir Heights, Babar Block Garden Town, Lahore – Full-time
About the Role
We are looking for experienced engineers with a strong background in hardware design or verification to join our Formal Verification team. If you have expertise in RTL design, simulation-based verification, or related areas, but limited exposure to formal methods, we will provide comprehensive training to equip you with the necessary skills. Once trained, you will work on high-impact projects to verify cutting-edge designs using formal verification techniques.
Responsibilities
- Learn and apply formal verification methodologies through structured training.
- Develop and refine SystemVerilog Assertions (SVA) and other formal properties.
- Work with in-house and industry-standard formal verification tools (e.g., JasperGold).
- Collaborate with designers, architects, and other verification engineers to define verification strategies.
- Debug, analyze, and resolve formal verification results efficiently.
- Continuously enhance verification methodologies and contribute to best practices.
Requirements
- Bachelor’s or Master’s degree in Electrical Engineering, Computer Engineering, or related field.
- 3+ years of experience in RTL design, simulation-based verification, or related domains.
- Strong proficiency in SystemVerilog and/or other HDL languages (Verilog, VHDL).
- Familiarity with UVM-based verification and simulation concepts.
- Analytical mindset with problem-solving skills and attention to detail.
- Eagerness to learn formal verification techniques.
Preferred Qualifications
- Prior exposure to formal verification is a plus but not required.
- Experience with JasperGold or similar formal tools is beneficial.
- Knowledge of RISC-V architecture or processor verification is advantageous.
Why Join Us?
- Get trained in industry-leading formal verification techniques.
- Work on challenging and innovative projects.
- Collaborate with a team of experts in a dynamic and growth-focused environment.
- Competitive compensation and opportunities for career growth.
If you are passionate about hardware verification and eager to expand your expertise in formal methods, we’d love to hear from you!