FPGA Design Engineer
$75 - $90/hr
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 ...
Quick apply
$75 - $90/hr
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 ...
Quick apply
$75 - $90/hr
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 ...
Experience with requirements-based development and formal verification methodologies. * Experience ... engineering U.S. Citizenship required. This position requires an active DOD security clearance or ...
Experience with requirements-based development and formal verification methodologies. * Experience ... engineering U.S. Citizenship required. This position requires an active DOD security clearance or ...
Experience with requirements-based development and formal verification methodologies. * Experience ... engineering U.S. Citizenship required. This position requires an active DOD security clearance or ...
Experience with requirements-based development and formal verification methodologies. * Experience ... engineering U.S. Citizenship required. This position requires an active DOD security clearance or ...
Jacksonville, FL · On-site
$46.25 - $59.75/hr
Model-Based Software Development & Validation Engineer Must Have Skills: • Must have strong ... SIL), measuring structural coverage (MC/DC), and utilizing formal verification methods to ...
Jacksonville, FL · On-site
$46.25 - $59.75/hr
Model-Based Software Development & Validation Engineer Must Have Skills: • Must have strong ... SIL), measuring structural coverage (MC/DC), and utilizing formal verification methods to ...
We're a small, sharp, and adventurous team led by Bitcoin developer Jeremy Rubin, pushing the ... Experience with formal verification, model checking, or advanced testing frameworks * Published ...
We're a small, sharp, and adventurous team led by Bitcoin developer Jeremy Rubin, pushing the ... Experience with formal verification, model checking, or advanced testing frameworks * Published ...
Miami, FL · On-site
We're a small, sharp, and adventurous team led by Bitcoin developer Jeremy Rubin, pushing the ... Experience with formal verification, model checking, or advanced testing frameworks * Published ...
Miami, FL · On-site
We're a small, sharp, and adventurous team led by Bitcoin developer Jeremy Rubin, pushing the ... Experience with formal verification, model checking, or advanced testing frameworks * Published ...
Fort Lauderdale, FL · On-site
$89K - $148K/yr
As a Senior Robotic Controls Engineer supporting our Mako product lines, you will join a highly ... Experience with algorithm validation, formal verification, validation testing, or software ...
Fort Lauderdale, FL · On-site
$89K - $148K/yr
As a Senior Robotic Controls Engineer supporting our Mako product lines, you will join a highly ... Experience with algorithm validation, formal verification, validation testing, or software ...
Job Title: Lead, Integration and Test Engineer Job Code: 40259 Job Location: Palm Bay, FL Job ... Knowledge of requirements-based testing and formal verification processes and Fault insertion ...
Job Title: Lead, Integration and Test Engineer Job Code: 40259 Job Location: Palm Bay, FL Job ... Knowledge of requirements-based testing and formal verification processes and Fault insertion ...
Merritt Island, FL · On-site
$40 - $54/hr
Experience developing engineering documentation and formal test procedures. * Ability to support ... Verify FPGA functionality through simulation, timing analysis, and hardware validation. * Support ...
Quick apply
Merritt Island, FL · On-site
$40 - $54/hr
Experience developing engineering documentation and formal test procedures. * Ability to support ... Verify FPGA functionality through simulation, timing analysis, and hardware validation. * Support ...
Experience developing engineering documentation and formal test procedures. * Ability to support ... Verify FPGA functionality through simulation, timing analysis, and hardware validation. * Support ...
Experience developing engineering documentation and formal test procedures. * Ability to support ... Verify FPGA functionality through simulation, timing analysis, and hardware validation. * Support ...
... formal validation. Key Responsibilities Verification & Validation * Translate requirements into ... Familiarity with systems engineering processes and test documentation Preferred Experience * Hands ...
Quick apply
... formal validation. Key Responsibilities Verification & Validation * Translate requirements into ... Familiarity with systems engineering processes and test documentation Preferred Experience * Hands ...
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 ...
Quick apply
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 ...
Quick apply
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 ...
... formal validation.Key ResponsibilitiesVerification & Validation ... Translate requirements into verification strategies, test plans, and procedures * Execute testing ...
... formal validation.Key ResponsibilitiesVerification & Validation ... Translate requirements into verification strategies, test plans, and procedures * Execute testing ...
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 ...
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 ...
Merritt Island, FL · On-site
$55 - $71.50/hr
As a mid-level engineer, the SEIT Engineer will lead portions of the verification program, serve as Test Conductor for formal validation events, troubleshoot complex hardware and software issues, and ...
Quick apply
Merritt Island, FL · On-site
$55 - $71.50/hr
As a mid-level engineer, the SEIT Engineer will lead portions of the verification program, serve as Test Conductor for formal validation events, troubleshoot complex hardware and software issues, and ...
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 ...
Quick apply
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 ...
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 ...
Quick apply
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 ...
Jupiter, FL · On-site
Developing and executing system verification * Developing MBSE processes, procedures, templates ... Experience working within Defense formal product development lifecycles * Experience working within ...
Jupiter, FL · On-site
Developing and executing system verification * Developing MBSE processes, procedures, templates ... Experience working within Defense formal product development lifecycles * Experience working within ...
Jupiter, FL · On-site
Developing and executing system verification * Developing MBSE processes, procedures, templates ... Experience working within Defense formal product development lifecycles * Experience working within ...
Jupiter, FL · On-site
Developing and executing system verification * Developing MBSE processes, procedures, templates ... Experience working within Defense formal product development lifecycles * Experience working within ...
$59.8K - $68.2K
1% of jobs
$68.2K - $76.6K
1% of jobs
$76.6K - $85K
1% of jobs
$85K - $93.3K
1% of jobs
$98.3K is the 25th percentile. Wages below this are outliers.
$93.3K - $101.7K
35% of jobs
The median wage is $103.4K / yr.
$101.7K - $110.1K
54% of jobs
$110.1K - $118.5K
1% of jobs
$118.5K - $126.9K
1% of jobs
$126.9K - $135.3K
2% of jobs
$135.3K - $143.7K
1% of jobs
$143.7K - $152.1K
1% of jobs
$59.8K
$106.6K
$152.1K
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.
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.
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.

$75 - $90/hr
Contractor
Medical, Dental, Vision, Life, Retirement, PTO
Posted 16 days ago
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
Essential Skills
Additional Skills & Qualifications
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 & LocationThis is a Contract to Hire position based out of Melbourne, FL.
Pay and BenefitsThe 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 TypeThis is a fully onsite position in Melbourne,FL.
Application DeadlineThis 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.
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.
5,001 - 10,000 Employees
Hanover, MD, US
1983