ZipRecruiter

Log In

2

Remote Formal Verification Jobs in Indiana (NOW HIRING)

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

ASTRO PAK LLC

Technical Estimator

Indianapolis, IN · On-site +1

This role is remote based with up to 25% travel. As this role supports our Data Center region, this ... Coordinate formal bid reviews by preparing drafts, participating in review meetings, and finalizing ...

Ultra

Senior Manager, Program Finance

Columbia City, IN · On-site +1

$99.90K - $136K/yr

Oversee and present formal Quarterly Finance Reviews (QFRs) with visibility to Executive Leadership ... If remote - periodic travel to Columbia City, IN as required Qualifications / skills * >Degree in ...

People also search for

All JobsRemote Formal Verification JobsRemote Formal Verification Jobs in Indiana

Remote Formal Verification 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 expertise in digital design, formal methods, and verification methodologies, usually supported by a degree in electrical engineering, computer engineering, or computer science. Familiarity with formal verification tools like JasperGold, Questa Formal, or OneSpin, and proficiency in hardware description languages (HDLs) such as Verilog or VHDL are critical. Strong analytical thinking, attention to detail, and clear communication are standout soft skills, especially when collaborating remotely with global teams. These skills and qualifications are essential to ensure that complex hardware designs are reliable, bug-free, and meet stringent industry standards.

What are some common challenges faced by remote formal verification engineers, and how can they be addressed?

Remote formal verification engineers often face challenges related to effective collaboration and communication, as formal verification requires close coordination with design and verification teams. Working across time zones and relying on digital tools can make it harder to quickly resolve ambiguities in specifications or debug issues. To address these challenges, it’s essential to establish clear documentation practices, schedule regular video meetings, and actively participate in code reviews and knowledge-sharing sessions. Leveraging collaborative platforms and maintaining open communication channels can help mitigate the impact of physical distance and ensure project goals are met efficiently.

What is remote formal verification?

Remote formal verification refers to the process of using mathematical techniques and specialized software tools to rigorously prove the correctness of hardware or software systems, typically while working from a remote location. Unlike traditional testing, formal verification provides guarantees about system behavior by checking against formal specifications. Professionals in this field often collaborate with teams online, review code or hardware designs, and use tools such as model checkers or theorem provers to identify and eliminate potential errors before deployment.

What is the difference between Remote Formal Verification vs Remote Hardware Verification?

AspectRemote Formal VerificationRemote Hardware Verification
CredentialsTypically requires degrees in Computer Science or Electrical Engineering, plus certifications in formal methodsRequires degrees in Electrical Engineering, Computer Engineering, or related fields; certifications may include FPGA or ASIC design
Work EnvironmentPrimarily focused on software tools, modeling, and mathematical proofs, often in a remote settingInvolves testing and validation of hardware prototypes or designs, often in labs or remotely via simulation tools
Industry UsageUsed in semiconductor, aerospace, and safety-critical software industriesCommon in semiconductor, electronics manufacturing, and embedded systems industries

Remote Formal Verification focuses on mathematically proving the correctness of hardware or software designs using formal methods, often in a software-centric environment. Remote Hardware Verification involves testing physical hardware or simulations to ensure hardware functions correctly. Both roles require technical expertise but differ in their focus on software proofs versus hardware testing.

What are popular job titles related to Remote Formal Verification jobs in Indiana? For Remote Formal Verification jobs in Indiana, the most frequently searched job titles are:
What job categories do people searching Remote Formal Verification jobs in Indiana look for? The top searched job categories for Remote Formal Verification jobs in Indiana are:
What cities in Indiana are hiring for Remote Formal Verification jobs? Cities in Indiana with the most Remote Formal Verification job openings:
Remote Formal Verification jobs near you
Cobol/CICS Developer (Remote)

Cobol/CICS Developer (Remote)

A.C. Coy

Indianapolis, IN • On-site, Remote

$48 - $65/hr

Contractor

Posted 18 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