1

Coq Programming Jobs (NOW HIRING)

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

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

Quality Engineer

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

... Engineering functions. Develop quality performance indicators and monitor key metrics, including: First Pass Yield (FPY) Defects Per Million (DPPM) Customer Returns Cost of Quality (COQ) Corrective ...

Capable of reviewing vendor proposals, prepare COQ to meet specification. * Capable of working together with DDE to complete all the instrument engineering design documents. * Prepare construction ...

Sr. Quality Engineer

Attica, IN · On-site

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

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

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

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

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

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

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

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

... of Cost of Quality (COQ) * Conduct regular process audits in fabrication, assembly, and ... Interpret design engineering data including blueprints, Bills of Material, specifications, and ...

$120 - $180/hr

Proficiency and practical experience with at least one proof assistant (e.g., Lean, Coq, Isabelle ... Proven track record in research or development of programming languages * Proven track record of ...

New

Quality Engineer

Attica, IN · On-site

$70 - $90/hr

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

Showing results 21-40

Coq Programming information

See salary details

$25K

$88.9K

$149K

How much do coq programming jobs pay per year?

As of Sep 2, 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 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 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 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:

Infographic showing various Coq Programming job openings in the United States as of August 2026, with employment types broken down into 1% Internship, 83% Full Time, 12% Part Time, 3% Contract, and 1% Nights. 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.

Sr. Operations Analyst

Careen, Inc.

New Ulm, MN • On-site

$85K - $105K/yr

Full-time

Re-posted 21 days ago


Job description

Turn Data Into Decisions. Drive the Future of Manufacturing.
At Windings, Inc., we're not looking for someone to simply build reports. We're looking for someone who can see patterns before others do, turn operational complexity into clarity, and help shape the future of a growing manufacturing organization.
This is a high-impact role that sits at the center of Engineering, Operations, Supply Chain, Quality, and Finance. You'll partner directly with executive leadership to transform raw operational data into actionable business intelligence that drives smarter decisions, stronger margins, and scalable growth.
If you thrive in fast-paced environments, love solving operational puzzles, and get excited about dashboards, predictive analytics, and continuous improvement - this role was built for you.
***This position can sit in either our Eden Prairie, MN location or at our main facility in New Ulm, MN
What You'll Do
Build the Story Behind the Numbers
  • Create executive-level dashboards and automated reporting tools using platforms like Power BI or Tableau
  • Develop visualizations that provide insight into operational performance across Quality, Engineering, Production, and Supply Chain
  • Deliver real-time visibility into KPIs, trends, bottlenecks, and business performance

Influence Strategic Decisions
  • Analyze sales orders, manufacturing cycles, inventory, throughput, and margin trends
  • Support SIOP/S&OP planning and operational forecasting
  • Identify opportunities for margin expansion, working capital improvement, and operational efficiency
  • Help leadership prioritize long-range investments and growth initiatives

Drive Cross-Functional Impact
You'll work across multiple areas of the business, including:
  • Engineering - uncover cost reduction opportunities through product and process analysis
  • Operations - optimize scheduling, capacity planning, and production flow across sites
  • Quality - analyze nonconformance trends and Cost of Quality (CoQ) drivers
  • Supply Chain - improve inventory turns and support supply continuity strategies

Support Continuous Improvement
  • Provide visibility into safety, quality, delivery, and cost performance
  • Help drive Lean Manufacturing and continuous improvement initiatives
  • Use EOS/Traction methodologies to support accountability and execution

What Makes This Role Exciting
  • Direct exposure to executive leadership
  • High visibility and strategic influence
  • Opportunity to shape systems, dashboards, and reporting from the ground up
  • Work that directly impacts growth, profitability, and operational performance
  • A dynamic manufacturing environment where no two days look the same

Requirements
What You Bring
Required Experience
  • Bachelor's degree in Business Analytics, Engineering, Finance, or related field (or equivalent experience)
  • 5-7 years of analytical experience within manufacturing operations
  • Experience building KPI frameworks, dashboards, and executive reporting tools
  • Strong understanding of manufacturing data, costing, throughput, and operational metrics

Technical Skills
  • Power BI, Tableau, or other visualization tools
  • Advanced Excel and Power Query skills
  • SQL and data modeling experience
  • ERP/MRP system experience

Bonus Points If You Have Experience With
  • Engineer-to-Order (ETO) manufacturing
  • SIOP/S&OP processes
  • Lean Manufacturing or Six Sigma methodologies
  • Multi-site or global manufacturing operations

Success in This Role Looks Like
You'll help create visibility into:
  • On-Time Delivery performance
  • Capacity vs. demand planning
  • Inventory turns and working capital improvements
  • Margin expansion opportunities
  • Cost of Quality (CoQ)
  • Safety performance and TRIR trends
  • New Product Introduction (NPI) cycle time
  • Program financial performance

Why Join Us?
At Windings, Inc., employees don't just work here - they own part of the company's success. As an employee-owned organization, every improvement, innovation, and win contributes to a stronger future for all of us.
We're growing, evolving, and investing in the future. If you're ready to use analytics to make a real operational impact, we'd love to hear from you.
Salary Description
$85,000 - $105,000- annual DOQ
We are committed to providing pay ranges for all open positions. Please note that the specific compensation for this role will be determined based on your experience, qualifications, location, and internal equity considerations. The listed pay range is provided in good faith and is subject to adjustments in accordance with company policies and market conditions.
This position is eligible to participate in a performance-based bonus program based on company performance goals. Bonus payouts are not guaranteed and are determined at the company's discretion.
Physical Requirements:
The physical demands described here are representative of those that must be met by an employee to successfully perform the essential functions of this job. Reasonable accommodations may be made to enable individuals with disabilities to perform the essential functions. While performing the duties of this job, the employee is regularly required to sit; reach with hands and arms and talk or hear. The employee is frequently required to use hands and fingers to handle or feel; frequently lift and/or move up to 10 pounds and occasionally lift and/or move up to 50 pounds. The employee is regularly required to stand and walk. Specific vision ability by this job includes close vision, distance vision, peripheral vision, depth perception and ability to adjust focus.
Work Environment:
The work environment characteristics described here are representative of those an employee encounters while performing the essential functions of this job. Reasonable accommodations may be made to enable individuals with disabilities to perform the essential functions. While performing the duties of this job, the employee is occasionally exposed to fumes or airborne particles. The noise level in the work environment is usually moderate.
Other Requirements:
Because employees in this position must handle information covered by the International Trade and Arms Regulations (ITAR) and/or Export Administration Regulations (EAR), successful applicants will be: (1) required to verify their identity and their status as a U.S. citizen or national, U.S. lawful permanent resident, or person granted refugee or asylee status (or equivalent) in the U.S.; OR (2) undergo additional steps, including but not limited to licensure from the Directorate of Defense Trade Controls (DDTC) in the Bureau of Political-Military Affairs at the U.S. Department of State and/or the Bureau of Industry and Security (BIS) at the U.S.
Department of Commerce.
Equal Opportunity Employer:
Windings is an Equal Opportunity employer. All qualified applicants will receive consideration for employment without regard to age, sex, race, color, religion, national origin, age, marital status, political affiliation, sexual orientation, gender identity, genetic information, disability or protected Veteran status. We are committed to providing a workplace free of any discrimination or harassment.
No Soliciting
Windings will not accept unsolicited resumes from individual recruiters or third-party recruiting agencies in response to Windings job postings. No fee will be paid to third parties who submit unsolicited candidates directly to our hiring managers. Pre-approval from the Windings Talent Acquisition team is required before any external candidate can be submitted and such candidate must be submitted to the Windings Talent Acquisition team.
Salary Description
$85,000 - $105,000 DOQ