ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Georgia

Tractian

Technical Support Engineer

Atlanta, GA · On-site +1

You'll collaborate with the development team to improve our products, deliver remote support via ... verification signals in application materials based on available information. These tools assist ...

Tractian

Technical Support Engineer

Atlanta, GA · Remote

You'll collaborate with the development team to improve our products, deliver remote support via ... verification signals in application materials based on available information. These tools assist ...

Redolent, Inc

DevOps Engineer

Atlanta, GA · Remote

$50.75 - $69.50/hr

Atlanta, GA or Remote Duration: 12+ Months Mastery of building and supporting CI/CD pipelines ... Verification Tools ? SonarQube ? Jest Test ? Dang

Gordon Food Service

Senior Software Engineer

Atlanta, GA · On-site +1

$117K - $155K/yr

Facilitates formal code reviews for programs/scripts. * Performs software system maintenance ... Fully remote What you'll bring to the table: * Bachelor Degree Computer Science, Information ...

Harris

You will collaborate closely with our R&D Director to ensure client requests are met by developers ... insurance verification processes, and denial management procedures. * Project Management ...

Harris

You will collaborate closely with our R&D Director to ensure client requests are met by developers ... insurance verification processes, and denial management procedures. * Project Management ...

Gordon Food Service

Senior Software Engineer

Atlanta, GA · On-site +1

$117K - $155K/yr

Facilitates formal code reviews for programs/scripts * Performs software system maintenance ... Hybrid Schedule, 4 days in office in Wyoming, MI or Atlanta, GA, with 1 day remote What you'll ...

Gordon Food Service

Senior Software Engineer

Atlanta, GA · On-site +1

$117K - $155K/yr

Facilitates formal code reviews for programs/scripts * Performs software system maintenance ... Hybrid Schedule, 4 days in office in Wyoming, MI or Atlanta, GA, with 1 day remote What you'll ...

Iterable

Software Engineer II

Atlanta, GA · On-site +1

$93K - $128K/yr

... remote employees worldwide-we are committed to building a diverse and inclusive workplace. We ... verification steps, and review loops with appropriate human oversight and safety guardrails.

Federal Acquisition Service

Quality Engineer

Atlanta, GA · On-site +1

$90K - $130K/yr

Plans, prepares, participates in, and/or conducts formal or informal briefings/presentations and ... Have your identity and work status eligibility verified if you are not a GSA employee. We will use ...

previous page

Showing results 41-60

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

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

Technical Support Engineer

Tractian

Atlanta, GA • On-site, Remote

Full-time

Medical, Dental, Vision, Retirement, PTO

Re-posted 7 days ago

Job description

Customer at Tractian
The Customer team is the cornerstone of renewals and expansion at Tractian, driving lifetime value, retention, and growth within our global customer base. By deepening relationships with industry leaders like Hyundai, Bosch, and Kraft Heinz, we ensure our Enterprise clients achieve unparalleled success with Tractian solutions. As recognized innovators in industrial technology, our team delivers immediate ROI, fosters long-term partnerships, and drives world-class net revenue retention. At Tractian, every team member is empowered to make a meaningful impact, rewarded for excellence, and supported in creating lasting value for our customers.
What you'll do
As a Technical Support Engineer, you'll troubleshoot mechanical issues, provide timely solutions, and ensure exceptional client satisfaction. You'll collaborate with the development team to improve our products, deliver remote support via Helpdesk and email, and document actions in HubSpot CRM. Additionally, you'll create support materials and share your expertise to drive technical reliability and customer success.
Responsibilities
  • Diagnose and troubleshoot mechanical issues using vibration spectrum analysis, advanced PdM tools, and customer-provided context.
  • Resolve complex technical problems by delivering accurate and timely engineering solutions.
  • Collaborate with the development team to report bugs and recommend improvements based on client feedback and technical insights.
  • Deliver exceptional technical support via Helpdesk, email, and remote sessions, ensuring prompt issue resolution and thorough documentation in HubSpot CRM.
  • Develop and maintain support resources, including documentation and knowledge bases, to empower both clients and the team with technical expertise.
  • Foster customer satisfaction by actively listening to client needs and consistently providing outstanding service.

Requirements
  • Vibration Analysis CAT III certification.
  • At least 5 years of experience troubleshooting in industrial manufacturing environments.
  • Ability to work Eastern Standard Time (EST) hours.
  • Exceptional verbal and written communication skills, with the ability to convey technical concepts clearly.
  • Comprehensive knowledge of industrial processes and PPCM (Planning, Programming, and Control of Maintenance) operational routines.

Compensation
Competitive Salary
Premium Medical, Dental, and Vision Coverage
Paid Time Off (PTO): 15 Days
401(k) Retirement Plan
Language Learning Opportunities - Take advantage of optional, fully funded Portuguese or Spanish courses to enhance your skills and global reach.
Gympass Membership - Access a wide range of gyms and training programs.
Sports Incentive - Receive a monthly bonus when you regularly participate in physical activities.
Long-Term Benefit - After four years of service, earn a fully funded trip anywhere in the world.
We may use artificial intelligence (AI) tools to support parts of the hiring process, such as reviewing applications, analyzing resumes, or assessing responses and identifying potential inconsistencies or verification signals in application materials based on available information. These tools assist our recruitment team but do not replace human judgment. Final hiring decisions are ultimately made by humans. If you would like more information about how your data is processed, please contact us.

Apply