1

Coq Programming Jobs (NOW HIRING)

Senior Design Engineer (P3)

Louisville, KY ยท On-site

$100K - $137K/yr

... Cost of Quality (COQ), reliability, and production-support projects. * Apply engineering ... fundamentals and first-principles thinking to frame complex problems, develop hypotheses, identify ...

Proficiency and practical experience with at least one proof assistant (e.g., Lean, Coq, Isabelle ... Proven track record in research or development of programming languages * Proven track record of ...

Senior Design Engineer (P3)

Louisville, KY ยท On-site

$100K - $137K/yr

... Cost of Quality (COQ), reliability, and production-support projects. * Apply engineering ... fundamentals and first-principles thinking to frame complex problems, develop hypotheses, identify ...

Define and monitor KPIs (launch OTD, first-pass yield, COQ, ECO cycle time, test coverage, labor ... Steinhauer Enclosure Modification Center programming, setup, and troubleshooting; AutoCAD ...

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

Quality Engineer

Ormond Beach, FL ยท On-site

$63K - $81K/yr

... CoQ)and surface trends with recommended actions to the Director of Quality & Lean. 2. Industry ... Quality Engineering * Develop and maintain Process FMEAs (PFMEA), Control Plans, and in-process ...

$65 - $90/hr

Monitor and evaluate Cost of Quality (COQ) including scrap, rework, warranty, supplier quality, and field failure-related costs. * Act as a liaison between engineering, operations, suppliers, and the ...

New

Quality Engineer

Davie, FL ยท On-site

$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

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

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 Sep 2, 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 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 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 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 August 2026, with employment types broken down into 1% Internship, 83% Full Time, 12% Part Time, 3% Contract, and 1% Nights. 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.

Engineer II, Customer Service

LG Energy Solution Michigan, Inc.

Holland, MI โ€ข On-site

$65 - $90/hr

Other

Medical, Dental, Vision, Life, Retirement, PTO

Posted yesterday

New


Job description

If you are unable to complete this application due to a disability, contact this employer to ask for an accommodation or an alternative application process.

Full Time Troy, MI, US

LG Energy Solution Michigan Inc. (LGESMI) develops and manufactures large lithium-ion polymer batteries and packs for electric vehicle (EV) and energy storage applications. Come join the leader in advanced EV batteries! www.lgenergymi.com

Summary:

As a Customer Service Engineer II in Quality Department, you will support OEM customerson projects involving failure investigations and root cause analysis, using structured investigation methodologies, analytical problem-solving skills, and statistical techniques to identify issues and drive effective corrective actions. We are looking for a highly motivated and customer-oriented professional with strong communication and interpersonal skills, a proactive attitude, and the ability to build positive relationships with customers and cross-functional teams. The ideal applicant demonstrates empathy, professionalism, adaptability, and a collaborative mindset, while maintaining a strong sense of ownership and accountability. This role is well suited for candidates who aspire to develop broad cross-functional expertise across areas such as data analysis, logistics, operations, finance, negotiation, engineering coordination, and business communication.

Responsibilities:
  • Serve as a customer-facing representative and primary point of contact for any quality-related topic, including failure investigation updates, root cause analysis, corrective actions, issue escalation, issue coordination.
  • Analyze technical, operational, and customer-related issues to identify trends, contributing factors, and improvement opportunities.
  • Monitor and evaluate Cost of Quality (COQ) including scrap, rework, warranty, supplier quality, and field failure-related costs.
  • Act as a liaison between engineering, operations, suppliers, and the customer to facilitate effective problem-solving and corrective action activities.
  • Conduct follow-up audits to verify effective implementation of corrective and preventive actions.
  • Collaborate with cross-functional teams to identify cost-reduction opportunities while maintaining product quality, customer satisfaction, and operational performance
  • Travel to OEM, Tier 1 supplier facilities or failed vehicle location as needed, including support for containment activities
  • Cultivate strong customer relationships through proactive communication, responsiveness, professionalism, and effective issue resolution.
  • Conduct quarterly onsite customer visits to strengthen customer relationships, support quality discussions, and understand customer needs and concerns.
  • Perform other duties as assigned
Qualifications:
  • Bachelorโ€™s Degree in Finance, Statistics, Mathematics, Data Science, Business Administration, Engineering, Industrial Engineering, or related field required, MBA or MS or equivalent relevant experience preferred
Experience:
  • 3-6+ years of related experience
  • Experience in analyzing data using statistical tools
  • Experience in root cause analysis using structured problem-solving tools and methodologies
  • Experience in customer-facing roles with strong verbal and written communication skills
  • Experience in project engineering, or program management
Skills:
  • Strong verbal and written communication skills
  • Knowledge of quality-related tools (8D, 5 Why, Fishbone diagram)
  • Statistical analysis and data interpretation skills (Minitab, Excel, Power Bi, Tableau, R, Python, or similar tools)
  • Results-oriented and data-driven mindset
  • Strong perseverance and self-motivation
  • Structured problem-solving skills and critical thinking
  • Technically proficient and motivated to continuously improve
  • Familiarity with automotive quality systems
  • Ability to work flexible hours as needed to support customer requirements.
  • Ability to travel domestically and internationally as needed
  • MS Office Suite
Benefits Overview
  • 100% employer-paid Medical, Dental, and Vision premiums for you and your family
  • 100% employer-paid disability and life insurance
  • Generous Paid Time Off / Holidays
  • Opportunity to grow in a diverse work environment with a global company
  • 401k Retirement savings and planning with a generous company match

LGESMI is an Equal Opportunity employer that values the diversity of its workforce. EEO

#J-18808-Ljbffr