ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Illinois

Booz Allen Hamilton, Inc.

Cloud Engineer

IL · On-site +1

$99K - $225K/yr

Remote Work: Hybrid Job Number: R0241630 Location: Scott AFB,IL,US Share job via: Share Cloud ... Experience supporting systems requiring formal accreditation and continuous monitoring of DoD ...

Booz Allen Hamilton, Inc.

Cloud Engineer

IL · On-site +1

$99K - $225K/yr

Remote Work: Hybrid Job Number: R0243063 Location: Scott AFB,IL,US Share job via: Share Cloud ... Experience supporting systems requiring formal accreditation and continuous monitoring of DoD ...

Resource Innovations

Energy Engineer

Chicago, IL · On-site +1

This position may be remote, with a preferred location in Illinois, Iowa, Massachusetts, New Jersey ... Conduct measurement and verification activities to establish facility operating conditions, confirm ...

Booz Allen Hamilton, Inc.

API Engineer

IL · On-site +1

$86K - $198K/yr

Remote Work: Hybrid Job Number: R0241467 Location: Scott AFB,IL,US Share job via: Share API ... We reserve the right to take your picture to verify your identity and prevent fraud. Candidate AI ...

Culligan

Senior Sales Engineer

Libertyville, IL · On-site +1

$150K/yr

Libertyville, IL - Remote Description: We are seeking a highly motivated Sales Engineer (Chemical ... RFIs, and prepare formal submittals. § Maintain accurate CRM data, forecasts, and customer ...

Culligan

Senior Sales Engineer

Mundelein, IL · On-site +1

$150K/yr

Libertyville, IL - Remote Description: We are seeking a highly motivated Sales Engineer (Chemical ... RFIs, and prepare formal submittals. § Maintain accurate CRM data, forecasts, and customer ...

Inspira Financial

Sr. Software Engineer (Remote)

Oak Brook, IL · On-site +1

$123K - $163K/yr

... formal technical assessment to validate coding proficiency and technical competency. Education ... Strong Programming Skills: Required proficiency in developing .NET C# and VB console applications ...

next page

Showing results 1-20

All JobsFormal Verification Engineer JobsRemote Formal Verification Engineer JobsRemote Formal Verification Engineer Jobs in Illinois

Remote Formal Verification Engineer information

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 is a remote formal verification engineer?

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 are the key skills and qualifications needed to thrive as a remote formal verification engineer?

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 the most commonly searched types of Formal Verification Engineer jobs in Illinois? The most popular types of Formal Verification Engineer jobs in Illinois are:
What are popular job titles related to Remote Formal Verification Engineer jobs in Illinois? For Remote Formal Verification Engineer jobs in Illinois, the most frequently searched job titles are:
What job categories do people searching Remote Formal Verification Engineer jobs in Illinois look for? The top searched job categories for Remote Formal Verification Engineer jobs in Illinois are:
What cities in Illinois are hiring for Remote Formal Verification Engineer jobs? Cities in Illinois with the most Remote Formal Verification Engineer job openings:
Remote Formal Verification Engineer jobs near you

SDET Automation Engineer - Remote

Lorven Technologies

Chicago, IL • On-site, Remote

Full-time

Re-posted 18 hours ago

Job description

Our client seeks an SDET for a Long Term project in Remote. Below is the detailed requirement
Job Title: SDET
Work location : Remote
Duration: Long Term
Job Description:
  • Bachelor's degree preferably in Computer Science, Information technology, Computer Engineering, or related IT discipline or equivalent experience with 10+ Minimum Experience.
  • 8+ years of hands-on testing and automation experience with Selenium WebDriver or similar (i.e. Robot Framework) and/or software development experience in any language (i.e. Python, Java,etc.,)
  • 4+ years of hands-on SQL database experience (i.e. insert/update statements for data setup, delete/update statements for data teardown, select statements with simple joins for data verification)
  • 2+ years of hands-on testing of REST APIs (i.e. verifying HTTP status code and JSON response body using POSTMAN); bonus if experience includes automation
  • 2+ years of deep CI/CD pipeline experience (i.e. setting automation suite in deployment pipeline, constantly tweaking for optimal value and user-friendly test reports) with either Github actions, Codefresh and Jenkins
  • 2+ years of Playwright framework using TypeScript
  • 6+ years of experience working on an agile team
Lorven technologies logo

About Lorven technologies

Sourced by ZipRecruiter

Lorven Technologies, headquartered in Plainsboro, New Jersey, United States, is a reputable company in the technology industry, specializing in providing effective IT solutions and consulting services. The company's official website, lorventech.com, offers comprehensive insights into its offerings which include but are not limited to software development, IT consulting, project management, and business analysis. Since its inception, Lorven Technologies has been committed to ensuring efficiency and reliability in delivering IT services to its global clientele, establishing itself as a trusted name in the industry.

Industry

It services

Company size

51 - 200 Employees

Headquarters location

Plainsboro, NJ, US

Year founded

2001

Social media

FacebookTwitter

View All Lorven technologies Jobs

Apply