1

Coq Programming Jobs (NOW HIRING)

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

Be Seen First

Quality Engineer II

Milwaukee, WI · On-site

$80K - $95K/yr

... COQ metrics for opportunities. · Lead communication in quality problem resolution with internal and external customer base to ensure customer expectations are fully met. · Document and distribute ...

New

Senior Quality Engineer, Products

Los Angeles, CA · On-site

$95K - $129K/yr

Collaborate with manufacturing engineers on Lean/Six Sigma initiatives to reduce defects, scrap ... Quality (CoQ) as % of revenue. * Build and maintain live digital systems to capture, track, and ...

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

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

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

Electrical Engineer III

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

Electrical Engineer III

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

Manufacturing Quality Engineer

Fort Worth, TX · On-site

$71K - $92K/yr

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

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

Showing results 41-60

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

Manufacturing Engineering Supervisor

REXEL

Santa Clara, CA • On-site

Full-time

Medical, Dental, Vision, Life, Retirement, PTO

Posted 3 days ago

New


Rexel rating

7.3

Company rating: 7.3 out of 10

Based on 57 frontline employees who took The Breakroom Quiz

192nd of 415 rated retail wholesalers


Job description

Company Description

Rexel USA is one of the largest distributors of electrical products, data communication, and related supplies in the United States. Rexel USA operates its electrical distribution business in the United States through eight Regions that go to market under various banner and trade names, including Rexel, Rexel Automation, Gexpro, Mayer, and Platt Electric Supply. In addition to an online store, Rexel USA has a distribution network of over 460 warehouse storefront locations throughout the U.S.

Job Description

We are looking for a Manufacturing Engineering Supervisor to join our Rexel USA team in Santa Clara, CA!

Summary:
The Manufacturing Engineering Supervisor supports the engineering function responsible for coordinating between sales, operations, and suppliers during the initial design and launch of new and first-built products. This role oversees the creation and governance of bills of materials (BOMs), production documentation, and test strategies, ensuring design-for-manufacture, safety, quality, cost, and schedule objectives are met. The Manufacturing Engineering Supervisor is accountable for developing team capabilities, production tools, equipment and fixtures and achieving departmental KPIs tied to growth, productivity, and profitability.
What You'll Do:

  • Lead and develop manufacturing engineers and technicians: set priorities, allocate resources, conduct reviews, and create succession plans
  • Serve as primary engineering escalation point and build strong relationships with customers, suppliers, and internal stakeholders
  • Ensure drawings, specifications and customer requirements are met, via training, standardized processes, documentation, CAD files, and data governance
  • Oversee CAD generation/review, enclosure modifications, and enforcement of CAD and data standards
  • Drive new product/process development and scale-up: equipment selection, process qualification/validation, gate reviews, and release decisions
  • Lead continuous improvement in safety, quality, training, delivery, and cost using Lean/6; measure and report outcomes
  • Support capital projects, facility layout, workflow optimization, and tooling strategies; prepare business cases and ROI analyses
  • Approve and maintain production schedules, costs, BOMs, routings, assembly/test plans, and shop-floor readiness for launches
  • Oversee design, development, and validation of test equipment; ensure coverage, pass/fail criteria, and compliance
  • Direct root-cause analysis for returns/nonconformances, implement CAPA, and track effectiveness
  • Review major programs for accuracy and margin health; act on operational reports (open orders/quotes, WIP, ECO/ECN) to remove bottlenecks
  • Define and monitor KPIs (launch OTD, first-pass yield, COQ, ECO cycle time, test coverage, labor efficiency) and implement corrective actions
  • Maintain compliance with safety, regulatory, and quality systems, support internal and external audits
  • Other duties as assigned

Job Duties Disclaimer:
The information contained in this job description is intended to describe the essential job functions required of those assigned to this job. It is not intended to be an exhaustive list of all responsibilities, duties, knowledge, skills, and abilities needed to perform the job. Please note that management retains the right to assign or reassign duties and responsibilities to this job at any time. The ability to competently perform all the essential duties of the position, with or without reasonable accommodation, demonstrate commitment to effective customer service delivery, integrity, and the ability to work productively as a member of a team or work group are basic requirements of all positions at Rexel USA.

Qualifications

What You'll Need

  • 5+ years of industry experience
  • 2+ years in a leadership or supervisory capacity within manufacturing engineering preferred
  • Valid Driver's License
  • Lean/6 certification, PMP or equivalent project management certification perferred
  • 4 Year / Bachelor's Degree - Required
  • Graduate Degree - Preferred
  • Bachelor's degree in Mechanical Engineering or related field

Knowledge, Skills & Abilities

  • Strong leadership and people management skills; ability to coach, prioritize, and drive accountability in a fast-paced production environment
  • Expertise in prototype setup, BOM validation, pilot builds, ECO/ECN management, and design optimization for manufacturability, cost, yield, and safety
  • Ability to define test requirements and coverage, set pass/fail criteria, and implement safe, repeatable test procedures; ensure clear operator work instructions with visuals, torque specs, QC checkpoints, and traceability
  • Proficiency in drawing markup and documentation control; ensure GD&T, materials, notes, and standards are correct and consistent; manage revisions through formal change control
  • Hands-on experience with Watlow D8 Controller configuration (inputs, PID loops, outputs, alarms, communications) trouble shooting and test procedure management
  • Experience with Rockwell Automation tools (Connected Components Workbench, RSLinx, RSNetWorx, etc.)
  • Knowledge of Steinhauer Enclosure Modification Center programming, setup, and troubleshooting
  • Proficiency in AutoCAD, SolidWorks, or similar CAD software; strong data governance and PDM/PLM practices
  • Demonstrated use of Lean/6 methodologies; familiarity with PFMEA/DFMEA, control plans, and process capability (Cp/Cpk)
  • Exceptional organizational skills and attention to detail; strong written and verbal communication; customer-centric mindset
Additional Information

Physical Demands:

  • Sit: Must be able to remain in a stationary position - Constantly - at least 51%
  • Walk: Must be able to move about inside/outside office or work location - Frequently - 21% to 50%
  • Use hands to finger, handle, or feel: Operates a computer and other office machinery - Constantly - at least 51%
  • Stoop, kneel, crouch, or crawl: Must be able to crouch down to stock shelves, pick up boxes, or position oneself to maintain computers in the lab/under desks/in server closet - Occasionally - up to 20%
  • Climb or balance: Must be able to ascend/descend on a ladder, forklift, pallet jack, or other warehouse equipment - Occasionally - up to 20%
  • Talk, hear, taste, smell: Must be able to use senses to effectively communicate with co-workers and clients and detect hazardous conditions - Constantly - at least 51%

Weight and Force Demands:

  • Up to 10 pounds - Occasionally - up to 20%

Working Environment:

  • Exposed to unpleasant or disagreeable physical environment such as high noise level and/or exposure to heat and cold - Frequently - 21% to 50%
  • Exposed to electrical hazards; risk of electrical shock - Occasionally - up to 20%
  • Handles or works with potentially dangerous equipment - Occasionally - up to 20%
  • Travels to offsite locations - Occasionally - up to 20%

Rexel USA (A VEVRAA Federal Contractor), and its affiliated companies, is an EEO/Disabled/Veterans employer. All qualified candidates will receive consideration for employment without regard to any characteristics protected by law.

For the state of California only, the pay range is $116,000.00 to $145,000.00, depending upon qualifications, experience, and other considerations permitted by law. Commission/bonus plan: Branch Pool Plan

Our Benefits Include:

  • Medical, Dental, and Vision Insurance
  • Life Insurance
  • Short-Term and Long-Term Disability Insurance
  • 401K with Employer Match
  • Paid vacation and sick time
  • Paid company holidays plus flexible personal days per year
  • Tuition Reimbursement
  • Health & Wellness Programs
  • Flexible Spending Accounts
  • HSA Accounts
  • Commuter Transit Benefits
  • Additional Optional Insurance such as Pet Insurance, Legal Assistance, Critical Illness, Home and Auto Insurance to name a few.
  • Employee Discount Programs
  • Professional Training & Development Programs
  • Career Advancement Opportunities - We like to promote from within

Our goal is to create a workplace where everyone feels respected, valued, and empowered to succeed as we understand that our success and innovation is enhanced by an inclusive and diverse workforce.
Rexel USA (A VEVRAA Federal Contractor), and its affiliated companies, is an EEO/Disabled/Veterans employer. All qualified candidates will receive consideration for employment without regard to any characteristics protected by law.


What Rexel employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom