Senior Staff Formal Verification Engineer
Confirmed on the employer's own hiring board on Oct 23, 2026. First seen by Alion on Oct 23, 2026. AMD scores B on the Alion truth index.
ADVANCE YOUR CAREER. ADVANCE THE WORLD.
At AMD, we believe technology has the power to solve the world’s most important challenges. From advancing healthcare and scientific discovery to powering AI and the technologies people rely on every day, innovation at AMD is shaping the future.
Whether you’re designing next-gen processors, enabling AI breakthroughs, or bringing leading edge products to market, every role at AMD contributes to something bigger - technology that moves the world forward. Join us and, together, we’ll advance your career.
THE ROLE:
Push Boundaries, Deliver Innovation and Change the World! In this role you will be given an opportunity to work on the next generation technology that will be part of future AMD Microprocessors powering Gaming Consoles, Servers and Personal Computers as well as Graphics Cards and VR sets. This team also is responsible for the Design and Verification of several critical as well as the integration to other subsystems and SOC. The Design and Design Verification groups within this team are also responsible for developing a balanced architecture between power consumption and performance, delivering high complexity RTL code and creating advanced testbenches using cutting edge verification techniques.
THE PERSON:
- Strong analytical and problem solving skills with a pronounced attention to detail
- Strong communication, mentoring and leadership skills
- Skilled at driving team and tasks from start to completion with superior quality
- Can work well with cross functional teams
KEY RESPONSIBLITIES:
- The successful candidate will apply current functional verification techniques to perform and improve pre-silicon IP verification quality and product Time to Market for ASIC/SOC design.
- The candidate would involve technically in the porting/creation of the Formal Verification (FV) environment for the new design, block and IP level test plan creation and implementation, coverage analysis, and regression cleanup.
- Candidate should be able to work independently on various FV tasks and providing technical guidance to the FV team
PREFERRED EXPERIENCE:
- The candidate should have good understanding on ASIC/SOC design verification flow with SV/UVM/Formal Verification and should have
- It’s a plus if have one or more of the following experience/knowledge, such as X86/ARM/8051 architecture, AMBA(AXI/AHB/APB) bus, PCIe protocol.
- It’s also a plus if have over 6 to 8 years’ experience focusing on SV assertion/coverage/formal verification.
- The candidate is expected to exhibit good verbal and written communication skills in English, imaginative thinking and sophisticated analytical techniques, self-driven for quality and timely result, capability to solve complex problems and makes some modifications to standard methods and decision-making on important technical areas.
ACADEMIC CREDENTIALS:
- Bachelors or Masters degree in Computer Engineering/Electrical and Electronics Engineering
LOCATION:
Penang, Malaysia
#LI-KL1
Benefits offered are described: AMD benefits at a glance.
AMD does not accept unsolicited resumes from headhunters, recruitment agencies, or fee-based recruitment services. AMD and its subsidiaries are equal opportunity, inclusive employers and will consider all applicants without regard to age, ancestry, color, marital status, medical condition, mental or physical disability, national origin, race, religion, political and/or third-party affiliation, sex, pregnancy, sexual orientation, gender identity, military or veteran status, or any other characteristic protected by law. We encourage applications from all qualified candidates and will accommodate applicants’ needs under the respective laws throughout all stages of the recruitment and selection process.
AMD may use Artificial Intelligence to help screen, assess or select applicants for this position. AMD’s “Responsible AI Policy” is available here.
This posting is for an existing vacancy.
THE ROLE:
Push Boundaries, Deliver Innovation and Change the World! In this role you will be given an opportunity to work on the next generation technology that will be part of future AMD Microprocessors powering Gaming Consoles, Servers and Personal Computers as well as Graphics Cards and VR sets. This team also is responsible for the Design and Verification of several critical as well as the integration to other subsystems and SOC. The Design and Design Verification groups within this team are also responsible for developing a balanced architecture between power consumption and performance, delivering high complexity RTL code and creating advanced testbenches using cutting edge verification techniques.
THE PERSON:
- Strong analytical and problem solving skills with a pronounced attention to detail
- Strong communication, mentoring and leadership skills
- Skilled at driving team and tasks from start to completion with superior quality
- Can work well with cross functional teams
KEY RESPONSIBLITIES:
- The successful candidate will apply current functional verification techniques to perform and improve pre-silicon IP verification quality and product Time to Market for ASIC/SOC design.
- The candidate would involve technically in the porting/creation of the Formal Verification (FV) environment for the new design, block and IP level test plan creation and implementation, coverage analysis, and regression cleanup.
- Candidate should be able to work independently on various FV tasks and providing technical guidance to the FV team
PREFERRED EXPERIENCE:
- The candidate should have good understanding on ASIC/SOC design verification flow with SV/UVM/Formal Verification and should have
- It’s a plus if have one or more of the following experience/knowledge, such as X86/ARM/8051 architecture, AMBA(AXI/AHB/APB) bus, PCIe protocol.
- It’s also a plus if have over 6 to 8 years’ experience focusing on SV assertion/coverage/formal verification.
- The candidate is expected to exhibit good verbal and written communication skills in English, imaginative thinking and sophisticated analytical techniques, self-driven for quality and timely result, capability to solve complex problems and makes some modifications to standard methods and decision-making on important technical areas.
ACADEMIC CREDENTIALS:
- Bachelors or Masters degree in Computer Engineering/Electrical and Electronics Engineering
LOCATION:
Penang, Malaysia
#LI-KL1
Benefits offered are described: AMD benefits at a glance.
AMD does not accept unsolicited resumes from headhunters, recruitment agencies, or fee-based recruitment services. AMD and its subsidiaries are equal opportunity, inclusive employers and will consider all applicants without regard to age, ancestry, color, marital status, medical condition, mental or physical disability, national origin, race, religion, political and/or third-party affiliation, sex, pregnancy, sexual orientation, gender identity, military or veteran status, or any other characteristic protected by law. We encourage applications from all qualified candidates and will accommodate applicants’ needs under the respective laws throughout all stages of the recruitment and selection process.
AMD may use Artificial Intelligence to help screen, assess or select applicants for this position. AMD’s “Responsible AI Policy” is available here.
This posting is for an existing vacancy.