ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Utah

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

Moderna

$20 - $60/hr

The CMC Development organization at Moderna is looking for top talent in science and engineering to ... Participate in planning, design, execution, analysis of experiments and formal risk assessments to ...

Moderna

Intern, CMC Development (Summer 2027)

Orem, UT · On-site +1

$20 - $60/hr

The CMC Development organization at Moderna is looking for top talent in science and engineering to ... Participate in planning, design, execution, analysis of experiments and formal risk assessments to ...

Moderna

$20 - $60/hr

The CMC Development organization at Moderna is looking for top talent in science and engineering to ... Participate in planning, design, execution, analysis of experiments and formal risk assessments to ...

Moderna

$20 - $60/hr

The CMC Development organization at Moderna is looking for top talent in science and engineering to ... Participate in planning, design, execution, analysis of experiments and formal risk assessments to ...

Moderna

Intern, CMC Development (Summer 2027)

Logan, UT · On-site +1

$20 - $60/hr

The CMC Development organization at Moderna is looking for top talent in science and engineering to ... Participate in planning, design, execution, analysis of experiments and formal risk assessments to ...

Moderna

$20 - $60/hr

The CMC Development organization at Moderna is looking for top talent in science and engineering to ... Participate in planning, design, execution, analysis of experiments and formal risk assessments to ...

Moderna

Intern, CMC Development (Summer 2027)

Ogden, UT · On-site +1

$20 - $60/hr

The CMC Development organization at Moderna is looking for top talent in science and engineering to ... Participate in planning, design, execution, analysis of experiments and formal risk assessments to ...

Moderna

$20 - $60/hr

The CMC Development organization at Moderna is looking for top talent in science and engineering to ... Participate in planning, design, execution, analysis of experiments and formal risk assessments to ...

Solventum

Sr. Software Engineer

Murray, UT · On-site +1

$115K - $151K/yr

Bachelor's Degree or higher (completed and verified prior to start) AND five (5) years of ... Work location: Remote - United States Travel: May inc lude up to 5% domestic/international ...

previous pagenext page

Showing results 21-40

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

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 Utah?

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

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

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

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

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

Remote Formal Verification Engineer jobs near you

Solutions Architect (Pre-Sales & Delivery) - Remote - USA

Salt Lake City, UT • On-site, Remote

FullStack Labs
IT Services • 11 - 50 employees
Learn more about FullStack Labsexternal

$61 - $80.25/hr

Full-time

Medical, Dental, Vision, Retirement, PTO

Posted 7 days ago

Job description

About FullStack
FullStack is your AI-native engineering partner, built to turn AI capability into certainty. Most companies can demo AI; few can get it to production and prove what it produced. We close that gap with three capabilities, AI built into your products from the start, elite vetted talent who apply it, and transparent execution that shows value every step of the way. With now over 600 customers in North America, FullStack is one integrated partner for all your AI engineering needs. With FullStack, you move forward with confidence.
We're most proud of:
  • Offering life-changing career opportunities to talented software professionals across the Americas.
  • Building highly-skilled software development teams for hundreds of the world's greatest companies.
  • Having delivered hundreds of successful custom software solutions, which have positively impacted the lives and careers of millions of users.
  • Our 4.1-star rating on GlassDoor.
  • Our client Net Promoter Score of 68, twice the industry average.

The Position
FullStack is seeking an experienced, client-facing Solutions Architect with strong pre-sales acumen and deep technical expertise in JavaScript/TypeScript (Node.js, React), Python (especially for AI use cases), and multi-cloud environments (AWS, Azure, GCP).
The right candidate blends hands-on architectural mastery with polished client authority, driving technical conversations during prospecting, client pitches, and solution design. In addition to core delivery responsibilities, you will leverage pre-sales automation AI tools to streamline technical proposals, thrive in fast-paced environments, and serve as the consultative bridge between business goals and scalable technical execution, with a focus on driving changes to create deals through the translation of business to tech needs.
What We Are Looking For
  • Experience: 10+ years of professional software engineering and architectural leadership experience.
  • Core Tech Stack: Advanced proficiency in JavaScript/TypeScript (Node.js and React) and modern Python (specifically applied to AI workflows).
  • Cloud Architecture: Hands-on experience designing and deploying enterprise solutions across AWS, Azure, or GCP.
  • Bachelor's degree in Computer Science, Software Engineering, or a related field (verified via background check).
  • Fluent English proficiency (verbal and written) for direct international client engagement.
  • Sales & Consultation: Demonstrated background in pre-sales engineering, technical consulting, or client-facing advisory roles.
  • AI Tooling: Hands-on experience using AI-driven automation tools in pre-sales or technical workflow contexts.
  • Agile Decision-Making: Handles fast-moving deal cycles and high-pressure client demands with steady composure.
  • Client-Facing Authority: Wins trust during prospective client pitches and executive presentations.

What We Offer
  • Competitive Salary.
  • Paid Time Off (vacation, sick leave, parental leave, holidays).
  • 100% remote work.
  • The ability to work with leading startups and Fortune 500 companies.
  • Health, dental, and vision insurance.
  • 401(k) w/ 4% match.
  • Ample opportunity for career advancement.
  • Continuing education opportunities.

FullStack is proud to be an equal opportunity workplace. We are committed to equal employment opportunity regardless of race, color, ancestry, religion, sex, national origin, sexual orientation, age, citizenship, marital status, disability, gender identity, or Veteran status.
Learn more about our Applicants Privacy Notice .
FullStack Labs logo

About FullStack Labs

Sourced by ZipRecruiter

FullStack Labs is the fastest-growing software consultancy in the Americas. We help organizations like Uber, GoDaddy, MGM, Siemens, Stanford University, and the State of California, build distributed software development teams, and deliver transformational digital solutions. As an employee-first company, we focus on hiring the most talented software designers and developers in the western hemisphere, by creating a positive, respectful, and supportive work environment where they can achieve their greatest potential.

Industry

It services

Company size

11 - 50 Employees

Headquarters location

Sacramento, CA, US

Year founded

2013

Social media

FacebookTwitter

View All FullStack Labs Jobs

Apply