2

Remote Formal Verification Engineer Jobs in Arizona

Senior Digital Engineer

Chandler, AZ ยท On-site +1

$133K/yr

Work closely with Analog and Verification engineers to deliver high-quality silicon solutions ... Our people-first culture and global support system, including the remote work option and Employee ...

Senior Digital Engineer

Chandler, AZ ยท On-site +1

$133K/yr

Work closely with Analog and Verification engineers to deliver high-quality silicon solutions ... Our people-first culture and global support system, including the remote work option and Employee ...

GENERAL ENGINEER

Tucson, AZ ยท On-site +1

$91K - $140K/yr

To learn more about E-Verify, including your rights and responsibilities, visit e-verify.gov ... remote or isolated sites. You must be able to travel on military and commercial aircraft for ...

General Engineer

Tucson, AZ ยท On-site +1

$91K - $140K/yr

To learn more about E-Verify, including your rights and responsibilities, visit e-verify.gov ... remote or isolated sites. You must be able to travel on military and commercial aircraft for ...

Energy Engineer PE I

Tempe, AZ ยท On-site +1

$103K - $132K/yr

Verify utility performance of facilities and validate savings. * Review and analyze energy ... Remote Monitoring * Collect and evaluate energy, weather, and building automation data on some ...

Verify utility performance of facilities and validate savings. * Review and analyze energy ... Remote Monitoring * Collect and evaluate energy, weather, and building automation data on some ...

Verify utility performance of facilities and validate savings. * Review and analyze energy ... Remote Monitoring * Collect and evaluate energy, weather, and building automation data on some ...

Staff Software Engineer

Phoenix, AZ ยท On-site +1

$195K - $257K/yr

Excellent communication skills, able to collaborate with remote teams, share ideas and present ... Additionally, Circle participates in the E-Verify Program in certain locations, as required by law.

Senior Software Engineer

Phoenix, AZ ยท On-site +1

$152K - $205K/yr

Excellent communication skills, able to collaborate with remote teams, share ideas and present ... Additionally, Circle participates in the E-Verify Program in certain locations, as required by law.

next page

Showing results 1-20

Remote Formal Verification Engineer information

What is a remote formal verification engineer?

Remote Formal Verification Engineers are professionals who use mathematical methods to verify the correctness of hardware or software designs, ensuring they meet specified requirements and are free from critical errors. They typically work from home or any location outside a traditional office, collaborating with teams online. Their main tasks include writing formal specifications, developing verification strategies, analyzing results, and reporting on system reliability. This role is essential in industries like semiconductor design, automotive, and aerospace, where system failures can have significant consequences.

What are the key skills and qualifications needed to thrive as a remote formal verification engineer?

To thrive as a Remote Formal Verification Engineer, you need a strong background in digital design, formal verification methodologies, and a relevant degree in computer engineering or a related field. Expertise in formal verification tools (such as JasperGold or Questa Formal), hardware description languages (like Verilog or VHDL), and scripting languages is typically required. Strong problem-solving ability, attention to detail, and effective remote communication skills set top performers apart. These skills ensure the accurate validation of hardware designs, reduce costly errors, and enable efficient collaboration in distributed teams.

How does a remote formal verification engineer typically collaborate with development and design teams across different time zones?

As a Remote Formal Verification Engineer, effective collaboration with development and design teams is critical, especially when working across multiple time zones. Most teams use a combination of asynchronous communication tools (like email, Slack, and project management platforms) and scheduled video meetings to align on goals, clarify verification requirements, and review progress. It's common to document verification plans and results thoroughly so colleagues in other regions can review and contribute. Flexibility in working hours and proactive communication help ensure smooth handoffs and minimize blockers, making remote collaboration productive and efficient.

What is the difference between Remote Formal Verification Engineer vs Remote Hardware Verification Engineer?

AspectRemote Formal Verification EngineerRemote Hardware Verification Engineer
Required CredentialsBachelor's/Master's in Electrical Engineering, Computer Science; certifications in formal methodsBachelor's/Master's in Electrical Engineering, Computer Engineering; certifications in hardware testing
Work EnvironmentDesign and analyze digital systems using formal methods remotelyTest and validate hardware components remotely in lab or simulation environments
Industry UsageSemiconductor, electronics, tech companies focusing on verificationSemiconductor, electronics, hardware manufacturing companies
Search & Comparison IntentOften compared due to similar industry and skills, focusing on verification methods

The Remote Formal Verification Engineer specializes in mathematically proving the correctness of digital systems remotely, while the Remote Hardware Verification Engineer tests and validates hardware components remotely. Both roles require strong technical credentials and are used in similar industries, but they focus on different verification techniques and processes.

What are popular job titles related to Remote Formal Verification Engineer jobs in Arizona?

For Remote Formal Verification Engineer jobs in Arizona, the most frequently searched job titles are:

What job categories do people searching Remote Formal Verification Engineer jobs in Arizona look for?

The top searched job categories for Remote Formal Verification Engineer jobs in Arizona are:

What cities in Arizona are hiring for Remote Formal Verification Engineer jobs?

Cities in Arizona with the most Remote Formal Verification Engineer job openings:

Senior Digital Engineer

Chandler, AZ โ€ข On-site, Remote

$133K/yr

Full-time

Re-posted 16 days ago


Job description

Company Description

Renesas Electronics is seeking a skilled and motivated Senior Digital Design Engineer to join our growing hardware development team in Chandler, AZ. In this role, you will be responsible for designing power and area-optimized digital circuits for complex mixed-signal applications.

Job Description
  • Interpret high level requirements to architect, design & integrate low-power digital circuits for mixed-signal data conversion and power management products in advanced process nodes.
  • Support full product lifecycle from concept to mass-production; communicating closely with wider organization through the various stages of silicon development.
  • Work closely with Analog and Verification engineers to deliver high-quality silicon solutions.
  • Ensuring digital development process is state-of-art and achieves budget, schedule, and project deliverable goals.
  • Designing digital RTL that meets timing, area, power and any adhering standards specifications.
  • Integrating design at the top level and running block & top-level simulations.
  • Participate in all aspects of Mixed-signal design flow - Micro-architecture, Design partitioning, RTL Verilog / SystemVerilog Design, Generating Timing Constraints, Synthesis, Interaction with P&R Team, Timing Analysis, LINT, CDC, RDC, UPF.
  • Working closely with P&R team to generate a layout that meets timing, area, and power requirements.
  • Support DFT strategy and implementation, and review test case development.
  • Assisting with top level test-bench debug, and running RTL & gate level simulations
  • Working with analog and digital verification engineers to come up with complex test scenarios for pre-silicon verification.
  • Supporting analog team to develop AMS, SystemVerilog or Verilog-real behavioral models.
  • Developing detailed block & chip level design documents and collateral.
  • Holding and participating in key design reviews and completion of various checklists.
  • Perform silicon evaluation as required.
  • Document device errata, develop work-around solutions, implement engineering changes when necessary.
Qualifications
  • >5 years of digital design experience in one of the following areas: wireless handheld, data conversion, and power management.
  • Degree-level qualification in Electrical Engineering, Electronics, Computer Engineering, Computer Science, or a related discipline.
  • Fluent in Verilog / SystemVerilog RTL for digital CMOS circuit design.
  • Strong understanding of ASIC design methodology.
  • Strong understanding of Lint, CDC & RDC tools.
  • Strong understanding of block-level & chip-level verification techniques.
  • Strong & proven ability to debug both RTL & gate-level simulations.
  • Mandatory competence in written and verbal English.
  • Willingness to travel domestically or internationally on short notice.
  • Ability to work independently and collaboratively.
  • Preferred: experience with mixed-signal design methodologies.
  • Preferred: experience developing design constraints and hand-off to P&R.
  • Preferred: experience with STA and timing closure.
  • Preferred: experience with low-power design techniques, including clock and power gating (UPF).
  • Preferred: experience with power analysis and optimization.
  • Preferred: experience with advanced verification methodologies (UVM).
  • Preferred: experience with industry-standard protocols such as AMBA or I2C.

Additional Information

Renesas is an embedded semiconductor solution provider driven by its Purpose ‘To Make Our Lives Easier.’ As the industry’s leading expert in embedded processing with unmatched quality and system-level know-how, we have evolved to provide scalable and comprehensive semiconductor solutions for automotive, industrial, infrastructure, and IoT industries based on the broadest product portfolio, including High Performance Computing, Embedded Processing, Analog & Connectivity, and Power.
 
With a diverse team of over 22,000 professionals in more than 30 countries, we continue to expand our boundaries to offer enhanced user experiences through digitalization and usher into a new era of innovation. We design and develop sustainable, power-efficient solutions today that help people and communities thrive tomorrow, ‘To Make Our Lives Easier.’     
 
At Renesas, you can: 

  • Launch and advance your career in technical and business roles across four Product Groups and various corporate functions. You will have the opportunities to explore our hardware and software capabilities and try new things.  
  • Make a real impact by developing innovative products and solutions to meet our global customers' evolving needs and help make people’s lives easier, safe and secure. 
  • Maximize your performance and wellbeing in our flexible and inclusive work environment. Our people-first culture and global support system, including the remote work option and Employee Resource Groups, will help you excel from the first day.    

Are you ready to own your success and make your mark?  

Join Renesas. Shape Your Future with Us.  

Renesas Electronics is an equal opportunity and affirmative action employer, committed to celebrating diversity and fostering a work environment free of discrimination on the basis of sex, race, religion, national origin, gender, gender identity, gender expression, age, sexual orientation, military status, veteran status, or any other basis protected by federal, state or local law. For more information, please read our Diversity & Inclusion Statement.

Renesas Electronics deals with dual-use technology that is subject to U.S. export controls regulations. Under these regulations it may be necessary for Renesas to obtain U.S. government export license prior to release of technology to certain persons. The decision whether or not to file or pursue an export license application is at the sole discretion of Renesas.