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

Division Quality Engineer

Ashland City, TN · Hybrid

$73K - $94K/yr

The NAWH Quality Engineer plays a key role in ensuring our water heater products meet or exceed ... Proficiency in quality tools (FMEA, 8D, SPC, DOE, COQ, MSA, AQP, PPAP, etc.) Preferred * 2+ years ...

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

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

Quality Engineer III

El Dorado Hills, CA · On-site

$90K - $110K/yr

Quality Engineer III Pay range: $90,000 - $110,000 DOE Schedule: Monday - Thursday 7:00am - 4:30pm ... Develop and report quality metrics to executive leadership; drive cost-of-quality (COQ) initiatives ...

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). * Support and apply Lean principles to optimize processes, improve efficiency, and sustain operational excellence. * Serve as the primary Quality interface with Engineering, Sales, Materials ...

Senior Advanced Quality Engineer

Louisville, KY · On-site

$85K - $115K/yr

Leads and supports projects within NPIs and new tooling/equipment that improve Cost of Quality (COQ ... Experience using, programming, and interpreting CMM and 3D scanning systems * Proficiency with ...

... COQ). * Support and apply Lean principles to optimize processes, improve efficiency, and sustain operational excellence. * Serve as the primary Quality interface with Engineering, Sales, Materials ...

Drive COQ improvements: scrap, factory yield, concessions, damage, service calls, etc. * Provide ... Experienced using, programming, and interpreting CMM/3D scanning/metrology systems. * Significant ...

Technical Assistant

Creston, IA · On-site

$38K - $45K/yr

Log QDIR in COQ, scan and save in appropriate location for data retention. * Assisting in MRB ... Investigate and maintain engineering change requests. * Assist engineering and quality with ...

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.
Advanced Quality Engineer

Full-time

Posted 14 days ago


Key responsibilities

  • Lead quality initiatives for new parts, processes, and product introductions across refrigeration manufacturing sites.

  • Own and execute equipment qualification activities, including development of qualification plans and review of results for leadership approval.

  • Serve as a technical resource to measure, analyze, and validate parts using metrology tools and lead dimensional analysis reviews.


Job description

At GE Appliances, a Haier company, we come together to make "good things, for life."As the fastest-growing appliance company in the U.S., we're powered by creators, thinkers and makers who believe that anything is possible and that there's always a better way.We believe in the power of our people and in giving them the freedom to explore, discover and build good things, together.

The GE Appliances philosophy, backed by three simple commitments defines the way we work, invent, create, do business, and serve our communities:we come together,we always look for a better way, andwe create possibilities.

Interested in joining us on our journey?

The Advanced Quality Engineer (AQE) leads quality initiatives for new parts, new processes, and New Product Introductions (NPI) across U.S.-based refrigeration manufacturing sites. This role is responsible for ensuring new equipment, processes, and product changes are launched successfully and transitioned to the plant with sustainable, long-term ownership.
The AQE serves as a key technical resource, applying strong engineering, manufacturing quality, and refrigeration assembly knowledge to solve complex problems independently. This position requires a highly data-driven individual who uses analytical insights to make sound decisions, drive process capability, and improve overall manufacturing quality.PositionAdvanced Quality EngineerLocationUSA, Selmer, TNHow You'll Create Possibilities

Own and lead all new equipment qualification activities within the assigned area of responsibility.

Serve as the process quality expert for assigned equipment, parts, and manufacturing processes.

Travel to supplier and manufacturing sites for planning meetings, equipment runoffs, and significant production trials.

Review equipment qualification results and secure leadership approval prior to equipment shipment from suppliers.

Develop and execute robust qualification plans for new equipment in partnership with Advanced Manufacturing Engineering (AME) and equipment suppliers.

Lead gage development for production, including specification, design review, cross-functional communication, and final buyoff.

Facilitate gage kickoff meetings with cross-functional stakeholders, including AME, plant quality engineers, and design engineers.

Use CMM, 3D scanning, hand gages, and other metrology tools to measure, analyze, and validate parts.

Lead dimensional analysis reviews for new equipment and build alignment with design engineering and leadership on corrective actions and next steps.

Partner with cross-functional teams to implement new parts, products, and processes that are sustainable and fully supported after launch.

Act as a liaison between product design and manufacturing to ensure issues are addressed early and launches occur with minimal disruption.

Drive Cost of Quality (COQ) improvements, including scrap reduction, yield improvement, concessions, damage reduction, and service call prevention.

Provide technical leadership in the investigation, development, procurement, and implementation of manufacturing equipment and processes.

Lead cross-functional PFMEA activities to identify risks associated with new parts and process changes and ensure mitigation actions are implemented before launch.

Partner with team leaders to develop job instructions, define critical process requirements, and establish standard work and Manufacturing Control Instructions (MCIs).

Execute drive, strip, and torque studies on new joints to validate torque capability and process robustness.

Own Quality Management System (QMS) documentation for implemented changes, including Manufacturing Control Plans (MCPs), forms, and MCIs, ensuring compliance with applicable ISO standards.

Qualify in-house equipment with minimal direction and ensure readiness for production use.

Interpret GEA technical drawings, including MBD, GD&T, and linear dimensions, and ensure quality plans align with drawing requirements.

Perform part scanning, CMM analysis, and caliper measurements as needed; additional CMM technician support may be available for broader measurement collection.

What You'll Bring to Our Team

Minimum Requirements:

Bachelor's degree in Engineering, a technical discipline, or equivalent related experience

3+ years of experience in manufacturing quality, NPI quality, or process improvement

Preferred Qualifications:

Graduate of a GE Appliances development program (SCDP, AEDP, or similar) strongly preferred

Demonstrated leadership and effective communication skills in the definition, design, implementation, and troubleshooting of manufacturing processes

Familiarity with GE Appliances refrigeration operations, including DPO, MRO, or AP5

Experience using, programming, and interpreting CMM, 3D scanning, and other metrology systems

Strong background in Lean process improvement within high-volume manufacturing environments

Six Sigma Green Belt or higher certification; proficiency with Minitab preferred

Experience with metrology and measurement systems, including PolyWorks

Working Conditions:

Up to 25% domestic and international travel may be required to support supplier equipment runoffs

Work is performed in a high-volume manufacturing environment

Personal protective equipment (PPE), including safety glasses and hearing protection, is required

Frequent walking throughout the manufacturing plant is required

This role is primarily first shift; however, off-shift and weekend support may be required

Our Culture

Our work is centered on our People and Culture as reflected in our Zero Distance philosophy and we recognize the importance of reaffirming our commitment to inclusion and diversity (I&D). This underscores our commitment to fostering an environment where every individual feels valued, connected, and empowered to contribute, while positioning our organization to adapt seamlessly to the evolving needs of our workforce and communities.
This reflects our dedication to creating solutions that: Empower colleagues by fostering an environment where all voices are heard, valued, and encouraged to contribute. Strengthen communities where we live and work. Reinforce a culture of belonging, purpose, and engagement. Reflect the diversity of the communities we serve through our workforce, products, and practices.
By further embedding Zero Distance into our People and Culture framework, we will continue to build a deeply connected organization. We are cultivating a culture of engagement, belonging, and connection, because while attracting new talent remains a priority, retention is a cornerstone of our strategy.

GE Appliances is a trust-based organization. It is important we offer our employees the flexibility they need to do their best work while balancing the needs of the business and individuals. When you join GE Appliances, you will have the opportunity to work with your leader to create a flexible work arrangement that balances the needs of the individual, team, and organization.

GE Appliances is an Equal Opportunity Employer. Employment decisions are made without regard to race, color, religion, national or ethnic origin, sex, sexual orientation, gender identity or expression, age, disability, protected veteran status or other characteristics protected by law.

GE Appliances participates in E-Verify and will provide the federal government with your Form I-9 information to confirm that you are authorized to work in the U.S

If you are an individual with a disability and need assistance or an accommodation to use our website or to apply, please send an e-mail toask.recruiting@geappliances.com