1

Formal Verification Engineer Jobs in Florida (NOW HIRING)

FPGA Design Engineer We are seeking a FPGA Design Engineer with over 8 years of experience to ... Understanding of formal verification processes and compliance standards. Work Environment This ...

Job Title: Systems Engineer This role leads system architecture definition, requirements ... verification planning, and formal design reviews such as SRR, PDR, CDR, PRR and TRR. * Establish ...

Job Title: Systems Engineer This role leads system architecture definition, requirements ... verification planning, and formal design reviews such as SRR, PDR, CDR, PRR and TRR. * Establish ...

Engineer, Test Engineering

Weston, FL · On-site

$58 - $60/hr

Weston, FL Duration: 6+ Months Contract Support embedded software verification for the Mako ... and formal test execution. Execute manual and automated test protocols, analyze results, and ...

Lead Systems Engineer

Melbourne, FL · On-site

$125K - $175K/yr

Engineering Reports To: Program Manager and Engineering Director FLSA Status: Exempt / Full-time ... verification planning, and formal design reviews (SRR, PDR, CDR, PRR/FDR, TRR). * Establish ...

Lead Systems Engineer

Melbourne, FL · On-site

$125K - $175K/yr

Engineering Reports To: Program Manager and Engineering Director FLSA Status: Exempt / Full-time ... verification planning, and formal design reviews (SRR, PDR, CDR, PRR/FDR, TRR). * Establish ...

Developing and executing system verification * Developing MBSE processes, procedures, templates ... Experience working within Defense formal product development lifecycles * Experience working within ...

Developing and executing system verification * Developing MBSE processes, procedures, templates ... Experience working within Defense formal product development lifecycles * Experience working within ...

Showing results 21-40

Formal Verification Engineer information

See Florida salary details

$59.8K

$106.6K

$152.1K

How much do formal verification engineer jobs pay per year?

As of Aug 6, 2026, the average yearly pay for formal verification engineer in Florida is $106,578.00, according to ZipRecruiter salary data. Most workers in this role earn between $101,600.00 and $101,600.00 per year, depending on experience, location, and employer.

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

To thrive as a Formal Verification Engineer, you need a strong background in digital design, computer architecture, and logic, typically supported by a degree in electrical engineering, computer science, or a related field. Expertise in formal verification tools such as Cadence JasperGold, Synopsys VC Formal, or Mentor Questa, along with proficiency in hardware description languages (HDLs) like Verilog or VHDL, is essential. Strong analytical thinking, attention to detail, and effective communication skills help you collaborate with design and verification teams and present complex findings. These competencies are critical for ensuring hardware systems are bug-free, reliable, and meet stringent industry standards.

What are the common daily responsibilities of a formal verification engineer?

As a Formal Verification Engineer, your typical day involves creating and analyzing formal properties, developing assertions, and using formal verification tools to mathematically prove correctness of hardware designs. You'll collaborate closely with design and simulation teams to review specifications, identify verification requirements, and debug issues found during the verification process. Regular documentation of findings, participation in code and design reviews, and ongoing learning about new verification methodologies are also important parts of the role. This dynamic environment requires both technical depth and proactive teamwork to ensure high-quality design outcomes.

What is a formal verification engineer?

A Formal Verification Engineer is responsible for ensuring the correctness of hardware or software designs using mathematical and logical techniques. They apply formal methods to verify that a system behaves as intended, identifying potential design flaws early in the development process. This involves writing formal properties, using model checking tools, and collaborating with design and validation teams. Their work helps improve reliability, reduce bugs, and enhance the efficiency of verification compared to traditional simulation-based methods.

What are the most commonly searched types of Formal Verification Engineer jobs in Florida? The most popular types of Formal Verification Engineer jobs in Florida are:
What are popular job titles related to Formal Verification Engineer jobs in Florida? For Formal Verification Engineer jobs in Florida, the most frequently searched job titles are:
What job categories do people searching Formal Verification Engineer jobs in Florida look for? The top searched job categories for Formal Verification Engineer jobs in Florida are:
Infographic showing various Formal Verification Engineer job openings in Florida as of August 2026, with employment types broken down into 90% Full Time, 4% Part Time, 1% Temporary, 4% Contract, and 1% Nights. Highlights an 85% Physical, 5% Hybrid, and 10% Remote job distribution, with an average salary of $106,578 per year, or $51.2 per hour.

FPGA Design Engineer

Actalent

Melbourne, FL

$75 - $90/hr

Contractor

Medical, Dental, Vision, Life, Retirement, PTO

Posted 16 days ago


Job description

FPGA Design Engineer

Job Description

We are seeking a FPGA Design Engineer with over 8 years of experience to develop architecture, implementation, and verification for complex, high-speed FPGA solutions. The ideal candidate will have expertise in high-bandwidth interfaces such as PCIe Gen4/5, 10 to 100G+ Ethernet, and DDR4/DDR5. Strong skills in RTL design (VHDL/Verilog/SystemVerilog), timing closure, and block design development are essential. This role involves driving FPGA design from concept through production, integrating vendor IP, optimizing for low latency and high throughput, and performing rigorous verification and lab validation. The engineer will be supporting the development of a cryptography platform and collaborate across hardware and software teams, mentor junior engineers, and ensure designs meet stringent reliability and compliance standards.

Responsibilities

  • Lead full life-cycle FPGA development, from requirements and architecture through RTL implementation (Verilog/VHDL), verification, and system integration across multiple FPGA families.
  • Define and document FPGA architecture, including block diagrams, clocking strategies, and trade-off analyses; participate in and conduct design reviews.
  • Develop robust, reusable, and self-checking testbenches; implement functional coverage models and achieve code coverage closure.
  • Create and execute detailed test plans, procedures, and reports; ensure verification rigor and traceability.
  • Collaborate with hardware and software teams to integrate FPGA designs at the board and system level; support lab bring-up, debug, and qualification testing.
  • Implement and validate JTAG boundary scan and other DFT features; ensure compliance with design-for-test and reliability standards.
  • Drive continuous improvement in design practices, coding standards, and verification methodologies; mentor junior engineers and contribute to technical reviews.

Essential Skills

  • 8+ years of experience to develop architecture, implementation, and verification for complex, high-speed FPGA solutions
  • Strong proficiency in RTL design using Verilog/VHDL, including custom implementations beyond vendor IP integration.
  • Strong experience in testbench development, functional coverage, and verification of complex FPGA designs.
  • Proficient with FPGA simulation and synthesis tools (e.g., QuestaSim, Riviera-PRO, Xilinx Vivado, Intel Quartus).
  • Proficiency in FPGA architecture and optimization techniques for timing closure, floor-planning, and resource utilization.
  • Ability to perform FPGA power estimation and analysis using vendor tools and optimize designs for power and thermal constraints.
  • Strong understanding of high-speed interfaces (PCIe, Ethernet, Serial RapidIO, DDRx) and control protocols (I²C, SPI, RS-232/422).
  • Experience with System-on-Chip (SoC) technologies.
  • Must have an Active DoD Secret Clearance

Additional Skills & Qualifications

  • Proficiency in FPGA Block Design development and debugging (e.g., Vivado, Libero).
  • Familiarity with Universal Verification Methodology (UVM).
  • Familiarity with Microsemi Libero and Lattus Diamond.
  • Familiarity with revision control systems (Git/Bitbucket) and scripting in Python, TCL, or Linux shell for automation.
  • Skilled in FPGA lab validation using oscilloscopes, logic analyzers, and protocol analyzers.
  • Support JTAG Boundary scan design and testing.
  • Strong oral and written communication skills, with ability to document and present technical work clearly.
  • Experience collaborating in Agile environments and using tools like Jira and requirements management systems (e.g., Jama).
  • Understanding of formal verification processes and compliance standards.

Work Environment

This position requires 100% onsite work due to the nature of the projects. The company offers a stable work environment with a 9/80 schedule, allowing every other Friday off. The position can be Contract-to-Hire or just long term Contract (w2). Actalent offers benefits.

Job Type & Location

This is a Contract to Hire position based out of Melbourne, FL.

Pay and Benefits

The pay range for this position is $75.00 - $90.00/hr.

Eligibility requirements apply to some benefits and may depend on your job classification and length of employment. Benefits are subject to change and may be subject to specific elections, plan, or program terms. If eligible, the benefits available for this temporary role may include the following: • Medical, dental & vision • Critical Illness, Accident, and Hospital • 401(k) Retirement Plan – Pre-tax and Roth post-tax contributions available • Life Insurance (Voluntary Life & AD&D for the employee and dependents) • Short and long-term disability • Health Spending Account (HSA) • Transportation benefits • Employee Assistance Program • Time Off/Leave (PTO, Vacation or Sick Leave)

Workplace Type

This is a fully onsite position in Melbourne,FL.

Application Deadline

This position is anticipated to close on Aug 11, 2026.

About Actalent

Actalent is a global leader in engineering and sciences services and talent solutions. We help visionary companies advance their engineering and science initiatives through access to specialized experts who drive scale, innovation and speed to market. With a network of almost 20,000 consultants and 5,000 clients across the U.S., Canada, Asia and Europe, Actalent serves many of the Fortune 500. We are proud to be an Engineering News-Record (ENR) Top 500 Design Firm for our engineering design services and a ClearlyRated Best of Staffing® winner for both client and talent service.

The company is an equal opportunity employer and will consider all applications without regard to race, sex, age, color, religion, national origin, veteran status, disability, sexual orientation, gender identity, genetic information or any characteristic protected by law.

If you would like to request a reasonable accommodation, such as the modification or adjustment of the job application process or interviewing process due to a disability, please email actalentaccommodation@actalentservices.com for other accommodation options.

San Francisco Fair Chance Ordinance: Pursuant to the San Francisco Fair Chance Ordinance, for all positions located in the city and county of San Francisco, we will consider for employment qualified applicants with arrest and conviction records.

Massachusetts Lie Detector: It is unlawful in Massachusetts to require or administer a lie detector test as a condition of employment or continued employment. An employer who violates this law shall be subject to criminal penalties and civil liability.

Use of Artificial Intelligence (AI): We may use Artificial Intelligence (AI) to support parts of our hiring process, including sourcing, screening, and evaluating candidates. AI helps assess applications and qualifications, but final decisions are made by our hiring team. By applying, you acknowledge and agree that your application may be reviewed using AI tools.


Actalent logo

About Actalent

Sourced by ZipRecruiter

Actalent connects passion with purpose. Our scalable talent solutions and services capabilities drive value and results and provide the expertise to help our customers achieve more. Every day, our experts around the globe are making an impact. We're supporting critical initiatives in engineering and sciences that advance how companies serve the world. Actalent promotes consultant care and engagement through experiences that enable continuous development. Our people are the difference. Actalent is an operating company of Allegis Group, the global leader in talent solutions.

Company size

5,001 - 10,000 Employees

Headquarters location

Hanover, MD, US

Year founded

1983

Social media