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

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

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

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

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

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

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

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

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

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

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

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

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

Senior Advanced Quality Engineer

Decatur, AL · On-site

$83K - $112K/yr

... COQ). This role primarily supports operations in Decatur, Alabama, with additional support for ... Experience using, programming, and interpreting CMM/3D scanning/metrology systems. * Significant ...

next page

Showing results 1-20

Coq Programming information

See salary details

$25K

$88.9K

$149K

How much do coq programming jobs pay per year?

As of Jun 30, 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 is coq in programming?

Coq is an interactive theorem prover used in programming to develop formal proofs and verify software correctness. It supports functional programming and allows developers to write mathematical specifications, proofs, and certified code, often used in safety-critical systems. Knowledge of logic, type theory, and functional programming languages like OCaml is beneficial for Coq programming roles.

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 jobs pay $10,000 a month without a degree?

In the field of Coq programming, high-paying roles such as freelance formal verification consultants or specialized software developers can reach or exceed $10,000 per month without a degree, especially with strong skills in theorem proving, functional programming, and industry experience. These positions often require expertise in Coq, a deep understanding of formal methods, and the ability to work independently or with consulting firms. Earning this level typically depends on project complexity, reputation, and client demand rather than formal education credentials alone.

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.

Is coq a functional programming language?

Coq is a formal proof management system that uses a dependently typed functional programming language to develop mathematical proofs and certified software. It is based on the calculus of inductive constructions, making it a strongly typed, functional language suitable for formal verification tasks. Coq is often used by programmers and researchers in formal methods and software correctness.

What jobs in the US pay 300,000 a year?

In the US, senior roles such as software engineers, data scientists, and specialized legal or medical professionals can earn $300,000 or more annually. High-level executive positions like CEOs and investment bankers also frequently reach or exceed this salary level, often requiring advanced skills, extensive experience, and relevant certifications.

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:
Infographic showing various Coq Programming job openings in the United States as of June 2026, with employment types broken down into 95% Full Time, 1% Temporary, 3% Contract, and 1% Nights. Highlights an 90% Physical, 3% Hybrid, and 7% 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

Posted 9 days ago


Job description

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.