ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Florida

G2i

TypeScript - Software Engineer (Remote)

Miami, FL · On-site +1

$30 - $70/hr

We are unable to provide offer letters or employment verification for this role. What You'll Be ... Generate code → expert engineers rank, edit, and justify → convert that feedback into reward ...

Second-61 LLC

Business Process Engineer

Doral, FL · On-site +1

Remote Responsibilities: * Conduct requirements analysis to support program transition into a ... Experience developing formal requirements documentation in a DoD environment * Working knowledge of ...

Truv

Senior DevOps Engineer

Miami, FL · Remote

$140K - $170K/yr

Our technology streamlines income and employment verification, direct deposit switching, and more ... from standing up our first formal observability and alerting platform to architecting ...

GAI Consultants

Civil Engineer 3

Jacksonville, FL · On-site +1

This position can be fully remote. GAI's Power Business Unit focuses on developing and supporting ... Analyzes and selects principles of formal communication, effective teamwork, and various pathways ...

GAI Consultants

Civil Engineer 3

Orlando, FL · On-site +1

This position can be fully remote. GAI's Power Business Unit focuses on developing and supporting ... Analyzes and selects principles of formal communication, effective teamwork, and various pathways ...

next page

Showing results 1-20

People also search for

All JobsRemote Formal Verification Engineer JobsRemote Formal Verification Engineer Jobs in Florida

Remote Formal Verification Engineer information

What are the key skills and qualifications needed to thrive as a Remote Formal Verification Engineer, and why are they important?

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 are Remote Formal Verification Engineers?

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 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 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 Remote Formal Verification Engineer jobs in Florida? For Remote Formal Verification Engineer jobs in Florida, the most frequently searched job titles are:
What job categories do people searching Remote Formal Verification Engineer jobs in Florida look for? The top searched job categories for Remote Formal Verification Engineer jobs in Florida are:
What cities in Florida are hiring for Remote Formal Verification Engineer jobs? Cities in Florida with the most Remote Formal Verification Engineer job openings:
Remote Formal Verification Engineer jobs near you
Senior Verification & Validation Engineer- Remote

Senior Verification & Validation Engineer- Remote

Cognizant Technology Solutions

Oldsmar, FL • On-site, Remote

Full-time

Posted 24 days ago

Cognizant rating

7.5

Company rating: 7.5 out of 10

Based on 83 frontline employees who took The Breakroom Quiz

38th of 57 rated business consultants

Job description

*Please note, this role is not able to offer visa transfer or sponsorship now or in the future*
Job Duties V&V:
  • Responsible for analysis, evaluation, and testing of system development lifecycle deliverables
  • Review of requirements specifications, including traceability analysis and fulfillment analysis.
  • Review of design team verification outputs to confirm adequacy.
  • Development of analyses per requirements of IEEE 1012.
  • Development and execution of test procedures at each stage of the design lifecycle (element, module, system) along with corresponding reporting.
    • Simulated testing performed within the MATLAB/Simulink environment.
    • Physical testing performed at the module-level with supporting I/O simulation and test harnesses.
    • Physical testing performed on a fully integrated system as part of factory acceptance testing.
  • Close coordination with the design and QA teams to ensure product compliance with Paragon's QA program
  • Execute project deliverables within the estimated budgets and in accordance with schedule milestones.

Qualifications:
  • Bachelor of Science in Electrical or Computer Engineering
  • A minimum of 5 years of verification & validation experience
  • Experience with electronics lab equipment to execute hardware testing
  • Experience working within a quality assurance program such as ASME NQA-1 or equivalent.
  • Experience in systems or software engineering for safety-related instrumentation and control systems is preferred. Experience in these disciplines within an industry of equivalent rigor will be considered.
  • Familiarity with MathWorks MATLAB, Simulink, and StateFlow required. Familiarity with Questa Sim and requirements traceability software (e.g., DOORS) desirable.

About usCognizant (Nasdaq: CTSH) is an AI Builder and technology services provider, building the bridge between AI investment and enterprise value by building full-stack AI solutions for our clients. Our deep industry, process and engineering expertise enables us to build an organization's unique context into technology systems that amplify human potential, realize tangible returns and keep global enterprises ahead in a fast-changing world. See how at www.cognizant.com or @cognizant.
Additional employment information
Compensation information is accurate as of the date of this posting. Cognizant reserves the right to modify this information at any time, subject to applicable law.
Applicants may be required to attend interviews in person or by video conference. In addition, candidates may be required to present their current state or government issued ID during each interview.
Cognizant is an equal opportunity employer. Your application and candidacy will not be considered based on race, color, sex, religion, creed, sexual orientation, gender identity, national origin, disability, genetic information, pregnancy, veteran status or any other characteristic protected by federal, state or local laws.
If you have a disability that requires reasonable accommodation to search for a job opening or submit an application, please email [email protected] for roles based in the Americas or [email protected] for roles based in India.

What Cognizant employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom

Apply