2

Remote Formal Verification Engineer Jobs in Georgia

Senior Site Reliability Engineer II

Atlanta, GA · On-site +1

$104.90K - $174.70K/yr

... Verification, Fraud and Credit Risk mitigation and Customer Data Management. You can learn more ... If not, this role is fully remote. We do not restrict applicants based on job site or posting ...

Project Engineer

Atlanta, GA · On-site +1

$70K - $95K/yr

Verify. Position Summary EBI Consulting is seeking a full-time Project Engineer to conduct due ... This position reports directly to the Associate Area Operations Manager and will be a fully remote ...

Senior Site Reliability Engineer II

Buford, GA · On-site +1

$104.90K - $174.70K/yr

... Verification, Fraud and Credit Risk mitigation and Customer Data Management. You can learn more ... If not, this role is fully remote. We do not restrict applicants based on job site or posting ...

Test Engineer

Atlanta, GA · Remote

$18.50K - $23K/yr

Through an Employer of Record (EOR), we are looking for a new, remote Test Engineer in India to ... Develop, verify, and validate system test cases for web-based and mobile applications * Create and ...

Conyers, GA / Remote (Hybrid options available) About Raymond: We are a progressive, forward ... We participate in E-Verify. EOE M/F/D/V

Conyers, GA / Savannah, GA / Remote (Hybrid options available) About Us: We are a progressive ... We participate in E-Verify. EOE M/F/D/V

Project Engineer

Atlanta, GA · On-site +1

$70K - $95K/yr

Verify. Position Summary EBI Consulting is seeking a full-time Project Engineer to conduct due ... This position reports directly to the Associate Area Operations Manager and will be a fully remote ...

Full Stack Engineer (US Remote)

GA · On-site +1

$110K - $140K/yr

Job Title: Full Stack Engineer Location: United States remote Job Type: Full-Time At First ... verification plans and quality assurance procedures. Additionally, they will document and maintain ...

Platform DevOps- DATA HUB

Alpharetta, GA · Remote

$51.50 - $70.50/hr

The Dev Ops Engineer will be responsible for managing and maintaining the configuration of software ... Remote. 1 year long contract at least Project Verification Info :The information provided below is ...

next page

Showing results 1-20

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 Georgia? The most popular types of Formal Verification Engineer jobs in Georgia 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:
Senior Site Reliability Engineer II

Senior Site Reliability Engineer II

RELX

Atlanta, GA • On-site, Remote

$104.90K - $174.70K/yr

Full-time

Posted 22 days ago


Job description

About the Business:

LexisNexis Risk Solutions is the essential partner in the assessment of risk. Within our Business Services vertical, we offer a multitude of solutions focused on helping businesses of all sizes drive higher revenue growth, maximize operational efficiencies, and improve customer experience. Our solutions help our customers solve difficult problems in the areas of Anti-Money Laundering/Counter Terrorist Financing, Identity Authentication & Verification, Fraud and Credit Risk mitigation and Customer Data Management. You can learn more about LexisNexis Risk at the link below, https://risk.lexisnexis.com

About the Role:

We are hiring a hands-on Senior Site Reliability Engineer (SRE) to actively build, operate, and improve the reliability of our production systems. This is not a purely advisory role you will be directly involved in designing infrastructure, writing Terraform, improving observability, and responding to real production incidents.

If you live near one of our offices, you may work a hybrid schedule. If not, this role is fully remote. We do not restrict applicants based on job site or posting location.

Job Title: Senior Site Reliability Engineer (SRE)

Location: Open (U.S.-based). No job site restrictions.
Work Model: Hybrid (if near an office) or Fully Remote
Employment Type: Full-time
Department: Engineering / Infrastructure

What You'll Do
  • Design, build, and operate highly available, scalable systems in AWS

  • Write, maintain, and review Terraform to provision and manage infrastructure

  • Own and improve monitoring, alerting, and observability using Grafana, Pingdom, and Uptrends

  • Participate in a rotating on-call schedule, responding to production incidents and driving issues to resolution

  • Lead incident response, root cause analysis, and post-incident reviews with a focus on prevention and automation

  • Define and manage SLOs, SLIs, and error budgets

  • Build and improve CI/CD pipelines and operational workflows using Azure DevOps and GitHub

  • Work directly with application teams to improve reliability, performance, and deployability

  • Automate manual operational tasks to reduce toil

  • Maintain clear, actionable runbooks and documentation in Confluence

  • Track work, incidents, and operational improvements using Jira and ServiceNow

  • Mentor other engineers and help set SRE standards and best practices

Required Qualifications
  • 5+ years of hands-on experience in SRE, DevOps, or Infrastructure Engineering roles

  • Strong production experience in AWS

  • Required: Significant hands-on experience with Terraform in real-world environments

  • Experience operating monitoring and uptime platforms such as Grafana, Pingdom, and Uptrends

  • Strong Linux systems, networking, and troubleshooting skills

  • Experience supporting production systems through incident response and on-call rotations

  • Proficiency with GitHub and modern Git workflows

  • Experience building or maintaining CI/CD pipelines with Azure DevOps

  • Familiarity with ITSM and incident workflows using ServiceNow

  • Strong written communication skills with experience documenting systems and processes in Confluence

  • Ability to work independently in a remote or hybrid environment

Preferred Qualifications
  • Experience defining and operating against SLOs and error budgets

  • Infrastructure-as-Code best practices beyond Terraform (modules, testing, CI integration)

  • Experience with containers and orchestration (Docker, Kubernetes)

  • Experience supporting large-scale, high-availability production systems

  • Prior experience mentoring engineers or serving as a technical lead

What We Offer
  • Competitive salary and comprehensive benefits

  • Flexible work location with hybrid or fully remote options

  • Real ownership of production systems and reliability outcomes

  • A culture that values automation, learning, and continuous improvement

U.S. National Base Pay Range: $104,900 - $174,700. Geographic differentials may apply in some locations to better reflect local market rates. This job is eligible for an annual incentive bonus.

We know your well-being and happiness are key to a long and successful career. We are delighted to offer country specific benefits. Click here to access benefits specific to your location.

We are committed to providing a fair and accessible hiring process. If you have a disability or other need that requires accommodation or adjustment, please let us know by completing our Applicant Request Support Formor please contact 1-855-833-5120.

Criminals may pose as recruiters asking for money or personal information. We never request money or banking details from job applicants. Learn more about spotting and avoiding scams here.

Please read our Candidate Privacy Policy.

We are an equal opportunity employer: qualified applicants are considered for and treated during employment without regard to race, color, creed, religion, sex, national origin, citizenship status, disability status, protected veteran status, age, marital status, sexual orientation, gender identity, genetic information, or any other characteristic protected by law.

USA Job Seekers:

EEO Know Your Rights.