ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Indiana

A.C. Coy

Cobol/CICS Developer (Remote)

Indianapolis, IN · On-site +1

$48 - $65/hr

This will be a 100% remote Contract-to-Hire position. * Must be a US Citizen. * SELECTED CANDIDATES ... formal verification methods. * Translate high level product development strategies into system ...

A.C. Coy

Cobol/CICS Developer (Remote)

Indianapolis, IN · Remote

$48 - $65/hr

This will be a 100% remote Contract-to-Hire position. * Must be a US Citizen. * SELECTED CANDIDATES ... formal verification methods. * Translate high level product development strategies into system ...

A.C. Coy

Cobol/CICS Developer (Remote)

Indianapolis, IN · Remote

$48 - $65/hr

This will be a 100% remote Contract-to-Hire position. * Must be a US Citizen. * SELECTED CANDIDATES ... formal verification methods. * Translate high level product development strategies into system ...

A.C. Coy

FOCUS COBOL CICS Developer (Remote)

Indianapolis, IN · On-site +1

$48 - $65/hr

This will be a 100% remote Contract-to-Hire position. * Must be a US Citizen. * SELECTED CANDIDATES ... formal verification methods. * Translate high level product development strategies into system ...

A.C. Coy

FOCUS COBOL CICS Developer (Remote)

Indianapolis, IN · Remote

$48 - $65/hr

This will be a 100% remote Contract-to-Hire position. * Must be a US Citizen. * SELECTED CANDIDATES ... formal verification methods. * Translate high level product development strategies into system ...

My3Tech Inc

Software Engineer

Columbus, IN · Remote

Remote Software Engineer Location: Indianapolis, IN (100% Remote) Length: 6 month+ This role will ... Project Verification Info : Candidate must be your W2 Employee :Yes Exclusive to Apex :No Face to ...

GAI Consultants

Roadway Project Engineer

Fort Wayne, IN · On-site +1

Participate in occasional site visits in construction sites and remote outdoor work environments ... Applies principles of formal strategic and persuasive communications. * Represents their area of ...

Relativity

Staff Software Engineer

Indianapolis, IN · On-site +1

$174K - $262K/yr

Posting Type Hybrid/Remote Job Overview Who We Are Relativity is a leading legal data intelligence ... Proven ability to influence without formal authority. * Strong mentorship and technical ...

Circle

Staff Software Engineer

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

Circle

Senior Software Engineer

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

Circle

Staff Software Engineer

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

Circle

Senior Software Engineer

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

Circle

Senior Software Engineer

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

Circle

Staff Software Engineer

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

Circle

Senior Software Engineer

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

next page

Showing results 1-20

All JobsRemote Formal Verification Engineer JobsRemote Formal Verification Engineer Jobs in Indiana

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:
Remote Formal Verification Engineer jobs near you
Cobol/CICS Developer (Remote)

Cobol/CICS Developer (Remote)

A.C. Coy

Indianapolis, IN • On-site, Remote

$48 - $65/hr

Contractor

Posted 6 days ago

Job description

Overview
  • Tier One Technologies is seeking a COBOL/CICS Developer to provide system development, enhancement, and maintenance support for a payroll application of our U.S. Government client.
  • This will be a 100% remote Contract-to-Hire position.
  • Must be a US Citizen.
  • SELECTED CANDIDATES WITHOUT REQUIRED CLEARANCE WILL BE SUBJECT TO A FEDERAL GOVERNMENT BACKGROUND INVESTIGATION TO RECEIVE IT.

Responsibilities
  • Ensure that requirements comply with client requirements and government standards through formal verification methods.
  • Translate high level product development strategies into system requirement specifications and works with other engineering disciplines to develop lower level detailed implementation requirements.
  • Establish and coordinate development of standards, practices, and procedures as related to the overall product development.
  • Design interfaces and bring system elements together so they work as a whole.
  • Assess performance using evaluation criteria and technical performance measures.
  • Customer liaison and support for business development activities and to understand and shape requirements.
  • Participate in system conceptual design and documentation of the design concepts.
  • Contribute in design reviews of components (hardware and software) to ensure applicability to the current system and traceability of requirements through compliance verification and validation.
  • Generate system level requirements verification procedures and customer acceptance test procedures.
  • Review test plans/procedures and ensure they meet the objectives of the contractual requirements and participate in the testing process to validate requirements.
  • Modify existing databases and database management systems or direct programmers and analysts to make changes.
  • Write and code logical and physical database descriptions and specify identifiers of database to management system or direct others in coding descriptions.
  • Work as part of a project team to coordinate database development and determine project scope and limitations.
  • Review project requests describing database users' needs to estimate time and cost required to accomplish project.

Qualifications
  • Bachelor's degree in computer science, software engineering or relevant field required.
  • 5+ years of mainframe experience using COBOL, CICS, JCL, DB2.
  • Ability of designing, coding and testing software requirements.
  • Basic knowledge of the full software development lifecycle: from business/systems analysis, through requirements gathering and functional specification authoring, to development, testing and delivery.
  • Familiarity and knowledge of the Agile methodology is a plus.
  • Ability to work independently.
  • Strong verbal and written communication skills, problem solving skills, customer service and interpersonal skills.
  • Must be a US Citizen (no dual citizenship).
  • Able to obtain DoD Public Trust clearance.
  • Must not have traveled outside the US for a combined total of 6 months or more in the last 5 years.
  • Must have resided in the US for the last 5 years.
A.C. Coy Company- Staffing & Consulting Services logo

About A.C. Coy Company- Staffing & Consulting Services

Sourced by ZipRecruiter

Since 1986, our mission is to be the “Always on Target” staffing and consulting provider by helping people and companies achieve their hiring goals. The team is dedicated to achieving these goals by attracting and retaining top talent that meets our clients’ culture and environment. We are fully engaged with our people and companies through ongoing communication to ensure expectations are met.

Industry

Recruiting and staffing services

Company size

51 - 200 Employees

Headquarters location

Canonsburg, PA, US

Social media

FacebookTwitter

View All A.C. Coy Company- Staffing & Consulting Services Jobs

Apply