Senior Formal Verification Engineer (CPU group)

Arm; Toronto; On-site; CAD 126,000 - 170,000; Full time

Job summary

Arm Solutions Engineering Security IP Team is seeking creative and enthusiastic Security Hardware Designers to join our team. This is a fantastic opportunity for Security Designers to make a difference in an innovative and inclusive team, with great opportunity for professional growth and technical advancement.

We design security IP and subsystems for pioneering SoC designs, handling architecture specifications, RTL development, verification plans, and collaboration across verification,

Qualifications

• Preferred candidates will have a Bachelor's or Graduate degree in Computer Science or Electrical/Computer Engineering.
• Successful applicants will have ownership and leadership in design and productization of Compute, Multimedia, or Security Sub-Systems and SoCs.
• Experience with security hardware, embedded processor systems, cryptography, and secure boot is expected.

Responsibilities

• Develop architectures, specifications, and design of security hardware functions for IP and subsystems.
• Collaborate with verification and implementation peers to build test plans and drive verification closure.
• Lead design exploration, optimization, and structural checks; mentor team members.
• Contribute to process/methodology improvements and help manage roadmaps and schedules.

Skills

Hardware Verilog RTL design

Security Hardware

Embedded Processor Systems

SoC architecture

Scripting (Perl/Python/TCL)

Education

Bachelor's or Graduate degree in Computer Science or Electrical/Computer Engineering

Tools

SystemVerilog

UVM/OVM

EDA methodologies

AXI/AHB protocols

Job description

Overview

The Arm Solutions Engineering Security IP Team is seeking creative and enthusiastic Security Hardware Designers to join our team. This is a fantastic opportunity for Security Designers to make a difference in an innovative and inclusive team, with great opportunity for professional growth and technical advancement.

Overview

The Arm Solutions Engineering Security IP Team is seeking creative and enthusiastic Security Hardware Designers to join our team. This is a fantastic opportunity for Security Designers to make a difference in an innovative and inclusive team, with great opportunity for professional growth and technical advancement.

We have exciting opportunities to work with a groundbreaking team. We seek Designers with expertise in SoC Security Solutions including Applied Cryptography, Key Management, Embedded Microprocessor Systems, Hardware Root of Trust, Secure Boot, and Access Control. Our team owns and contributes to the specification, development, and verification and productization of Hardware Security IP and Security Sub-Systems for pioneering SoC designs.

Responsibilities

As a creative and diligent Security Hardware Designer, you will be part of a team that will develop Security IP and Subsystems. You will develop architectures, specifications, and design sophisticated security hardware functions. We will partner with verification and implementation peers to build test plans, drive verification closure, support debug, and achieve functional, power, and performance sign off.

The Designer's primary responsibilities will include architecture specification, RTL and constraint development, bug fixing, and leading design exploration, optimization, and structural checks. You will contribute to the development and enhancement of processes and methodologies shared by the team. You will mentor team members and balance demands working with the leadership team on project management, roadmaps, initiatives, and schedules.

Required Skills & Experience

Preferred candidates will have successfully completed a Bachelor's or Graduate degree in Computer Science or Electrical/Computer Engineering. Successful applicants will have established track records of sophisticated ownership and leadership in the successful design and productization of Compute, Multimedia, or Security Sub-Systems and SoCs.

• Advanced understanding of hardware Verilog RTL design, verification, and EDA methodologies.
• Proven experience in Security Hardware, Embedded Processor Systems, Applied Cryptography, Secure Boot, Key Management, and Access Controls.
• Proven experience in SoC architecture including multi-clock domains, AXI/AHB protocols, multi-power domains, and reset architectures.
• Competency with synthesis, timing analysis, and constraints development.
• Familiarity with design checks including CDC, RDC, X-Propagation, LINT.
• Familiarity with power management techniques, UPF, power estimation, and power optimization.
• Experience with Perl, Python, TCL, or other scripting language.

Nice to have:

• Familiarity with ARM-based designs and/or ARM System Architectures.
• Familiarity with ECO methodologies.
• Experience with SystemVerilog and verification methodologies - UVM/OVM, Portable Stimulus, Hardware/Firmware co-verification.

In Return:

• Partner and Customer focus - We anticipate and exceed customer needs.
• Teamwork and Communication - We collaborate optimally across diverse teams.
• Creativity and Innovation - We challenge the status quo. We develop careers and personal growth.
• Impact and influence - We deliver measurable, trusted results.
• Deliver on your promises -You demonstrate ownership and accountability.
• United in Purpose, Empowered Through Inclusion - We value diversity to build better solutions.

#LS-KS1

Salary Range: $125,800-$170,200 per year

We value people as individuals and our dedication is to reward people competitively and equitably for the work they do and the skills and experience they bring to Arm. Salary is only one component of Arm's offering. The total reward package will be shared with candidates during the recruitment and selection process.

Accommodations at Arm

At Arm, we want to build extraordinary teams. If you need an adjustment or an accommodation during the recruitment process, please email [e-mail]. To note, by sending us the requested information, you consent to its use by Arm to arrange for appropriate accommodations. All accommodation or adjustment requests will be treated with confidentiality, and information concerning these requests will only be disclosed as necessary to provide the accommodation. Although this is not an exhaustive list, examples of support include breaks between interviews, having documents read aloud, or office accessibility. Please email us about anything we can do to accommodate you during the recruitment process.

Hybrid Working at Arm

Arm's approach to hybrid working is designed to create a working environment that supports both high performance and personal wellbeing. We believe in bringing people together face to face to enable us to work at pace, whilst recognizing the value of flexibility. Within that framework, we empower groups/teams to determine their own hybrid working patterns, depending on the work and the team’s needs. Details of what this means for each role will be shared upon application. In some cases, the flexibility we can offer is limited by local legal, regulatory, tax, or other considerations, and where this is the case, we will collaborate with you to find the best solution. Please talk to us to find out more about what this could look like for you.

Equal Opportunities at Arm

Arm is an equal opportunity employer, committed to providing an environment of mutual respect where equal opportunities are available to all applicants and colleagues. We are a diverse organization of dedicated and innovative individuals, and don't discriminate on the basis of race, color, religion, sex, sexual orientation, gender identity, national origin, disability, or status as a protected veteran.