ZipRecruiter

Log In

1

Coq Programming Jobs (NOW HIRING)

United Alloy, Inc.

Quality Engineer

Janesville, WI · On-site

$64K - $82K/yr

The Quality Engineer will collaborate with Engineering and Manufacturing to determine and implement ... Process improvements to reduce COQ and customer complaints • Adherence to the Quality Policy and ...

Weatherford International

QUALITY ENGINEER

Houston, TX · On-site

$62K - $80K/yr

In addition to striving for reduction of company Cost of Quality (COQ) while standardizing quality best practices across Weatherford's global footprint. You will collaborate closely with Engineering ...

Weatherford

QUALITY ENGINEER

Houston, TX · On-site

$62K - $80K/yr

In addition to striving for reduction of company Cost of Quality (COQ) while standardizing quality best practices across Weatherford's global footprint. You will collaborate closely with Engineering ...

Globalchannelmanagement

QA Engineer

Fort Worth, TX · On-site

$59K - $60K/hr

... Quality Engineering, CAPA, Root Cause Analysis, 8D, Fishbone Analysis, 5 Why, PFMEA, DFMEA ... DPPM, COQ, Process Improvement, Continuous Improvement, NPI, Risk Assessment, IPC Standards, ESD ...

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

Trojan Battery Company

Engineer, Quality (CDT)

Attica, IN

$61K - $78K/yr

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

Trojan Battery Company

Quality Engineer

Attica, IN

$61K - $78K/yr

... COQ) principals (Scrap/rework/repair) Basic 6 Sigma Skills General understanding of Management ... 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 ...

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

Trojan Battery Company

Sr. Quality Engineer

Attica, IN

$75K - $101K/yr

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

C&D Technologies, Inc.

Quality Engineer

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)

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

next page

Showing results 1-20

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.

Quality Engineer

United Alloy, Inc.

Janesville, WI • On-site

$64K - $82K/yr

Full-time

Posted 13 days ago

United Alloy rating

8.9

Company rating: 8.9 out of 10

Based on 22 frontline employees who took The Breakroom Quiz

Job description

SUMMARY:
With direction from the Quality Manager, the Quality Engineer's primary role is the continual improvement of processes to improve customer satisfaction and reduce the overall Cost of Quality (COQ). The Quality Engineer will collaborate with Engineering and Manufacturing to determine and implement best practices and methods for processes that reduce internal scrap and rework or minimize or eliminate customer complaints.
ESSENTIAL DUTIES & RESPONSIBILITES:
• Evaluate processes to identify and implement improvements
• Lead root cause investigations and develop effective long-term resolutions
• Assist Engineering with design, feasibility review, testing and implementation of new programs or program modifications
• Collaborate with engineering and manufacturing to troubleshoot and implement corrective actions on a timely basis
• Qualification of new processes or changes to processes, including documentation, training and certification of production staff
• Work independently with little supervision while still delivering excellent results on time
• Assist with the plant wide communication of Quality Alerts or Quality concerns
• Has the authority to stop production when nonconforming parts are detected
• Quality Representative when Manager of Quality Assurance is out of the office
• Primary accountability: Process improvements to reduce COQ and customer complaints
• Adherence to the Quality Policy and expectations
QUALIFICATIONS:
• 20/20 vision in at least one eye and must not be color blind required.
(Magnifying lenses (readers, cheaters, etc..) are allowed if the employee normally uses them to read)
• Bachelor's degree in Engineering or related field.
• 1 year of experience in a related metal fabrication or quality function (metal cutting, forming, welding, and powder paint operations)
• American Society for Quality (ASQ) certifications preferred: Certified Quality Engineer (CQE), Certified Six Sigma Green Belt (CSSGB) or Certified Quality Improvement Associate (CQIA)
• Solid understanding of quality systems, inspection and testing processes
• 6σ, Lean, PPAP, FMEA, APQP, Problem solving (8D, 5-why) experience
• Solid understanding of metal fabrication concepts and processes
• Ability to read and interpret blueprints
• Excellent verbal and written communication skills
• Excellent problem solving and analytical skills
• Proficient at multitasking and prioritizing
• Keen sense of attention to detail
• Willingness to work flexible hours with a changing work schedule as needed to support production
UA Vision: "Actively Engaged Team Inspired To Win Together"
• Must be able to navigate in a Windows based computer environment
• Experience with Microsoft Office, including Outlook, Excel, and Word and CAD software
• 12 Expected Behaviors of Actively Engaged Person - 100% Responsible, Trustworthy, Team Player, Clear Communicator, Empathy, Humility, Emotional Self-Control, Resolves Conflict Directly, Positive Attitude, Respects Others, Problem Solver, and Agile.
Equal Opportunity Employer
This employer is required to notify all applicants of their rights pursuant to federal employment laws.
For further information, please review the Know Your Rights notice from the Department of Labor.

What United Alloy employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom

Apply