ZipRecruiter

Log In

1

Coq Programming Jobs (NOW HIRING)

C&D Technologies, Inc.

Sr. Quality Engineer

Attica, IN · On-site

$75K - $101K/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)

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

StandardAero

Mechanical Engineer

Broomfield, CO

$85K - $95K/yr

Mechanical Engineer Broomfield, CO Build an Aviation Career You're Proud Of At StandardAero, we use ... Collaborate with Quality, Operations and Maintenance to help reduce the Cost of Quality (CoQ) and ...

atrion

Quality Engineer

Davie, FL · On-site

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

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

Germfree Laboratories Inc

Quality Engineer

Ormond Beach, FL · On-site

$63K - $81K/yr

Quality Engineer · Department: Quality Engineering · Location: Ormond Beach, FL (USA) · ... CoQ)and surface trends with recommended actions to the Director of Quality & Lean. 2. Industry ...

REXEL

Manufacturing Engineering Supervisor

Santa Clara, CA · On-site

$116K - $145K/yr

Define and monitor KPIs (launch OTD, first-pass yield, COQ, ECO cycle time, test coverage, labor ... Knowledge of Steinhauer Enclosure Modification Center programming, setup, and troubleshooting

New

Acara Solutions

Supplier Quality Engineer

Bradford, PA · On-site

$85K - $105K/yr

Supplier Quality Engineer Location: Bradford, PA Employment Type: Direct Hire Industry: Oil and Gas ... Monitor and drive for Cost of Failure/ Quality (COF / COQ) reduction within the business and work ...

StandardAero

Mechanical Engineer

Broomfield, CO · On-site

$85K - $95K/yr

Mechanical Engineer Broomfield, CO Build an Aviation Career You're Proud Of At StandardAero, we use ... Collaborate with Quality, Operations and Maintenance to help reduce the Cost of Quality (CoQ) 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 ...

Blue Origin, LLC

Sr. Electrical Engineer

Seattle, WA · On-site

$145K - $203K/yr

In this role, you will serve as an electrical engineer to design mission hardware from concept ... Experience with parts derating, traceability (CoC/CoQ), and basic radiation considerations (TID/SEE ...

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

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

GE Appliances

Advanced Quality Engineer

Selmer, TN · On-site

... Quality (COQ) improvements, including scrap reduction, yield improvement, concessions, damage ... using, programming, and interpreting CMM, 3D scanning, and other metrology systems • Strong ...

previous pagenext page

Showing results 21-40

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 Aug 10, 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 August 2026, with employment types broken down into 1% Internship, 79% Full Time, 13% Part Time, 1% Temporary, 5% Contract, and 1% Nights. Highlights an 89% Physical, 3% Hybrid, and 8% Remote job distribution, with an average salary of $88,946 per year, or $42.8 per hour.

Sr. Quality Engineer

C&D Technologies, Inc.

Attica, IN • On-site

$75K - $101K/yr

Full-time

Posted 11 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
The Senior 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
The Sr. 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
• Responsible for the 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.
• Drive 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
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