1

Coq Programming Jobs (NOW HIRING)

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

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

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

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

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

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

New

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

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

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

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

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

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 5, 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:
Infographic showing various Coq Programming job openings in the United States as of May 2026, with employment types broken down into 33% Temporary, and 67% Contract. 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.

Lead Advanced Process Engineer

G & W Electric Company

Bolingbrook, IL โ€ข On-site

$98K - $128K/yr

Full-time

Medical, Dental, Vision, Life, Retirement, PTO

This job post hasย expired today.ย Applications are no longer accepted.


Job description

Lead Advanced Process Engineer

Reporting to the Manager of Advanced Molding Technology, this position will be responsible for managing the Process Engineering related activities improving our Safety, Quality, Delivery and Cost metrics with sustainment and advancement of various manufacturing processes focusing in molded epoxy. Responsible for transforming our highly technical molding processes to world-class level through process engineering in a fast-paced, hands-on environment.

As Lead Advanced Process Engineer you will:

  • Manage Process Engineers through task/project organization and planning with estimated project tasks hours, milestones and project completion.
  • Perform sustainment activities related to Process Engineering. This primarily includes leading and/or actively participating in COQ(Quality) problem solving projects within epoxy molding processes. Actively involved in failure analysis and fatigue testing for molded products.
  • Create sustainable processing methods and strive for mistake proofing with creativity.
  • Drive advancement of processing techniques to support the long-term vision of growth and cost savings.
  • Improve manufacturing processes through review of all engineering deliverables for technical accuracy and adherence to engineering standards and project schedules.
  • Support and improve JDE/QMS/MES or any other future data collection system for continuously improving our business intelligence reporting and data analytics.
  • Establish process controls for all processes and train appropriate personnel for optimum use. Establish critical characteristics for all processes, systems for monitoring/managing those variables.
  • Develop and conduct process audits in association with Quality and molding departments.
  • Hire, train and mentor engineers and support staff to work to their full potential. Maintain department quality and performance metrics. Write performance reviews and solve departmental issues.
  • Review and write reports, approve expenditures, enforce rules. Assist in recommending, planning and directing installation of new equipment. Communicate and collaborate with other managers and departments.
  • Mentor team on methodical approach for problem solving using Design of Experiment, Gage R&R trials, A/B testing, and statistical analysis to provide input in the next steps of a development effort.
  • Project leadership with basic project management experience, including, but not limited to scope, schedule, cost, risk, resource, and change management.
  • Establish, track and manage key performance metrics for project success.
  • Collaborate with the Molding technology lab and Molding Innovation Center to help G&W reach world class status

As a Leader, you will

Plan and organize the resources necessary to complete a project utilizing the necessary principles, techniques, and tools used in planning, control, monitoring, and review of projects. Organizes and manages the day-to-day factory support tasks performed by the Process Engineering team. You will manage 4-8 Process Engineers of varying disciplines.

We are looking for someone who:

  • Holds a Bachelor's degree in Chemical Engineering OR any Bachelor's degree in an engineering discipline with experience in molding process engineering
  • 5+ years of experience in the field of processing. 2+ years of project management and leadership experience.
  • Has a strong understanding and experience executing Design of Experiments (DOE's) and A/B testing
  • Possesses previous history with molding
  • Holds knowledge of fluid dispensing systems, or centralized material delivery systems monitored by a distributed control system
  • Has experience with failure analysis using advanced techniques
  • Is computer proficient; confident with data analysis programs
  • Possesses strong problem-solving skills with experience using root cause analysis techniques
  • Has the ability to mentor, motivate and develop engineers.
  • Can provide examples of operational improvement projects

It is preferred if you also have:

  • A Bachelor's or Master's degree in Plastics/Polymer Processing or Materials
  • Six sigma, Red X, or other problem-solving certification or experience
  • Experience working cross-functionally with all levels of the organization structure
  • Possess an understanding of thermoset polymers, from macroscopic to microscopic levels to assist in new product development, feasibility studies and failure analysis
  • Characterizing two component liquid thermoset plastics, cast resin compounds, vacuum casting, or experience with silicone molding
  • Has an understanding of Polymer rheology, flow simulation, and test methods such as DSC, TGA, and physical testing

The Physical Demands/ Working Conditions of the role are:

  • General Factory Environment (~50%)
  • General Office Environment, PC use (~50%)
  • Light Lifting (occasional 25 lbs or less)
  • Standing, walking

What we offer you:

Typical pay is $98,872 - 128,577 annually.

Please note the pay information shown above is a general guideline. Pay is based upon candidate skills, experience, and qualifications.

This position is eligible for participation in our Quarterly Incentive Pay Program.

G&W Electric offers a comprehensive benefits package that includes:

  • Medical, Dental and Vision Insurance
  • Short and Long-Term Disability
  • Life Insurance
  • Health club membership program and reimbursement
  • Employee Assistance Program
  • Tuition Reimbursement
  • 401 (k)
  • Annual Profit Sharing
  • Vacation
  • Air-conditioned/heated state-of-the-art manufacturing facility

About G&W Electric

Innovating since 1905, G&W Electric has grown into a global leader in engineered electrical power grid solutions. Working with us means joining a worldwide team of passionate manufacturing professionals striving to continually improve the technologies the world depends on to deliver safe, reliable electricity. Our culture is focused on employee success, so we foster an entrepreneurial environment that encourages everyone to thrive.

Learn more about our company by watching this video: https://www.youtube.com/watch?v=DMtAhsdYeUQ

G&W Electric enjoys a long reputation for product quality, innovation and world-class customer service to the power industry. We have established this reputation by believing that our greatest asset is our employees. We owe our success to the initiative and talents of highly skilled individuals within our team-based organization. Our goal is to set the standard for customer satisfaction by ensuring a superior level of service, performance and innovation. As a global organization and industry leader, we are committed to cultivating an engaging work environment that embraces our core values and develops our talent. Our continuous focus on growth and innovation means that you become part of a company that provides challenging opportunities, rewards excellence and combines your individual expertise to achieve a higher level of shared success. As part of our organization, you also help power the world!

G&W Electric is proud to be an Equal Opportunity Employer. All employees and applicants will receive consideration for employment without regard to age, color, disability, gender, national origin, race, religion, sexual orientation, gender identity, protected veteran status, or any other classification protected by federal, state, or local law. G&W Electric participates in the E-Verify process for all new hires.

*G&W Electric participates in the E-Verify process for all new hires.

VEVRAA Federal Contractor