1

Coq Programming Jobs (NOW HIRING)

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

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

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

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

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

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

Associate Industrial Engineer

Midwest, WY

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

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

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

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

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

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

Level 3 Electrical Engineer

Seattle, WA · On-site

$121K - $169K/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 ...

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

Is there a future in coding jobs?

Coq programming is a specialized skill in formal verification and theorem proving, which is valuable in industries like software development, cybersecurity, and research. As demand for reliable software increases, expertise in formal methods and proof assistants like Coq is expected to grow, supporting job stability and opportunities for skilled programmers.

What is Coq in coding?

Coq is an interactive theorem prover used in formal verification and proof development, often by programmers and researchers in formal methods. It allows users to write mathematical specifications and verify properties of software and algorithms through formal proofs. Knowledge of functional programming and logic is beneficial when working with Coq in a coding context.

What jobs are good for coders?

For Coq programmers, roles such as formal verification engineer, software developer specializing in proof assistants, or research scientist in formal methods are suitable. These jobs often require strong programming skills, knowledge of theorem proving, and experience with tools like Coq or similar proof assistants. They are typically found in academia, research labs, or industries focused on software correctness and security.

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 a Coq proof assistant?

A Coq proof assistant is a formal software tool used by Coq programmers to develop and verify mathematical proofs and formal specifications. It provides an environment for writing, checking, and managing proofs using a formal language based on the Calculus of Inductive Constructions, supporting skills in formal methods and theorem proving.

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 July 2026, with employment types broken down into 6% Internship, 8% As Needed, 1% Full Time, 15% Temporary, 69% Contract, and 1% Summer. Highlights an 96% Physical, 3% Hybrid, and 1% Remote job distribution, with an average salary of $88,946 per year, or $42.8 per hour.
Director, Supply Chain Strategy and Excellence

Director, Supply Chain Strategy and Excellence

Peloton

New York, NY • On-site

$199K - $225K/yr

Full-time

Medical, Dental, Vision, Retirement, PTO

Posted 10 days ago


Job description

ABOUT THE ROLE
The Director of Supply Chain Strategy & Excellence is a high-impact leadership role responsible for architecting and executing a comprehensive end-to-end supply chain strategy. This position focuses on driving operational excellence, long-term scalability, and rigorous cost management across the enterprise. The successful candidate will use strong analytics to craft a strategic vision, identify opportunities to deploy advanced AI-driven technologies to automate decision-making and improve predictive accuracy, and optimize the global network to enhance service levels and deliver significant bottom-line value.
YOUR DAILY IMPACT AT PELOTON
  • Develop and implement a multi-year supply chain roadmap aligned with corporate growth and fiscal objectives
  • Network Design: Lead the design and optimization of the global distribution and logistics network to ensure maximum efficiency and customer satisfaction
  • Serve as a key advisor to executive leadership on supply chain trends, risks, and investment opportunities
  • Drive cross-functional alignment between Finance, Operations, Sales, and Marketing to ensure integrated business planning
  • Targeted Savings: Establish and manage robust cost-reduction programs targeting delivery, service & repair, refurbishment, and transportation
  • Cost of Quality (CoQ): Drive "Quality-by-Design" initiatives, incorporating member and engineering feedback to optimize product reliability and reduce total CoQ
  • Oversee the supply chain budget, ensuring financial targets are met through rigorous expense management and productivity gains
  • Implement total landed cost models to drive data-driven decision-making in sourcing and logistics
  • AI Deployment: Lead the implementation of AI-driven technologies to automate decision-making and improve predictive accuracy across the supply chain
  • Member First Analytics: Use data to develop feedback loops to drive continuous improvement of the member experience
  • Develop and monitor KPIs focused on cost-to-serve, perfect order fulfillment, and working capital efficiency
  • Champion a culture of continuous improvement utilizing Lean or Six Sigma methodologies to eliminate waste
  • Build, lead, and mentor a high-performing team, focusing on increasing internal talent density
  • Promote a data-driven mindset and technical proficiency across the department
  • Define organizational structures and roles that support evolving business needs and scalability
  • Foster a culture of high performance with a focus on retention of top talent
YOU BRING TO PELOTON
  • Bachelor's Degree: Required in Supply Chain Management, Operations, Engineering, Finance, or a related field
  • Master's Degree/MBA: Highly preferred
  • 8+ years of progressive leadership experience in supply chain, logistics, or operations, with a proven track record of delivering cost-savings and strategic transformations
  • APICS (CSCP/CPIM) or Lean Six Sigma Black Belt certification is a significant plus
  • Exceptional ability to interpret complex data sets and translate them into actionable strategic insights
  • Ability to see the big picture while maintaining attention to detail in execution
  • Strong executive presence with the ability to influence stakeholders at all levels of the organization
  • Advanced knowledge of business intelligence and supply chain tools including: ERP systems (e.g., SAP, Oracle), TMS, WMS, Looker, etc.
  • Demonstrated success in leading large-scale organizational change initiatives
  • Success Metrics
    • Total Landed Cost Reduction - Target Goal: Annual target of 5-8% reduction across primary categories
    • Inventory Turnover - Target Goal: Improvement of 10% year-over-year
    • On-Time-In-Full (OTIF) - Target Goal: Achieve and maintain >98%
    • Forecast Accuracy - Target Goal: Improvement of 20% through integrated planning

#LI-DD1
#LI-Hybrid
The base salary range represents the low and high end of the anticipated salary range for this position based at our New York City headquarters. The actual base salary offered for this position will depend on numerous factors including, without limitation, experience and business objectives and if the location for the job changes. Our base salary is just one component of Peloton's competitive total rewards strategy that also includes annual equity awards and an Employee Stock Purchase Plan as well as other region-specific health and welfare benefits.
As an organization, one of our top priorities is to maintain the health and wellbeing for our employees and their family. To achieve this goal, we offer robust and comprehensive benefits including:
  • Medical, dental and vision insurance
  • Generous paid time off policy
  • Short-term and long-term disability
  • Access to mental health services
  • 401k, tuition reimbursement and student loan paydown plans
  • Employee Stock Purchase Plan
  • Fertility and adoption support and up to 18 weeks of paid parental leave
  • Child care and family care discounts
  • Free access to Peloton Digital App and apparel and product discounts
  • Commuter benefits and Citi Bike Discount
  • Pet insurance and so much more!

Base Salary Range
$244,000-$310,900 USD
ABOUT PELOTON:
Peloton (NASDAQ: PTON) provides Members with expert instruction, and world class content to create impactful and entertaining workout experiences for anyone, anywhere and at any stage in their fitness journey. At home, outdoors, traveling, or at the gym, Peloton brings together innovative hardware, distinctive software, and exclusive content. Founded in 2012 and headquartered in New York City, Peloton has millions of Members across the US, UK, Canada, Germany, Australia, and Austria. For more information, visit www.onepeloton.com.
Peloton is an equal opportunity employer and complies with all applicable federal, state, and local fair employment practices laws. Equal employment opportunity has been, and will continue to be, a fundamental principle at Peloton, where all team members, applicants, and other covered persons are considered on the basis of their personal capabilities and qualifications without discrimination because of race, color, religion, sex, age, national origin, disability, pregnancy, genetic information, military or veteran status, sexual orientation, gender identity or expression, marital and civil partnership/union status, alienage or citizenship status, creed, genetic predisposition or carrier status, unemployment status, familial status, domestic violence, sexual violence or stalking victim status, caregiver status, or any other protected characteristic as established by applicable law. This policy of equal employment opportunity applies to all practices and procedures relating to recruitment and hiring, compensation, benefits, termination, and all other terms and conditions of employment. If you would like to request any accommodations from application through to interview, please email: applicantaccommodations@onepeloton.com.
At Peloton, we embrace technology, including AI, to enhance productivity and accelerate innovation in the work we do for our members. However, in our hiring process, our priority remains in getting to know you and your unique qualifications. To ensure a fair and equitable process, we do not permit the use of AI tools during any stage of the application and interview process. In considering you as an applicant, we want to understand your skills, experiences, and motivations without mediation through an AI system. We also want to directly assess your communication skills without the use of an AI tool.
Qualified applicants with arrest or conviction records will be considered for employment in accordance with the Los Angeles County Fair Chance Ordinance for Employers and the California Fair Chance Act, the City of Los Angeles Fair Chance Initiative for Hiring Ordinance and the San Francisco Fair Chance Ordinance, as applicable to applicants applying for positions in these jurisdictions.
Please be aware that fictitious job openings, consulting engagements, solicitations, or employment offers may be circulated on the Internet in an attempt to obtain privileged information, or to induce you to pay a fee for services related to recruitment or training. Peloton does NOT charge any application, processing, or training fee at any stage of the recruitment or hiring process. All genuine job openings will be posted here on our careers page and all communications from the Peloton recruiting team and/or hiring managers will be from an @onepeloton.com email address.
If you have any doubts about the authenticity of an email, letter or telephone communication purportedly from, for, or on behalf of Peloton, please email applicantaccommodations@onepeloton.com before taking any further action in relation to the correspondence.
Peloton does not accept unsolicited agency resumes. Agencies should not forward resumes to our jobs alias, Peloton employees or any other organization location. Peloton is not responsible for any agency fees related to unsolicited resumes.