ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Kentucky

Lumimeds

$101K - $139K/yr

Platform & Product Engineering - LumiMeds Location: Remote / Hybrid Seniority: Mid-Level / Senior ... You know how to structure agent prompts, verify outputs, and integrate agent-generated code into ...

Naval Sea Systems Command

TECHNICIAN

Bardstown, KY · On-site +1

$106K - $163K/yr

To learn more about E-Verify, including your rights and responsibilities, visit e-verify.gov ... Engineering Technical Series 0802 (opm.gov) Technical and Medical Support Positions: Experience ...

Leidos

Power Delivery Project Manager

Lexington, KY · On-site +1

Leidos Engineering is seeking experienced Project Managers to join our Strategic Program Consulting ... Formal Mentorship programs * Learning & Development Resources * Technical Upskilling programs

Leidos

Power Delivery Project Manager

Louisville, KY · On-site +1

Leidos Engineering is seeking experienced Project Managers to join our Strategic Program Consulting ... Formal Mentorship programs * Learning & Development Resources * Technical Upskilling programs

next page

Showing results 1-20

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

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

Automation Engineer (Field Support)

Gray Architects & Engineers, LLC

Lexington, KY • On-site, Remote

Other

Posted 9 days ago

Job description

Overview
Gray AES is looking add a traveling Automation Engineer to support the field. This role can be remote or in a Gray AES Office.
Responsibilities
Why Gray AES?
Gray is a family-owned, fully integrated global service provider specializing in engineering, design, construction, digital, equipment manufacturing, and real estate services. Deeply rooted in EAC services, Gray serves both domestic and international customers across our core markets: Food & Beverage, Manufacturing, Automotive, Distribution, Mission Critical, and Commercial. At Gray, our purpose is to make a positive difference in people's lives and build a better future.
Gray AES, the professional services arm of Gray, is a top-ranked firm offering architecture, engineering, and automation services across the globe. Made up of multidisciplinary teams of architects, engineers, and project managers, these collaborative teams work every day to provide unique, customized solutions for our customers. It's the spirit of our people - the passion, commitment, and a great team environment - that makes our company a great place to work.
Visa Sponsorship: This role is not eligible for visa sponsorship.
Who we want...
Someone who can:
  • Lead commissioning readiness activities throughout construction, installation, turnover, pre-commissioning, startup, and owner acceptance for industrial facilities.
  • Perform structured installation, mechanical completion, and pre-energization walkdowns to verify systems are safe, complete, and ready for commissioning.
  • Coordinate pre-functional inspections, I/O checkout, loop checks, functional testing, and startup support across multiple disciplines.
  • Verify electrical, mechanical, controls, instrumentation, and process systems against project specifications, customer standards, and applicable codes.
  • Identify installation deficiencies, commissioning risks, and quality issues early; coordinate corrective actions before they impact schedule or startup.
  • Lead substantial completion and turnover verification activities, ensuring systems, documentation, and punch lists are complete prior to owner acceptance.
  • Coordinate commissioning readiness activities across construction teams, subcontractors, OEMs, controls engineers, commissioning teams, and owners.
  • Serve as the primary technical field resource to verify commissioning readiness, troubleshooting, and startup execution.
  • Lead readiness meetings, field coordination meetings, and commissioning planning sessions.
  • Align to commissioning readiness schedules aligned with construction milestones.
  • Proactively identify sequencing conflicts, resource constraints, and technical risks; develop recovery plans to maintain project schedules.
  • Assist with commissioning documentation including turnover packages, inspection reports, test records, deficiency logs, and startup procedures.
  • Provide information for routine status updates, and commissioning progress reports to project leadership.
  • Support owner training, operational readiness, and final system turnover.
  • Promote a culture of safety, quality, and technical excellence while mentoring field personnel and reinforcing commissioning best practices.

Qualifications
What we expect...
  • 2+ years of experience in commissioning, startup, industrial automation, construction management, controls engineering, or systems integration.
  • Demonstrated experience supporting industrial construction projects through installation, pre-commissioning, commissioning, and startup.
  • Strong understanding of industrial electrical systems, instrumentation, controls, process equipment, and mechanical systems.
  • Experience performing installation verification, pre-energization inspections, I/O checkout, loop checks, and startup support.
  • Ability to read and interpret P&IDs, electrical drawings, loop drawings, one-lines, control narratives, and equipment documentation.
  • Proven ability to coordinate multiple contractors, OEMs, engineering disciplines, and owner representatives in fast-paced field environments.
  • Strong troubleshooting, organizational, communication, and leadership skills.
  • Ability to identify project risks early and develop practical solutions that protect safety, quality, and schedule.

Preferred Qualifications
  • Experience in Food & Beverage, Life Sciences, Consumer Products, Manufacturing, Data Centers, or other industrial process facilities.
  • Experience with PLC/DCS systems, industrial networking, and modern commissioning software.
  • OSHA 30, NFPA 70E, or other industrial safety certifications preferred.
  • Experience with Safety Instrumented Systems, Process Instrumentation, Utilities and low voltage electrical wiring.

Physical Demands & Work Environment
The physical demands described here are representative of those that must be met by a team member to successfully perform the essential functions of this job. Reasonable accommodations may be made to enable individuals with disabilities to perform the essential functions.
While performing the duties of this position, the team member is frequently required to stand, walk, sit, use hands, reach with hands or arms and talk or hear. They may occasionally be required to climb or balance, stoop, kneel, or crouch. Must occasionally lift and/or move up to 50 pounds. Specific vision abilities required include close vision.
Generally, normal office environment where noise level is moderate and temperature/humidity is controlled. Overtime may be required.
Supervisory Responsibilities
This position has no supervisory responsibilities.
EEO Disclaimer
Our Company will be proactive in employing and advancing qualified individuals regardless of race, color, religion, sex, national origin, age, disability, genetic information, protected veteran status, or any other protected status.
#GRAYAES
#LI-DJ1

Apply