2

Remote Formal Verification Engineer Jobs in Indiana

Senior Software Engineer

Austin, IN ยท Remote

$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

Austin, IN ยท Remote

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

Staff Software Engineer

Miami, IN ยท Remote

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

Engineering & Science Job Schedule: Full time Remote: No The Company We build the machines that ... Verify, review, and maintain all existing and emerging company and Government regulatory policies ...

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

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

OE Transmission Line Engineers

Indianapolis, IN ยท On-site +1

$100K - $140K/yr

GFT is seeking an OE Transmission Line Engineer to join our Power Business Group! If you are in ... However for the right candiate, this would be a remote position. Joining the power team at GFT ...

Manager, Software Engineering

Nashville, IN ยท Remote

$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

Austin, IN ยท Remote

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

$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

Boston, IN ยท Remote

$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 ยท Remote

$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

Florence, IN ยท Remote

$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

Miami, IN ยท Remote

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

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

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

next page

Showing results 1-20

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

Senior Software Engineer

Circle

Austin, IN โ€ข Remote

$152K - $205K/yr

Full-time

Posted 12 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 Senior 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:

  • 6 years minimum professional software development experience in object oriented languages like Java and Go

  • Bachelor's degree in Computer Science or a closely related field (or equivalent).

  • Led teams (2-4) technically on architecture and system design.

  • Experience working with payment systems like credit cards and bank transfers.

  • A broad understanding of RESTful API design and development principles.

  • Experience with Cloud Services (AWS, Google Cloud, Microsoft Azure, etc).

  • Experience with SQL databases and designing schemas.

  • Proven experience in the design & deployment of production-quality, scalable software.

  • A 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, you enjoy moving at a fast pace, shipping software that improves the user experience and constantly improving your work with little supervision.

Additional Information:

  • This position is eligible for day-one PERM sponsorship for qualified candidates.

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: $152,500-$205,000

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