ZipRecruiter

Log In

1

Formal Verification Engineer Jobs in Florida (NOW HIRING)

AERONIX INC

Embedded Software Engineer

Melbourne, FL · On-site

$90K - $125K/yr

Embedded Software Engineer - Job Title: Software Engineer Department: Engineering Reports To ... Familiarity with formal verification or assurance‑oriented development procedures. * Ability to ...

Actalent

FPGA Design Engineer

Melbourne, FL

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

Actalent

Systems Engineer

Melbourne, FL

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

Actalent

Systems Engineer

Melbourne, FL

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

Judge Group, Inc.

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

AERONIX INC

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

AERONIX INC

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

previous pagenext page

Showing results 21-40

All JobsFormal Verification Engineer JobsFormal Verification Engineer Jobs in Florida

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 7, 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:
Formal Verification Engineer jobs near you
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.

Embedded Software Engineer

AERONIX INC

Melbourne, FL • On-site

$90K - $125K/yr

Full-time

Re-posted 26 days ago

Job description


Embedded Software Engineer – Job Description

Job Title: Software Engineer
Department: Engineering
Reports To: Program Manager and Engineering Director
FLSA Status: Exempt / Full-time

Salary Range: $90,000 - $125,000 Annually (depending on experience)

ROLE

We are seeking a skilled Embedded Software Engineer to design, develop, and integrate software for embedded systems with an emphasis on memory‑safe languages development practices aligned with NSA/DoD guidelines. This role covers the full development lifecycle, from architecture through validation, across both RTOS‑based and bare‑metal environments. The ideal candidate will have strong technical expertise, excellent communication skills, and the ability to present software solutions to internal teams and customers.

RESPONSIBILITIES

  • Perform full lifecycle development for embedded systems, including architecture definition, implementation, unit testing, and integration.
  • Apply memory safe development practices, including use of the Rust programming language appropriate for safety or security critical components.
  • Develop software for both RTOS based systems and bare metal CPU environments without typical operating system services.
  • Review customer requirements, translate them into specifications, and produce technical documentation, designs, and operational concepts.
  • Collaborate closely with hardware engineers to ensure seamless integration with custom electronic components and circuit card assemblies.
  • Develop and execute test plans and procedures; perform debugging, troubleshooting, and ensure compliance with functional and security requirements.
  • Conduct design and code reviews, resolve defects, and adhere to established development processes, configuration management, and release practices.
  • Develop low level device drivers and support component level integration on custom hardware.
  • Support automated build and test pipelines for embedded software.
  • Present and explain software designs and solutions to internal teams and customers.
  • Work independently while contributing within a structured technical team.

REQUIRED SKILLS

  • Strong proficiency in C for Embedded Linux, RTOS, and bare‑metal environments.
  • Experience with Memory‑safe software development, including proficiency with Rust.
  • Experience integrating software with custom processor‑based circuit card assemblies.
  • Experience in requirements development and management.
  • Familiarity with formal verification or assurance‑oriented development procedures.
  • Ability to work effectively in a team environment on projects with many requirements.

PREFERRED SKILLS

  • Experience with Embassy multitasking and Hardware Abstraction Layers (HALs) with Rust.
  • Experience with secure coding practices aligned with NSA/DoD guidelines (e.g., SERD 2.0).
  • Register‑level configuration/setup software, with low-level programming in assembly, C, or Rust.
  • Device driver development for UARTs, I²C, SPI, and similar interfaces.
  • Experience with Yocto or Buildroot embedded Linux build environments.
  • Experience with toolchains such as JIRA, Confluence, Bitbucket (Git), and Jenkins.
  • Knowledge of Requirements frameworks, especially DOORS, Jama and Excel.
  • Experience with testing equipment, instrumentation, and data acquisition tools.
  • Knowledge of messaging protocols within the OSI 7‑layer stack.
  • Working knowledge of C++ and Python.

QUALIFICATIONS

  • Bachelor’s Degree in Computer Engineering, Software Engineering, or related field.
  • Minimum 5 years of relevant experience.
  • US Person required; ability to obtain and maintain a DoD Secret clearance.
  • Position located in Melbourne, FL (not remote).