ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Orem, UT

JLL

Construction Senior Project Manager

Lehi, UT · Remote

$104K - $142K/yr

... formal closeout of all projects in less than 90 days after project completion. Minimum Requirements: * Bachelor's degree in engineering, architecture, construction management, or related field * 10 ...

JLL

Construction Senior Project Manager

Provo, UT · Remote

$105K - $143K/yr

... formal closeout of all projects in less than 90 days after project completion. Minimum Requirements: * Bachelor's degree in engineering, architecture, construction management, or related field * 10 ...

Wood Plc

Senior Mechanical Designer

Sandy, UT · On-site +1

Following initial onboarding, training, and integration, we are open to a flexible remote work ... The position is responsible for designing all aspects of the mechanical and piping engineering ...

RainFocus

UI Developer (Remote)

Lehi, UT · On-site +1

$47 - $61/hr

About the Role As a UI Developer, you will be a key member of our team responsible for implementing ... verification signals in application materials based on available information. These tools assist ...

RainFocus

UI Developer (Remote)

Lehi, UT · Remote

$51.25 - $66.50/hr

About the Role As a UI Developer, you will be a key member of our team responsible for implementing ... verification signals in application materials based on available information. These tools assist ...

Clozd

Senior UX Designer

Lehi, UT · On-site +1

... engineers, and our cross-functional leadership team to execute against it. In this role, you will ... Our Preference is fully on-site in our Lehi, Utah office, but we are open to hybrid or remote for ...

Clozd

Senior UX Designer

Lehi, UT · On-site +1

... engineers, and our cross-functional leadership team to execute against it. In this role, you will ... Our Preference is fully on-site in our Lehi, Utah office, but we are open to hybrid or remote for ...

micro1 AI

Director of Biostatistics

Provo, UT · Remote

$60 - $65/hr

Remote micro1 is engaging Biostatisticians to contribute their clinical statistics expertise to a ... verification. * Provide structured written rationales distinguishing true statistical errors from ...

All JobsFormal Verification Engineer JobsRemote Formal Verification Engineer JobsRemote Formal Verification Engineer Jobs in Orem, UT

Remote Formal Verification Engineer information

See Orem, UT salary details

$69.5K

$124K

$176.9K

How much do remote formal verification engineer jobs pay per year?

As of Aug 9, 2026, the average yearly pay for remote formal verification engineer in Orem, UT is $123,989.00, according to ZipRecruiter salary data. Most workers in this role earn between $118,200.00 and $118,200.00 per year, depending on experience, location, and employer.

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 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 are popular job titles related to Remote Formal Verification Engineer jobs in Orem, UT? For Remote Formal Verification Engineer jobs in Orem, UT, the most frequently searched job titles are:
What job categories do people searching Remote Formal Verification Engineer jobs in Orem, UT look for? The top searched job categories for Remote Formal Verification Engineer jobs in Orem, UT are:
Remote Formal Verification Engineer jobs near you

Staff SIP Engineer (Remote)

Telegent, Inc.

Pleasant Grove, UT • Remote

Full-time

Medical, Dental, Vision, PTO

Re-posted 12 days ago

Job description

ABOUT TELEGENT

Telegent is a next-generation mobile communications platform redefining how businesses and brands connect people through wireless technology. We provide a software-first, API-driven mobile Platform-as-a-Service (mPaaS) that combines intelligent voice, messaging, data, and unified communications into a single, flexible solution.

At Telegent, we move fast, think creatively, and build technology that makes mobile communications simpler, more powerful, and more adaptive for the future.

ABOUT THE ROLE

The Staff SIP Engineer is responsible for designing, implementing, and supporting carrier-grade SIP-based voice services across Telegent's mobile and unified communications platforms. This role works closely with network engineering, product, operations, and carrier partners to ensure high availability, call quality, scalability, and regulatory compliance across our voice infrastructure.

This is a hands-on role requiring deep SIP expertise, strong troubleshooting skills, and real-world carrier interconnection experience.

WHAT YOU'LL DO

  • Design, deploy, and maintain SIP-based voice services, including SIP trunking, interconnects, and call routing
  • Manage carrier and partner integrations, including SIP peering, codec negotiation, and signaling normalization
  • Troubleshoot complex call flow issues involving SIP signaling, RTP, NAT traversal, and media path failures
  • Monitor and optimize voice quality metrics (MOS, ASR, ACD, PDD, jitter, packet loss)
  • Configure and support SBCs, softswitches, and media gateways in production environments
  • Collaborate with operations and NOC teams to support 24/7 voice services and incident response
  • Ensure compliance with E911, STIR/SHAKEN, lawful intercept, and other regulatory requirements
  • Participate in capacity planning redundancy design, and disaster recovery initiatives
  • Create and maintain technical documentation, call flow diagrams, and operational run books

WHAT WE'RE LOOKING FOR

  • 8+
  • Deep expertise with OpenSIPS: configuration, scripting, and large-scale deployment
  • Strong understanding of SIP, RTP, SRTP, and related VoIP and cellular signaling protocols
  • Experience with cellular SIP (IMS, VoLTE, or interconnect/MVNO environments) strongly preferred
  • Experience with SBCs and software platforms (e.g., Metaswitch, Sonus/Ribbon, Oracle, SBC, OpenSIPS, Kamailio, FreeSWITCH, Asterisk)
  • Familiarity with AI development workflows and tools is strongly preferred
  • Proven ability to diagnose and resolve complex signaling issues using tools like Homer, Wireshark, or sngrep
  • Comfortable operating in a remote, high-autonomy environment
  • Strong written communication skills: you can explain complex systems clearly to both engineers and stakeholders
  • Familiarity with IMS architecture and interconnects
  • Experience with cloud-based voice infrastructure (AWS, GCP, Azure)
  • Track record of working across teams as a technical leader without a formal management role
  • Experience supporting high-volume, high-availability voice platforms

TECHNOLOGIES & TOOLS

SIP, OpenSIPS, RTP / SRTP, VoIP, Cellular / IMS, VoLTE, mPaaS, FMC / MFC, Homer, Wireshark, sngrep, Linux

BENEFITS

  • Competitive compensation package, including performance-based bonus potential and comprehensive health benefits
  • 100% employer-paid medical, dental, and vision
  • Unlimited PTO
  • Equipment provided