ZipRecruiter

Log In

1

Coq Programming Jobs (NOW HIRING)

Qcells

Field Quality Engineer

Cartersville, GA · On-site

Support Cost of Quality (CoQ) tracking related to field performance. * Coordinate with plant teams ... Bachelor's degree in engineering or related technical field. * 5+ years of experience in Quality ...

Q-Cells

Field Quality Engineer

White, GA · On-site

Support Cost of Quality (CoQ) tracking related to field performance. * Coordinate with plant teams ... Bachelor's degree in engineering or related technical field. * 5+ years of experience in Quality ...

Qcells

Field Quality Engineer

White, GA

Support Cost of Quality (CoQ) tracking related to field performance. * Coordinate with plant teams ... Bachelor's degree in engineering or related technical field. * 5+ years of experience in Quality ...

Trojan Battery Company

Engineer, Quality (CDT)

Attica, IN · On-site

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

Labor Solutions, LLC

Be Seen First

Quality Engineer

Mount Prospect, IL · On-site

$80K - $85K/yr

... engineering, and leadership to drive quality, reduce waste, and improve processes ... Reduce scrap, defects, and cost of quality (COQ) across converting operations * Lead internal ...

Precision Metal Products, Inc.

Quality Engineer

El Cajon, CA · On-site

$75K - $97K/yr

The Quality Engineer will support the development, planning and monitoring of quality assurance ... Reviews and analyzes COQ information and prepares recommendations for quality and productivity ...

Windings, Inc.

Sr. Operations Analyst

New Ulm, MN

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

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

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.

Field Quality Engineer

Qcells

Cartersville, GA • On-site

Full-time

Posted 24 days ago

Qcells rating

6.1

Company rating: 6.1 out of 10

Based on 22 frontline employees who took The Breakroom Quiz

Job description

Description
SUMMARY
The Field Quality Engineer is responsible for monitoring and improving global field quality performance across multiple manufacturing sites. This role focuses primarily on field claim data analysis, KPI tracking, and coordination of corrective actions to reduce field-related risks and Cost of Quality (CoQ). The role also supports B2B customer accounts by driving proactive claim risk management and aligning field quality performance with commercial and contractual requirements.
The position supports cross-functional responses to significant field incidents, including Product Liability (PL) cases and performance-related claims. The engineer collaborates with plant quality teams, legal, and leadership to ensure structured investigation, timely escalation, and effective corrective action implementation.
This role works closely with manufacturing sites and corporate stakeholders to drive data-based quality improvements while ensuring alignment with corporate quality standards.
RESPONSIBILITIES
1. Customer Audit & Corrective Action Coordination
  • Support preparation and follow-up activities for customer audits.
  • Track corrective and preventive actions resulting from audit findings.
  • Provide status updates to management on open risks and action progress.
  • Ensure alignment between field performance trends and site-level quality improvements.

2. Field Quality KPI Monitoring & Reporting
  • Consolidate and validate field quality data and customer claims from multiple manufacturing sites.
  • Monitor key performance indicators (KPIs) and identify recurring failure trends.
  • Prepare structured monthly and quarterly field quality reports for management review.
  • Support leadership with data-driven insights to prioritize risk mitigation actions.

3. Field Claims & Cost of Quality Analysis
  • Analyze warranty and field claim data to identify systemic failure patterns.
  • Support Cost of Quality (CoQ) tracking related to field performance.
  • Coordinate with plant teams to initiate corrective actions based on field trends.
  • Track effectiveness of implemented actions and support continuous improvement efforts.
  • Collaborate with sales and key account teams to deliver B2B-focused claim analytics and Cost of Quality insights, enabling proactive risk management and data-driven customer negotiations.

4. Product Liability & Critical Incident Support
  • Support cross-functional investigation of significant field incidents, including Product Liability cases and fire-related events.
  • Coordinate on-site investigations as required (domestic and international travel up to 20-30%).
  • Facilitate structured root cause analysis (8D, RCA, FMEA) with plant and engineering teams.
  • Ensure proper documentation, escalation, and follow-up of containment and corrective actions.
  • Support legal and external communication processes as needed.

REQUIRED QUALIFICATIONS
  • Bachelor's degree in engineering or related technical field.
  • 5+ years of experience in Quality Engineering, Field Quality, Product Reliability, or Manufacturing Quality.
  • Understanding of ISO 9001 or other quality management systems.
  • Experience supporting customer audits in manufacturing environments.
  • Experience analyzing warranty or field claim data.
  • Working knowledge of root cause analysis methodologies (8D, FMEA, RCA).
  • Ability to manage multiple priorities and coordinate cross-functional teams.
  • Strong analytical and reporting skills (Excel and statistical analysis tools).
  • Effective communication skills with the ability to present findings to management.
  • Willingness to travel domestically and internationally (20-30%).

PREFERRED QUALIFICATIONS
  • Experience in solar, renewable energy, or power generation industries.
  • Experience supporting Product Liability investigations or high-impact quality incidents.
  • Familiarity with Cost of Quality (CoQ) analysis and warranty data management.
  • Proficiency in data analysis tools such as Minitab, JMP, Python, Tableau, or similar.
  • Multilingual skills, with Korean proficiency considered a plus.
  • Experience working in multi-site or global organizations.

Hanwha Q CELLS provides equal employment opportunities (EEO) to all employees and applicants for employment without regard to race, color, religion, sex, national origin, age, disability, or genetics.

What Qcells employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom

Apply