ZipRecruiter

Log In

1

Coq Engineer Jobs (NOW HIRING)

SCHLUTER SYSTEMS L.P

Quality Engineer

Plattsburgh, NY · On-site

$65K - $100K/yr

The Quality Engineer will be primarily responsible for working with Development, Purchasing ... Perform cost of quality (COQ) studies to determine the expenses associated with poor quality, such ...

Fortive

Sr Supplier Quality Engineer

Everett, WA

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

Quest Medical, Inc.

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

Windings, Inc.

Sr. Operations Analyst

New Ulm, MN · On-site

$85K - $105K/yr

Engineering - uncover cost reduction opportunities through product and process analysis ... Quality - analyze nonconformance trends and Cost of Quality (CoQ) drivers * Supply Chain - improve ...

Sanuk

Associate Industrial Engineer

Elkhart, IN · On-site

Associate Industrial Engineer General Nature Of Position: As an Associate Industrial Engineer, you ... COQ) reduction goals Collaborate with operations, other teams. Support and contribute to Green ...

GW Electric

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

Fortive

Sr Supplier Quality Engineer

Everett, WA · On-site

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

Emerson

Process Quality Engineer

Sherman, TX · On-site

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

AEROMETALS INC

Quality Engineer III

El Dorado Hills, CA

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

A.O. Smith

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

A.O. Smith

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

A.O. Smith

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

Careen Inc.

Sr. Operations Analyst (New Ulm)

New Ulm, MN · On-site

$85K - $105K/yr

Engineering - uncover cost reduction opportunities through product and process analysis ... Quality - analyze nonconformance trends and Cost of Quality (CoQ) drivers * Supply Chain - improve ...

GE Appliances

Senior Advanced Quality Engineer

Decatur, AL · On-site

$83K - $112K/yr

... COQ). This role primarily supports operations in Decatur, Alabama, with additional support for sites in Louisville, Kentucky and Selmer, Tennessee. Position Senior Advanced Quality Engineer Location ...

next page

Showing results 1-20

People also search for

All JobsCoq Engineer Jobs

Coq Engineer information

What are the key skills and qualifications needed to thrive as a Coq Engineer, and why are they important?

To thrive as a Coq Engineer, you need a solid background in formal methods, logic, computer science, and proficiency in the Coq proof assistant, often supported by an advanced degree in a related field. Experience with proof development, version control systems like Git, and familiarity with related languages (such as OCaml) or formal verification tools are typically required. Strong analytical thinking, attention to detail, and effective communication skills help in constructing and explaining complex proofs. These abilities are crucial for ensuring the correctness and reliability of critical software and systems through rigorous formal verification.

How does a Coq Engineer typically collaborate with other software engineers and researchers on formal verification projects?

As a Coq Engineer, you will often work closely with software developers, researchers, and domain experts to formalize specifications, develop proofs, and verify correctness of critical software systems. Collaboration usually involves regular code reviews, pair programming sessions, and participation in design discussions to ensure that formal models align with project requirements. You may also contribute to documenting proof strategies and conducting knowledge-sharing sessions to help team members understand and apply formal methods in their workflow. This multidisciplinary teamwork is essential for integrating formal verification into broader software development processes.

What is a Coq Engineer?

A Coq Engineer is a software engineer or computer scientist who specializes in using the Coq proof assistant, a formal verification tool used to write and verify mathematical proofs and software correctness. They apply formal methods to ensure that algorithms and systems behave as intended, often working in areas like formal verification, theorem proving, and programming language research. Coq Engineers typically have strong backgrounds in mathematics, logic, and computer science, and they use the Coq language to encode complex properties and verify software to a high standard of reliability.

What is the difference between Coq Engineer vs Formal Verification Engineer?

AspectCoq EngineerFormal Verification Engineer
CredentialsComputer Science degree, certifications in formal methods, Coq proficiencyComputer Science or Electrical Engineering degree, certifications in formal methods, experience with verification tools
Work EnvironmentResearch labs, software development teams, academiaHardware and software industries, safety-critical systems, embedded systems
Industry UsagePrimarily in formal proof development, theorem proving, academic researchEnsuring correctness of hardware/software systems, safety-critical applications

While both roles focus on formal methods, a Coq Engineer specializes in developing proofs and theorem proving using the Coq proof assistant, often within research or software development contexts. A Formal Verification Engineer applies formal methods broadly to verify system correctness, frequently working on hardware, embedded systems, or safety-critical projects. The roles overlap in skills but differ in application scope and industry focus.

Infographic showing various Coq Engineer job openings in the United States as of May 2026, with employment types broken down into 97% Full Time, and 3% Contract. Highlights an 86% Physical, 5% Hybrid, and 9% Remote job distribution.

Quality Engineer

SCHLUTER SYSTEMS L.P

Plattsburgh, NY • On-site

$65K - $100K/yr

Full-time

Medical, Dental, Vision, Life, Retirement, PTO

Posted 2 days ago

Job description

The Quality Engineer will be primarily responsible for working with Development, Purchasing, Manufacturing Engineering, and Production in new product development and qualifying second suppliers. Other duties may include nonconformance report (NCR) management, corrective action system management, quality data analysis and reporting.
RESPONSIBILITIES
Quality Engineering on New Product Development & Second Supplier Qualifications
  • Such as Inspection Plans and Sampling Plans, Etc.
    • Develop, maintenance, and implementation of inspection plans (first article inspection, on-going incoming inspections).
    • Development of sampling plans.
    • Familiarity product development process.
    • Experience with risk management principles.
    • Experience with statistical confidence levels and confidence intervals preferred.
    • Experience with process capability preferred.

Quality Document Management
  • Manage document change control processes to ensure that only the latest approved versions are released for the following document types
  • Verify that authorized, designated individuals have reviewed for adequacy and approved applicable documents prior to release of the effective document.
  • Obsolete and remove from circulation current document revisions when new revisions ae approved.
  • Control change to applicable documents and specifications, including maintaining records of change details.
  • Develop and enhance aspects of document control.
  • Notify personnel of new and revised document releases when they become effective.
  • Manage record retention as applicable for various document types and their respective retention policies.

Drawing Review and Management
  • Review and approve engineering drawings as the Quality representative.
  • Provide feedback about drawing template improvements.

Nonconformance Report (NCR) Management
  • Write and issue NCRs to suppliers, as needed.
  • Track NCRs and compile all NCR data into a centralized system.
  • Oversee NCRs for North American remote distribution centers.
  • Develop and enhance aspects of nonconformance reporting.

Corrective Action System Management
  • Eliminate the causes of detected nonconformities or other undesirable situations and prevent their recurrence.
  • Coordinate nonconformity data emanating from various sources into centralized system.
  • Manage corrective actions to resolve quality concerns and ensure acceptable products.
  • Lead corrective actions projects; organize appropriate internal and external resources to drive timely completion.
  • Strong understanding of root cause analysis.
  • Develop and enhance corrective action system.
  • Direct customer complaint investigations for defective product claims.
  • Direct supplier nonconformance investigations.
  • Direct internal manufacturing failure investigations.
  • Direct customer returns investigations.

Quality Data Analysis and Reporting
  • Identification and collection of applicable Quality data to review and analyze.
  • Statistical analysis Quality data to demonstrate the suitability and effectiveness of the quality system, supplier performance, and production and process controls.
  • Develop and maintain Quality key performance indicators (KPI)/metrics for Management reviews.
  • Perform cost of quality (COQ) studies to determine the expenses associated with poor quality, such as internal and external failures, and good quality such as appraisal and prevention costs.

General Responsibilities
  • Communicate quality concerns to Operators, Supervisors, Engineers, or Management.
  • Provide backup for other Quality Department areas, as needed.
  • Travel to suppliers for site visits and audits, as needed.
  • Other duties as assigned by Management.
  • Represent Schluter Systems in a professional, positive, and enthusiastic manner in all matters.

Requirements
  • Bachelor of Science in Engineering or technical degree (2+ years of experience preferred)
    • Quality experience a plus.
  • Strong problem-solving skills.
  • Analytical thinker, utilizing data to make decisions.
  • Ability to read and follow mechanical drawings and technical specifications.
  • Detail oriented and well organized.
  • A Quality mindset and inherent personal characteristics to be meticulous and strive for excellence.
  • Excellent organization and time management skills.
  • Proficient at technical writing.
  • Ability to operate technical dimensional measuring equipment, such as digital calipers, spectrophotometers, and optical microscopes/comparators a plus.
  • Familiarity with electrical safety and testing and dimensional measuring equipment a plus.
  • Strong computer competency (e.g., Excel, Word, file/document organization; CAD, Minitab a plus).
  • Project management experience a plus.
  • Team player who works well with others and can be productive working independently.
  • Strong communicator verbally and in writing.
  • Some travel required (

COMPANY BENEFITS
• Competitive Compensation
• Generous Paid Time Off
• 10 Paid Holidays
• Medical, Dental & Vision Insurance
• Biannual Bonus Program
• 401k with Company Match
• Company Paid Life Insurance
• Annual Reviews and Merit Based Raises
• Room for Advancement and Career Growth
COMPANY DESCRIPTION
Schluter Systems is a family-owned and internationally renowned company that has been rapidly growing over the last 10 years. The Schluter brand is backed by a team of people working together to create a line of innovative products that provide solutions to the tile industry. We're looking to build our team with individuals who like to think BIG and want to be part of what makes our products extraordinary. We are a company that treats its employees, suppliers, and customers as long-term partners. Where success is built on a win-win philosophy and everyone should benefit.
"Profit is not the goal of the business. Profit is the consequence of a job well done" Werner Schluter, Founder
Are you interested in a truly unique and special company? Hear from our employees on what it means to be part of the Schluter family: http://www.schluter.com/careers . Then if you're ready to see life in Orange, talk to us about this career opportunity at Schluter Systems.
This pay range reflects the base hourly rate or annual salary for positions in this job grade, with the final offer depending on factors like experience, education, location, and other relevant considerations. Additionally, this role qualifies for extra benefits beyond the base pay range mentioned.
At Schluter Systems, we are dedicated to creating an inclusive environment that celebrates diverse perspectives and ensures all individuals are valued and supported, without discrimination based on race, religion, color, national origin, age, sex, gender, disability, genetic information, or any other characteristic protected by law. Our commitment to equal opportunity extends to all aspects of employment, including recruitment, hiring, promotion, training, compensation, benefits, and transfers. All employment decisions at Schluter Systems L.P. are based solely on merit, qualifications, and business needs.
#SSIND
Salary Description
$65,000-100,000/year, depending on experience

Apply