ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Arizona

YO AI Labs

Backend Engineer - Remote

Phoenix, AZ · Remote

$80 - $120/hr

Remote Job Summary We are seeking experienced Senior Software Engineers to support an AI training ... You will design reproducible environments, deterministic verification, and reference solutions for ...

YO AI Labs

AI Engineer - Remote

Phoenix, AZ · Remote

$80 - $120/hr

Remote Job Summary We are seeking experienced Senior Software Engineers to support an AI training ... You will design reproducible environments, deterministic verification, and reference solutions for ...

YO AI Labs

AI Software Engineer - Remote

Phoenix, AZ · Remote

$80 - $120/hr

Remote Job Summary We are seeking experienced Senior Software Engineers to support an AI training ... You will design reproducible environments, deterministic verification, and reference solutions for ...

New

YO AI Labs

RL Environment Engineer - Remote

Phoenix, AZ · Remote

$80 - $120/hr

Remote Job Summary We are seeking experienced Senior Software Engineers to support an AI training ... You will design reproducible environments, deterministic verification, and reference solutions for ...

New

Renesas Electronics

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 ...

YO AI Labs

Machine Learning Engineer - Remote

Phoenix, AZ · Remote

$80 - $120/hr

Remote Job Summary We are seeking experienced Senior Software Engineers to support an AI training ... You will design reproducible environments, deterministic verification, and reference solutions for ...

Renesas Electronics

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 ...

YO AI Labs

AI/ML Software Engineer - Remote

Phoenix, AZ · Remote

$80 - $120/hr

Remote Job Summary We are seeking experienced Senior Software Engineers to support an AI training ... You will design reproducible environments, deterministic verification, and reference solutions for ...

New

YO AI Labs

Backend Developer - Remote

Phoenix, AZ · Remote

$80 - $120/hr

Senior Software Engineer Job Type: Contractor (~15 hours/week) Location: Remote Job Summary We are ... You will design reproducible environments, deterministic verification, and reference solutions for ...

YO AI Labs

Frontend Developer - Remote

Phoenix, AZ · Remote

$80 - $120/hr

Senior Software Engineer Job Type: Contractor (~15 hours/week) Location: Remote Job Summary We are ... You will design reproducible environments, deterministic verification, and reference solutions for ...

Cross Border Talents

AI Engineer

Yuma, AZ · Remote

$60 - $120/hr

Remote Schedule: Flexible -- choose your preferred hours and days, including weekends Openings: 100 ... You'll also create reproducible environments, reliable verification systems, and reference ...

New

YO AI Labs

AI coding agents Expert - Remote

Phoenix, AZ · Remote

$80 - $120/hr

Senior Software Engineer Job Type: Contractor (~15 hours/week) Location: Remote Job Summary We are ... You will design reproducible environments, deterministic verification, and reference solutions for ...

New

YO AI Labs

SWE AI Training Data Expert - Remote

Phoenix, AZ · Remote

$80 - $120/hr

Senior Software Engineer Job Type: Contractor (~15 hours/week) Location: Remote Job Summary We are ... You will design reproducible environments, deterministic verification, and reference solutions for ...

New

YO AI Labs

AI Trainer - Remote

Phoenix, AZ · Remote

$80 - $120/hr

Senior Software Engineer Job Type: Contractor (~15 hours/week) Location: Remote Job Summary We are ... You will design reproducible environments, deterministic verification, and reference solutions for ...

New

next page

Showing results 1-20

All JobsFormal Verification Engineer JobsRemote Formal Verification Engineer JobsRemote Formal Verification Engineer Jobs in Arizona

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:

Remote Formal Verification Engineer jobs near you

Backend Engineer - Remote

YO AI Labs

Phoenix, AZ • Remote

$80 - $120/hr

Full-time

Posted 4 days ago

Job description

Senior Software Engineer

Job Type: Contractor (~15 hours/week)
Location: Remote

Job Summary

We are seeking experienced Senior Software Engineers to support an AI training project by creating reinforcement learning environments that evaluate AI models on complex software engineering tasks using Model Context Protocol (MCP) tools.

You will design reproducible environments, deterministic verification, and reference solutions for tasks such as bug fixing, feature implementation, codebase refactoring, and performance optimization. No prior AI experience is required.

Key Responsibilities
  • Create reinforcement learning environments for software engineering tasks.
  • Design tasks involving bug fixing, feature development, refactoring, and performance optimization.
  • Build deterministic verification systems and golden reference solutions.
  • Evaluate AI agents' ability to reason through complex codebases and use MCP tools effectively.
  • Develop realistic, reproducible software engineering scenarios.
  • Ensure tasks accurately measure coding ability, problem-solving, and tool usage.
  • Document solutions and provide clear technical feedback.
Required Skills
  • Strong proficiency in Python 3, Java, Rust, C++, or TypeScript.
  • Strong understanding of algorithms and data structures.
  • Experience with bug fixing and debugging complex software issues.
  • Proven experience in feature implementation and codebase refactoring.
  • Strong knowledge of performance optimization and tuning.
  • Excellent written and verbal communication.
  • Strong attention to detail.
Preferred Qualifications
  • Experience working with large-scale or distributed codebases.
  • Familiarity with AI/ML systems is a plus but not required.
  • Experience with rigorous code reviews and software engineering best practices.
  • Experience working effectively in remote or cross-functional teams.
Hiring Process
  1. Submit an application and screening questions.
  2. Complete an AI interview (~30 minutes).
  3. Complete a technical assessment, if required.
  4. Hiring Manager review.
Compensation

Compensation is output-based, with payment provided per task that meets project specifications. Minimum weekly submission requirements may apply.

Availability

Selected experts should be prepared to begin their first tasks within 24–48 hours of completing onboarding.