2

Remote Formal Verification Engineer Jobs in Utah

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

We're becoming the verification + deliverability infrastructure layer for that ecosystem. This role ... Revenue visibility across the org You will run sales, marketing, customer support, and engineering.

We're becoming the verification + deliverability infrastructure layer for that ecosystem. This role ... Revenue visibility across the org You will run sales, marketing, customer support, and engineering.

Operations Senior Manager, AI

Salt Lake City, UT ยท On-site +1

$136K - $162K/yr

You'll work with cross-functional teams across Product, Engineering, vendors, and Operations to ... You know how to hold cross-functional teams accountable without formal authority. * You're curious ...

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

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

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

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

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

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

Showing results 41-60

Remote Formal Verification Engineer information

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

Business Central Senior Consultant

Armaninollp

Salt Lake City, UT โ€ข On-site, Remote

$101K - $123K/yr

Full-time

Medical, Dental, Vision, Retirement, PTO

Re-posted 21 days ago


Job description

At Armanino, you determine your career path. This means it's possible to pursue challenges you are passionate about, in industries you care about.

Armanino is proud to be Among the top 20 Largest Accounting and Consulting Firms in the Nation and one of the Best Places to Work. We have a community of resources that are ready and willing to support your ideas, build your skills and expand your professional network. We want you to integrate all aspects of your life with your career. At Armanino, we know you don't check-out of life when you check-in at work. That's why we've created a unique work environment where your passions, work, and family & friends can overlap. We want to help you achieve growth by giving you access to a network of smart and supportive people, willing to listen to your ideas.

Job Responsibilities

  • Perform consulting services for Business Central projects in the areas of documentation, configuration, testing, and issue tracking

  • Work with clients and provide exceptional customer service and support on implementation.

  • Develop and maintain relationships with clients, interact with the client project team regarding task status, and represent the company via formal and informal client contact

  • Configure, customize, and test systems based on the customer requirements

  • Develop and assist academy led training with content and expertise

  • Learn and utilize Armanino implementation standards and tools/documents

  • Write and maintain programming and project documentation based on provided specifications

  • Support end-user and system administrator training in remote formats

  • Understand and use configuration/programming and documentation best practices

  • Continuously improve knowledge through research and self-study

  • Identify and make recommendations to improve processes, methodologies, and best practices

  • Willingness to take part in company trainings and obtain certifications as necessary

Requirements

  • Bachelor's degree in business, information systems or equivalent work experience

  • Minimum of 5 years' experience ERP implementation experience Business Central (BC) or NAV

  • Experience working in a progressive consulting or professional services firm

  • Excellent organizational skills, detail oriented and aligned with firm and client goals

  • Client-facing experience, problem solver with a positive attitude

  • Experience with multiple add-ons, or ISV's

  • Travel to client sites as needed

Preferred Qualifications

  • Experience with clients in industries such as, manufacturing, distribution, life sciences

"Armanino" is the brand name under which Armanino LLP and Armanino Advisory LLC, independently owned entities, provide professional services in an alternative practice structure in accordance with law, regulations, and professional standards. Armanino LLP is a licensed independent CPA firm that provides attest services, and Armanino Advisory LLC and its subsidiary entities provide tax, advisory, and business consulting services. Armanino Advisory LLC and its subsidiary entities are not licensed CPA firms.

Armanino provides equal employment opportunities (EEO) to all employees and applicants for employment without regard to race, color, religion, sex, national origin, age, disability or genetics. In addition to federal law requirements, Armanino complies with applicable state and local laws governing nondiscrimination in employment in every location in which the company has facilities. This policy applies to all terms and conditions of employment, including recruiting, hiring, placement, promotion, termination, layoff, recall, transfer, leaves of absence, compensation and training.

Armanino expressly prohibits any form of workplace harassment based on race, color, religion, gender, sexual orientation, gender identity or expression, national origin, age, genetic information, disability, or veteran status. Improper interference with the ability of Armanino employees to perform their job duties may result in discipline up to and including discharge.

Armanino does not accept unsolicited candidates, referrals, or resumes from any staffing agency, recruiting service, sourcing entity, or third-party paid service at any time. Any referrals, resumes, or candidates submitted to Armanino or any employee or owner of Armanino without a pre-existing agreement signed by both parties covering the submission will be considered the property of Armanino and not subject to any fees or charges. For existing agreements, a role must be approved and open to external search; otherwise, unsolicited and unapproved submittals and referrals will be considered Armanino property and free of fees. In addition, Talent Acquisition is the sole point of contact, and contacting others in our organization without Talent Acquisition's knowledge will result in termination of contract.

Certain states require us to disclose the pay range and benefits summary for job openings. For Colorado residents, the compensation range for this position: $102,500 - $139,700. For Washington residents, Illinois residents, New York residents, and Southern California residents, the compensation range for this position: $112,800 - $153,700. For Northern California residents, the compensation range for this position: $117,900 - $160,600. Compensation may vary based on skills, role, and location. Eligible employees at certain levels can participate in a discretionary long-term financial incentive plan, subject to plan participation rules.

Armanino has a robust offering of benefits, including:

  • Medical, dental, vision

  • Generous PTO plan and paid sick time

  • Flexible work arrangements

  • 401K with Profit Sharing

  • Wellness program

  • Generous parental leave

  • 11 paid holidays

For positions based in San Francisco, consistent with the SF Fair Chance Ordinance, an arrest and conviction record will not automatically disqualify a qualified applicant from consideration.

For Individuals who would be working within the City of Los Angeles, Armanino will consider for employment all qualified applicants, including those with criminal histories, in a manner consistent with the requirements of applicable state and local laws, including the City of Los Angeles' Fair Chance Initiative for Hiring Ordinance

To view our Consumer Notice at Collection for job applicants, please visit: https://www.armanino.com/terms/ccpa-employee-notice/

We have a community of resources that are ready and willing to support your ideas, build your skills and expand your professional network.