2

Remote Formal Verification Engineer Jobs in Greentown, IN

Staff Software Engineer

Atlanta, IN · On-site +1

$195K - $257K/yr

Excellent communication skills, able to collaborate with remote teams, share ideas and present ... Additionally, Circle participates in the E-Verify Program in certain locations, as required by law.

Senior Software Engineer

Atlanta, IN · On-site +1

$152K - $205K/yr

Excellent communication skills, able to collaborate with remote teams, share ideas and present ... Additionally, Circle participates in the E-Verify Program in certain locations, as required by law.

Senior Software Engineer

Miami, IN · On-site +1

$152K - $205K/yr

Excellent communication skills, able to collaborate with remote teams, share ideas and present ... Additionally, Circle participates in the E-Verify Program in certain locations, as required by law.

Staff Software Engineer

Miami, IN · On-site +1

$195K - $257K/yr

Excellent communication skills, able to collaborate with remote teams, share ideas and present ... Additionally, Circle participates in the E-Verify Program in certain locations, as required by law.

Manager, Software Engineering

Miami, IN · On-site +1

$195K - $257K/yr

You have experience managing remote teams * The ability to thrive on a fast pace environment with ... Additionally, Circle participates in the E-Verify Program in certain locations, as required by law.

Manager, Software Engineering

Atlanta, IN · On-site +1

$195K - $257K/yr

You have experience managing remote teams * The ability to thrive on a fast pace environment with ... Additionally, Circle participates in the E-Verify Program in certain locations, as required by law.

Senior Manager, Internal Audit

Miami, IN · On-site +1

$175K - $227K/yr

Enterprises, financial institutions, and developers use Circle to power trusted, internet-scale ... Test and verify the effectiveness of internal controls across Circle National Trust's treasury ...

Senior Manager, Internal Audit

Atlanta, IN · On-site +1

$175K - $227K/yr

Enterprises, financial institutions, and developers use Circle to power trusted, internet-scale ... Test and verify the effectiveness of internal controls across Circle National Trust's treasury ...

Enterprises, financial institutions, and developers use Circle to power trusted, internet-scale ... Work effectively in a fully remote environment with teams spanning multiple time-zones (our team is ...

Enterprises, financial institutions, and developers use Circle to power trusted, internet-scale ... Work effectively in a fully remote environment with teams spanning multiple time-zones (our team is ...

Remote Formal Verification Engineer information

See Greentown, IN salary details

$71.8K

$128.1K

$182.7K

How much do remote formal verification engineer jobs pay per year?

As of Aug 28, 2026, the average yearly pay for remote formal verification engineer in Greentown, IN is $128,076.00, according to ZipRecruiter salary data. Most workers in this role earn between $122,100.00 and $122,100.00 per year, depending on experience, location, and employer.

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 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 cities near Greentown, IN are hiring for Remote Formal Verification Engineer jobs?

Cities near Greentown, IN with the most Remote Formal Verification Engineer job openings:

Staff Software Engineer

Circle

Atlanta, IN • On-site, Remote

$195K - $257K/yr

Full-time

Re-posted 23 days ago


Job description

Circle (NYSE: CRCL) is one of the world's leading internet financial platform companies, building the foundation of a more open, global economy through digital assets, payment applications, and programmable blockchain infrastructure. Circle's platform includes the world's largest regulated stablecoin network anchored by USDC, Circle Payments Network for global money movement, and Arc, an enterprise-grade blockchain designed to become the Economic OS for the internet. Enterprises, financial institutions, and developers use Circle to power trusted, internet-scale financial innovation. Learn more at circle.com.

What you'll be part of:

Circle is committed to visibility and stability in everything we do. As we grow as an organization, we're expanding into some of the world's strongest jurisdictions. Speed and efficiency are motivators for our success and our employees live by our company values: High Integrity, Future Forward, Multistakeholder, Mindful, and Driven by Excellence. We have built a flexible work environment where new ideas are encouraged and everyone is a stakeholder.

What you'll be responsible for:

The Staff Software Engineer is responsible for extending Circle's in-house blockchain systems infrastructure to support the tokenization of the world; analyzing requirements, procedures, and problems to improve existing systems and modifying systems; building and owning scalable microservices that are responsible for reliable and secure APIs that transfer value and assets across all blockchain protocols as well as traditional banking protocols; collaborating with Product and Engineering teams to design, test, and shape Circle features, including developing and documenting system design procedures, testing procedures, and quality standards; troubleshooting program and system malfunctions to restore normal functioning; building publicly accessible APIs that make it simple for developers to integrate with complex payment systems; integrating Platform Services with leading banks and financial technologies; consulting with management to ensure agreement on system principles; writing the infrastructure to deliver great payment experiences, including data sources (SQL or NoSQL), messaging systems and APIs; other duties as assigned.

What you'll bring to Circle:

  • 7 years minimum professional software development experience in object oriented languages like Go or Java.

  • Computer Science degree or a closely related field (or foreign equivalent).

  • Technical leadership of teams >4 on architecture and system design.

  • Expert in one of the domains of API design, payments processing, or blockchains.

  • Deep understanding/experience with:

    • Architecture, design, and deployment of production-quality, scalable software

    • Web3, blockchain, smart Contract business logic

    • RESTful API design and development principles

    • Cloud services (AWS, Google Cloud, Microsoft Azure, etc)

    • Container orchestration systems like Kubernetes or EKS, ECS

    • SQL databases and designing schemas

  • Deep focus on coding standards and code quality -- a desire to have great test coverage to enable continuous delivery.

  • Excellent communication skills, able to collaborate with remote teams, share ideas and present concepts effectively

  • Self-starter with a curious mindset, you enjoy moving at a fast pace, shipping software that improves the user experience and constantly improving your work with little supervision

Circle is on a mission to create an inclusive financial future, with transparency at our core. We consider a wide variety of elements when crafting our compensation ranges and total compensation packages.

Starting pay is determined by various factors, including but not limited to: relevant experience, skill set, qualifications, and other business and organizational needs. Please note that compensation ranges may differ for candidates in other locations.

Base Pay Range: $195,000-$257,500

We are an equal opportunity employer. We do not discriminate on the basis of race, religion, color, national origin, gender, sexual orientation, age, marital status, veteran status, or disability status, or any other protected status required by the laws in the locations where we hire. Additionally, Circle participates in the E-Verify Program in certain locations, as required by law.

Should you require accommodations or assistance in our interview process because of a disability, please reach out toaccommodations@circle.comfor support. We respect your privacy and will connect with you separately from our interview process to accommodate your needs.

#LI-Remote