1

Formal Verification Engineer Jobs in Florida (NOW HIRING)

... verification. * Experience leading technical tasks or engineering work packages across multidisciplinary teams. * Experience supporting formal technical reviews including SRR, PDR, CDR, TRR, and ...

Principal Electrical Engineer

Saint Petersburg, FL · On-site

$131K - $160K/yr

... verification. * Experience leading technical tasks or engineering work packages across multidisciplinary teams. * Experience supporting formal technical reviews including SRR, PDR, CDR, TRR, and ...

Draft, review, and finalize detailed flight test plans, Verification Cross Reference Matrices (VCRM ... Generate, review, and complete all required safety documentation, including formal hazard analyses ...

... verification. * Experience leading technical tasks or engineering work packages across multidisciplinary teams. * Experience supporting formal technical reviews including SRR, PDR, CDR, TRR, and ...

Showing results 41-60

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.

Principal Electrical Engineer

Leidos

Saint Petersburg, FL • On-site

$107K - $195K/yr

Full-time

Medical, Retirement, PTO

Posted 22 days ago


Leidos rating

8.3

Company rating: 8.3 out of 10

Based on 151 frontline employees who took The Breakroom Quiz

75th of 481 rated business services


Job description

Description

The Defense Systems Group at Leidos has an immediate opening for a Principal Electrical Engineer at our St. Petersburg, FL facility. This position supports the development, integration, and qualification of advanced, mission-critical defense systems for Department of Defense and national security customers.

In this role, you will serve as a senior technical contributor and engineering lead, supporting the design, integration, and verification of complex electronic and communications systems. You will collaborate with multidisciplinary engineering teams to develop system-level solutions spanning RF, digital, embedded hardware, software, and networked subsystems while ensuring performance, reliability, security, and environmental requirements are achieved.

The St. Petersburg facility specializes in the design, modeling, simulation, prototyping, integration, and testing of advanced electronic systems, with emphasis on embedded communications, Software Defined Radios (SDR), phased array antenna systems, and secure RF architectures supporting defense and select commercial customers.

Primary Responsibilities

  • Lead the technical execution of complex electrical and electronic system development efforts from concept through integration, qualification, and field deployment.
  • Develop system and subsystem architectures, perform technical trade studies, and evaluate design alternatives considering performance, cost, schedule, manufacturability, technical risk, and lifecycle supportability.
  • Support system requirements development, decomposition, interface definition, verification planning, and requirements traceability.
  • Perform system-level analysis, functional analysis, interface analysis, timeline analysis, and integration planning across multiple engineering disciplines.
  • Collaborate with RF, digital, FPGA, embedded software, mechanical, systems, and test engineers to ensure successful system integration and verification.
  • Support hardware/software integration, system verification and validation (V&V), environmental qualification, and customer acceptance testing.
  • Develop and review technical documentation including system architectures, interface control documents (ICDs), verification plans, test procedures, engineering analyses, and technical reports.
  • Participate in technical design reviews including SRR, PDR, CDR, TRR, and customer technical interchange meetings (TIMs).
  • Provide technical guidance and mentorship to junior engineers while supporting engineering best practices and design quality.
  • Interface with customers, subcontractors, suppliers, and internal program leadership to resolve technical issues and support program execution.
  • Support business development activities by contributing to technical proposals, white papers, RFI/RFP responses, Basis of Estimate (BOE) development, and technology roadmaps.

Clearance Requirements

  • U.S. Citizenship required.
  • Ability to obtain and maintain a Secret Security Clearance.
  • Active Secret clearance strongly preferred.
  • Ability to obtain and maintain Top Secret clearance preferred.
  • Willingness to work in classified laboratory environments and support secure program activities as required.

Basic Qualifications

  • Bachelor's degree in Electrical Engineering or related discipline with 8–12 years of relevant experience, or Master's degree with 6–10 years of relevant experience. A Doctorate in a related technical discipline may be considered in lieu of some experience.
  • Demonstrated technical expertise in several of the following areas:
    • RF and microwave systems
    • Embedded communications systems
    • Software Defined Radios (SDR)
    • Digital and mixed-signal electronics
    • Power supply and power distribution design
    • Antenna systems
    • Wireless communications and networking
    • System integration and verification
  • Strong understanding of modern communications systems including waveform architectures, modulation techniques, RF propagation, link budgets, spectrum management, bandwidth allocation, and networking concepts.
  • Experience performing system-level engineering activities including requirements analysis, trade studies, integration planning, and verification.
  • Experience leading technical tasks or engineering work packages across multidisciplinary teams.
  • Experience supporting formal technical reviews including SRR, PDR, CDR, TRR, and customer technical meetings.
  • Proven ability to evaluate engineering solutions considering technical performance, cost, schedule, manufacturability, and program risk.
  • Excellent written and verbal communication skills with the ability to interface effectively with customers, program leadership, and multidisciplinary engineering teams.

Preferred Qualifications

  • Active Secret or Top Secret Security Clearance.
  • Experience with phased array antenna systems, RF front-end architectures, beamforming, or advanced communication waveforms.
  • Experience with Model-Based Systems Engineering (MBSE), SysML, or architecture modeling tools.
  • Hands-on experience with:
  • RF, analog, and digital hardware design
  • Schematic capture and PCB layout
  • FPGA development (VHDL or Verilog)
  • Environmental qualification testing (EMI/EMC, vibration, thermal, shock)
  • MATLAB, Python, LabVIEW, or similar engineering analysis tools
  • Experience using laboratory instrumentation including vector network analyzers, spectrum analyzers, oscilloscopes, signal generators, logic analyzers, power meters, and automated RF test equipment.
  • Experience supporting DoD acquisition programs, classified development efforts, and system integration laboratories.

If you're looking for comfort, keep scrolling. At Leidos, we outthink, outbuild, and outpace the status quo — because the mission demands it. We're not hiring followers. We're recruiting the ones who disrupt, provoke, and refuse to fail. Step 10 is ancient history. We're already at step 30 — and moving faster than anyone else dares.

Original Posting:July 15, 2026

For U.S. Positions: While subject to change based on business needs, Leidos reasonably anticipates that this job requisition will remain open for at least 3 days with an anticipated close date of no earlier than 3 days after the original posting date as listed above.

Pay Range:Pay Range $107,900.00 - $195,050.00

The Leidos pay range for this job level is a general guideline only and not a guarantee of compensation or salary. Additional factors considered in extending an offer include (but are not limited to) responsibilities of the job, education, experience, knowledge, skills, and abilities, as well as internal equity, alignment with market data, applicable bargaining agreement (if any), or other law.

About Leidos

Leidos is an industry and technology leader serving government and commercial customers with smarter, more efficient digital and mission innovations. Headquartered in Reston, Virginia, with 47,000 global employees, Leidos reported annual revenues of approximately $16.7 billion for the fiscal year ended January 3, 2025. For more information, visit www.Leidos.com.

Pay and Benefits

Pay and benefits are fundamental to any career decision. That's why we craft compensation packages that reflect the importance of the work we do for our customers. Employment benefits include competitive compensation, Health and Wellness programs, Income Protection, Paid Leave and Retirement. More details are available at www.leidos.com/careers/pay-benefits.

Securing Your Data

Beware of fake employment opportunities using Leidos’ name. Leidos will never ask you to provide payment-related information during any part of the employment application process (i.e., ask you for money), nor will Leidos ever advance money as part of the hiring process (i.e., send you a check or money order before doing any work). Further, Leidos will only communicate with you through emails that are generated by the Leidos.com automated system – never from free commercial services (e.g., Gmail, Yahoo, Hotmail) or via WhatsApp, Telegram, etc. If you received an email purporting to be from Leidos that asks for payment-related information or any other personal information (e.g., about you or your previous employer), and you are concerned about its legitimacy, please make us aware immediately by emailing us at LeidosCareersFraud@leidos.com.

If you believe you are the victim of a scam, contact your local law enforcement and report the incident to the U.S. Federal Trade Commission.

Commitment to Non-Discrimination

All qualified applicants will receive consideration for employment without regard to sex, race, ethnicity, age, national origin, citizenship, religion, physical or mental disability, medical condition, genetic information, pregnancy, family structure, marital status, ancestry, domestic partner status, sexual orientation, gender identity or expression, veteran or military status, or any other basis prohibited by law. Leidos will also consider for employment qualified applicants with criminal histories consistent with relevant laws.


What Leidos employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom


Leidos logo

About Leidos

Sourced by ZipRecruiter

At Leidos, we deliver innovative solutions through the efforts of our diverse and talented people who are dedicated to our customers' success. We empower our teams, contribute to our communities, and operate sustainable practices. Everything we do is built on a commitment to do the right thing for our customers, our people, and our community.

Industry

It services

Company size

10,000+ Employees

Headquarters location

Reston, VA, US

Social media