ZipRecruiter

Log In

1

Coq Programming Jobs (NOW HIRING)

C&D Technologies, Inc.

Engineer, Quality (CDT)

Attica, IN · On-site

$61K - $78K/yr

... of Quality (COQ) principals (Scrap/rework/repair) • Basic 6 Sigma Skills • General ... Engineer (ASQCQE) • 6 Sigma Green Belt Certified if you like wild growth and working with happy ...

Careen Inc.

Sr. Operations Analyst

New Ulm, MN · On-site

$85K - $105K/yr

Engineering - uncover cost reduction opportunities through product and process analysis ... Quality - analyze nonconformance trends and Cost of Quality (CoQ) drivers * Supply Chain - improve ...

Careen, Inc.

Sr. Operations Analyst (New Ulm)

New Ulm, MN · On-site

$85K - $105K/yr

Engineering - uncover cost reduction opportunities through product and process analysis ... Quality - analyze nonconformance trends and Cost of Quality (CoQ) drivers * Supply Chain - improve ...

Fortive

Sr Supplier Quality Engineer

Everett, WA

Everett, WA (Onsite) As a Senior Supplier Quality Engineer (SQE), you will provide quality ... Monitor supplier quality performance, including defect trends, process variation, CoQ metrics, and ...

SCHLUTER SYSTEMS L.P.

Quality Engineer

Plattsburgh, NY · On-site

$65K - $100K/yr

Description The Quality Engineer will be primarily responsible for working with Development ... Perform cost of quality (COQ) studies to determine the expenses associated with poor quality, such ...

atrion

Quality Engineer

Davie, FL

$66K - $85K/yr

Lead defect and repair reduction programs to drive down Cost of Quality (COQ) metrics. Conduct ... Manage engineering projects focused on improving product quality and QMS compliance. * Generate ...

SCHLUTER SYSTEMS L.P

Quality Engineer

Plattsburgh, NY · On-site

$65K - $100K/yr

The Quality Engineer will be primarily responsible for working with Development, Purchasing ... Perform cost of quality (COQ) studies to determine the expenses associated with poor quality, such ...

GW Electric

$98K - $128K/yr

This primarily includes leading and/or actively participating in COQ(Quality) problem solving ... Hire, train and mentor engineers and support staff to work to their full potential. Maintain ...

Deckers

Associate Industrial Engineer

Midwest, WY · On-site

$68K - $91K/yr

As an Associate Industrial Engineer, you are responsible for working closely with Operations and ... COQ) reduction goals Collaborate with operations, other teams. Support and contribute to Green ...

Fortive

Sr Supplier Quality Engineer

Everett, WA · On-site

Everett, WA (Onsite) As a Senior Supplier Quality Engineer (SQE), you will provide quality ... Monitor supplier quality performance, including defect trends, process variation, CoQ metrics, and ...

Quest Medical, Inc.

Quality Engineer

Allen, TX · On-site

$67K - $86K/yr

Lead defect and repair reduction programs to drive down Cost of Quality (COQ) metrics. Conduct ... Manage engineering projects focused on improving product quality and QMS compliance. * Generate ...

Deckers

Associate Industrial Engineer

Mooresville, IN

$69K - $93K/yr

As an Associate Industrial Engineer, you are responsible for working closely with Operations and ... COQ) reduction goals Collaborate with operations, other teams. Support and contribute to Green ...

Sanuk

Associate Industrial Engineer

Elkhart, IN · On-site

Associate Industrial Engineer General Nature Of Position: As an Associate Industrial Engineer, you ... COQ) reduction goals Collaborate with operations, other teams. Support and contribute to Green ...

next page

Showing results 1-20

People also search for

All JobsCoq Programming Jobs

Coq Programming information

See salary details

$25K

$88.9K

$149K

How much do coq programming jobs pay per year?

As of Jun 5, 2026, the average yearly pay for coq programming in the United States is $88,946.00, according to ZipRecruiter salary data. Most workers in this role earn between $62,500.00 and $116,000.00 per year, depending on experience, location, and employer.

What is Coq programming?

Coq programming refers to using the Coq proof assistant, a formal proof management system, to write mathematical definitions, executable algorithms, and formally verify properties of programs. Coq uses a functional programming language called Gallina, in which users can define functions, state theorems, and construct proofs that are checked by the system for correctness. Coq is widely used in academic research, formal verification of software and hardware, and teaching logic and computer science.

What are the key skills and qualifications needed to thrive as a Coq Programmer, and why are they important?

To thrive as a Coq Programmer, you need a solid background in formal logic, functional programming, and mathematics, often supported by a degree in computer science or a related field. Proficiency with the Coq proof assistant, familiarity with theorem proving environments, and sometimes knowledge of related tools like OCaml are essential. Strong analytical thinking, attention to detail, and effective problem-solving skills make someone stand out in this position. These abilities are crucial for developing and verifying complex mathematical proofs, ensuring software correctness, and advancing formal methods in research or industry.

What are some common challenges Coq programmers face when collaborating on large-scale formal verification projects?

Coq programmers working on large-scale formal verification projects often encounter challenges related to codebase maintainability and effective collaboration. Managing dependencies between proofs, ensuring consistency in proof styles, and merging changes without breaking existing proofs can be particularly complex. Teams typically address these issues through rigorous code review processes, clear documentation standards, and using version control systems tailored for proof engineering. Regular communication and collaborative planning are key to overcoming these challenges and ensuring successful project outcomes.

What is the difference between Coq Programming vs Formal Verification Engineer?

AspectCoq ProgrammingFormal Verification Engineer
Required CredentialsKnowledge of Coq, logic, and theorem provingBackground in computer science, formal methods, and verification tools
Work EnvironmentResearch labs, academia, or software companies focusing on proof developmentTech companies, safety-critical industries, and software development teams
Industry UsagePrimarily in formal methods, academia, and research projectsIn industry for safety, security, and reliability assurance

Coq Programming involves writing formal proofs using the Coq proof assistant, focusing on theorem proving and logic. Formal Verification Engineers apply these skills in practical settings to verify software and hardware systems' correctness. While both roles require knowledge of formal methods, Coq Programming is more research-oriented, whereas Formal Verification Engineering emphasizes application in industry projects.

More about Coq Programming jobs
What cities are hiring for Coq Programming jobs? Cities with the most Coq Programming job openings:
What states have the most Coq Programming jobs? States with the most job openings for Coq Programming jobs include:
What job categories do people searching Coq Programming jobs look for? The top searched job categories for Coq Programming jobs are:
Coq Programming jobs near you
Infographic showing various Coq Programming job openings in the United States as of May 2026, with employment types broken down into 33% Temporary, and 67% Contract. Highlights an 88% Physical, 3% Hybrid, and 9% Remote job distribution, with an average salary of $88,946 per year, or $42.8 per hour.
Engineer, Quality (CDT)

Engineer, Quality (CDT)

C&D Technologies, Inc.

Attica, IN • On-site

$61K - $78K/yr

Full-time

Posted 23 days ago

Job description

It's fun to work in a company where people truly BELIEVE in what they're doing!
We're committed to bringing passion and customer focus to the business.
Position Overview
Quality Engineer coordinates and implements effective processes, product, and component control plans. Utilizing basic 6 Sigma tools such as: Root Cause and Corrective Action (RCCA), Process Mapping, Failure Mode & Effects Analysis (FMEA), and other basic statistical techniques to analyze, understand, and reduce process variation.
Areas of Focus
Quality Engineer is responsible for development and implementation of product and process quality plans based on sound quality 6 Sigma principals, including control plans, procedures, inspection plans, and other quality documentation.
Responsibilities
• Use total quality management (TQM) tools and approaches to other company departments for analytical and reporting processes within respective department.
• Conduct quality audits to ensure continuous control over materials/products/processes, as well as conformance to business processes affecting quality.
• Drive, lead, and mentor process improvement activities, along with participation on teams.
• Customer Complaint Process; Trend analysis, Monthly Reports, corrective actions
• Work directly with the Sr. Quality Engineer on supplier quality performance for all purchased parts for company production use.
• Develop and conduct required quality training programs to key personnel.
• Implement and follow quality system standards, policies, and procedures.
• Support engineering efforts of analytical laboratory equipment and assist in the development and validation of manufacturing equipment, and processes.
• Work with a Sr. Quality Engineer driving process improvement and developing problem solving plans thru 6 Sigma principals
• Development and review of Root Cause and Corrective Action (RCCA) plans
• Development and implementation of sampling plans for production, qualification, and validation of products/processes with Sr. Quality Engineering over-sight
Basic Qualifications
• Associates/Bachelor's Degree in technical discipline and/or a science discipline and/or minimum of 7 years related experience
• Ability to interpret drawings and first article inspection results
• Highly motivated self-starter
• Must be outgoing in personality with strong relationship skills for customers, colleagues and senior management personnel
• Must be able to work with minimum supervision
• High standard of business and personal ethics
• Must be very comfortable with Microsoft Office Applications; MS Outlook, MS Word, MS Excel, Access or equivalent, and Minitab
• Excellent written and verbal communication skills are essential
• General understanding of Lean Principals
• General understanding with Cost of Quality (COQ) principals (Scrap/rework/repair)
• Basic 6 Sigma Skills
• General understanding of Management Quality Systems (e.g. ISO 9000, QS 9000, etc.)
Preferred Qualifications
• Sampling Schemes
• Battery Technology
• Bilingual in Spanish
• Certified Quality Engineer (ASQCQE)
• 6 Sigma Green Belt Certified
if you like wild growth and working with happy, enthusiastic over-achievers, you'll enjoy your career with us!
C&D Technologies logo

About C&D Technologies

Sourced by ZipRecruiter

Industry

Electrical equipment, appliance, and component manufacturing

Company size

1,001 - 5,000 Employees

Headquarters location

Blue Bell, PA, US

Year founded

1906

View All C&D Technologies Jobs

Apply