ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Georgia

PadSplit

Staff Platform Engineer (Fully Remote)

Atlanta, GA · On-site +1

$175K - $200K/yr

The Role We Need PadSplit is looking for a Staff Platform Engineer to provide technical leadership ... PadSplit participates in E-Verify. All new employees are required to complete an I-9 form and be ...

PadSplit

Staff Platform Engineer (Fully Remote)

Atlanta, GA · Remote

$175K - $200K/yr

The Role We Need PadSplit is looking for a Staff Platform Engineer to provide technical leadership ... PadSplit participates in E-Verify. All new employees are required to complete an I-9 form and be ...

Arclin USA LLC

Capital Project Engineer

Alpharetta, GA · On-site +1

$98K - $146K/yr

This role may be either Hybrid or Remote. This group is a distributed corporate asset providing ... in progress, providing formal feedback and recognition, communicating overall direction and ...

Arclin

Capital Project Engineer

Alpharetta, GA · On-site +1

$98K - $146K/yr

This role may be either Hybrid or Remote. This group is a distributed corporate asset providing ... in progress, providing formal feedback and recognition, communicating overall direction and ...

Arclin

Continuous Improvement Engineer

Alpharetta, GA · Remote

$77K - $103K/yr

Remote (up to 50% travel required) What You'll Do: * Be a Culture Builder: Champion continuous ... Formal Lean Six Sigma training or experience with expertise in Lean & Six Sigma methodologies.

GBG

Solutions Engineer

Atlanta, GA · Remote

This is a remote position with a strong preference for candidates in the Atlanta metropolitan area ... Exposure to identity verification, fraud prevention, or securityfocused technologies

GBG

Solutions Engineer

Atlanta, GA · On-site +1

This is a remote position with a strong preference for candidates in the Atlanta metropolitan area ... Exposure to identity verification, fraud prevention, or security-focused technologies

ConstructConnect

Systems Engineer I

Atlanta, GA · On-site +1

Team members are expected to maintain a dedicated and ergonomically appropriate remote workspace ... E-Verify Statement ConstructConnect utilizes the E-Verify program with every potential new hire.

Kemper

Guidewire Developer

Alpharetta, GA · On-site +1

... PA, Remote-TX, Remote-VA, Richardson, Texas Details Kemper is one of the nation's leading ... Act as a resource for others by sharing deep technical knowledge and context - without formal ...

Raymond

Civil Engineer

Savannah, GA · On-site +1

Conyers, GA / Charleston, SC / Raleigh, NC / Savannah, GA / Remote (Hybrid options available) About ... We participate in E-Verify. EOE M/F/D/V

EBI Consulting

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 ...

next page

Showing results 1-20

All 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 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 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 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
IBM Verify Engineer (Multiple Openings)

IBM Verify Engineer (Multiple Openings)

Simeio

Atlanta, GA • On-site, Remote

Full-time

Posted 5 days ago

Job description

Location: US - Remote
Work Authorization: US Citizen or Permanent Resident
Education: Bachelor's degree required
Experience: Varies by level (mid- to senior-level professionals encouraged to apply)About the Role
Simeio is seeking experienced professionals across the Identity & Access Management (IAM) landscape to support enterprise IAM programs and initiatives. This is a general, exploratory posting intended to identify candidates across multiple roles, skill sets, and experience levels within the IBM Security Verify and IAM ecosystem.
Opportunities may span engineering, advisory, operations, QA, and program leadership teams. Final role scope and level will align to experience and business needs.Areas of Focus May Include
  • Design, implementation, and support of IBM Security Verify IAM solutions
  • Support of AIMS and PAS environments, including upgrades and enhancements
  • Ownership of authentication, authorization, SSO, federation, and access lifecycle processes
  • Serving as a technical lead or subject matter expert on IAM programs
  • Client engagement, requirement gathering, and solution delivery
  • Production support, troubleshooting, and operational IAM services
  • QA, testing, and continuous improvement activities
  • Project and delivery support for large-scale IAM initiatives
Roles and Levels Considered
This posting may align to roles such as Systems Engineer, Senior Engineer, Subject Matter Expert, Solution Advisor, IAM Architect, Operations or Program Manager, Service Lead, or QA Engineer. Final title will be determined based on experience.Required Qualifications
  • Bachelor's degree
  • Experience in Identity and Access Management or security technologies
  • Hands-on experience with IBM Security Verify, ISAM, IGI, or similar IAM tools
  • Solid understanding of IAM concepts and enterprise security environments
  • Ability to work with enterprise clients
  • US Citizenship or Permanent Residency
Preferred Experience
  • 8+ years of IAM or security experience for senior-level roles
  • Experience in regulated or federal environments
  • IAM integrations, APIs, and directory services
  • Shift-based or 24x7 operational support experience
  • Strong communication and collaboration skills
About Simeio
Simeio is a global leader in Identity and Access Management (IAM), with over 650 employees across offices in the USA (Atlanta HQ and Texas), India, Canada, Costa Rica, and the UK. Founded in 2007 and backed by private equity firm ZMC, Simeio is recognized by industry analysts as a top IAM provider.
We deliver services across access management, identity governance and administration, privileged access management, and risk intelligence-partnering with leading IAM software vendors to support on-premise, cloud, and hybrid environments.
Our clients include Fortune 1000 companies across industries such as financial services, technology, healthcare, media, retail, public sector, utilities, and education.Diversity & Inclusion
Simeio is an equal opportunity employer. If you require assistance with completing this application, interviewing, or participating in the selection process, please let us know.
Simeio is an equal opportunity employer. If you require assistance with completing this application, interviewing, completing any pre-employment testing, or otherwise participating in the employee selection process, please direct your inquiries to any of the recruitment team at recruitment@simeio.com or +1 404-882-3700.

Apply