ZipRecruiter

Log In

1

Coq Engineer Jobs (NOW HIRING)

GE Appliances

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 ... Bachelor of Science Degree in Engineering or related * 5+ years of experience with manufacturing ...

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

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

MatX

Formal Verification Engineer

Mountain View, CA · On-site

$150K - $287K/yr

We are seeking a Formal Verification Engineer to bring rigorous mathematical guarantees to our ... Practical experience with at least one interactive theorem prover (Lean, Coq, Isabelle/HOL, Agda ...

MatX

Formal Verification Engineer

Mountain View, CA · On-site +1

$150K - $287K/yr

We are seeking a Formal Verification Engineer to bring rigorous mathematical guarantees to our ... Practical experience with at least one interactive theorem prover (Lean, Coq, Isabelle/HOL, Agda ...

Wellman Dynamics Division

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

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

Senior Advanced Quality Engineer

GE Appliances

Louisville, KY • On-site

$85K - $115K/yr

Full-time

Posted 4 hours ago

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, and we create possibilities.
Interested in joining us on our journey?
Leads the quality strategy for new parts, processes, and New Product Introduction (NPI) within AP3 Dishwasher Operations. Drives sustainable, long-term factory performance and ownership of quality. Independently manage complex problems requiring strong analytical skills, sound judgment, and self-direction. Owns and executes quality systems and project deliverables for the assigned area with minimal supervision, leveraging advanced knowledge of engineering, quality, and/or the Dishwasher product line.
Position
Senior Advanced Quality Engineer
Location
USA, Louisville, KY
How You'll Create Possibilities
  • Owns and leads qualification of new tooling and equipment within the assigned area, becoming the process expert for that operation.
  • Develops and executes robust qualification plans to validate capability for each new tool/equipment introduced into AP3, partnering with AME, factory teams, and OEMs to ensure high-quality tooling, equipment, and processes.
  • Travels to OEM manufacturing sites for planning meetings, runoffs, and key production builds; secures required approvals before equipment ships from the supplier.
  • Leads gage development for production, applying GEA's gage specification process and obtaining cross-functional buy-off on gage design, inspection quantities, and inspection frequencies.
  • Facilitates dimensional analysis reviews of measurement data from new tools/equipment and drives alignment with design engineering and leadership on required actions.
  • Apply GEA's 9-step process to embed quality into product and process design as early as possible; actively participates in drawing reviews.
  • Completes PPAP (Production Part Approval Process) for newly introduced in-house parts, assemblies, and processes.
  • Develops and implements traceability solutions for equipment and processes, including digital footprints and poke-yoke methods (e.g., vision systems, pick systems, test systems, genealogy, and line interlocks); leads teams and tracks progress to closure.
  • Serves as the primary liaison between product design and manufacturing operations to ensure NPI and new equipment issues are resolved, and world-class manufacturing standards are achieved.
  • Leads and supports projects within NPIs and new tooling/equipment that improve Cost of Quality (COQ), including scrap reduction, yield improvement, concessions, damage, and service call reduction.
  • Leads cross-functional PFMEA activities to identify and assess risks associated with new parts and process changes; ensures mitigation plans are developed and implemented prior to launch.
  • Partners with assembly line team leaders to develop standard work and job instructions that clearly define critical characteristics and quality checkpoints.
  • Conducts fastener drive-fail studies on new joints to validate torque requirements and joint integrity.
  • Owns Quality Manufacturing System (QMS) documentation-including MCPs (control plans), MCIs (control instructions), and FRMs (forms)-ensuring compliance with ISO 9001 standards.
  • Interprets GE Appliances technical drawings, including MBD/GD&T and linear dimensions, to ensure quality plans and controls meet all drawing requirements.
  • Develops and executes measurement plans using appropriate methods such as 3D scanning, CMM, hand gages, and other metrology tools.

What You'll Bring to Our Team
Requirements:
  • Bachelor of Science Degree in Engineering or related
  • 5+ years of experience with manufacturing quality/NPI quality projects and process improvement

Preferred:
  • Demonstrated leadership and strong communication skills in defining, implementing, and troubleshooting manufacturing processes
  • Self-starter with the ability to influence cross-functional teams and hourly workforce using data-driven metrics
  • Strong project planning, tracking, and execution skills
  • Excellent analytical skills with experience interpreting data to solve manufacturing problems
  • Proficient in Microsoft Office applications (Excel, Word, PowerPoint, Outlook)
  • Experience in high-volume manufacturing environments
  • Knowledge of injection molding processes (preferred)
  • Experience using, programming, and interpreting CMM and 3D scanning systems
  • Proficiency with PolyWorks software
  • Strong understanding of GD&T and MBD/drawing interpretation

Working Conditions:
  • Based in Louisville, Kentucky, it supports GE Appliances AP3 Dishwasher Operations
  • Primarily first-shift role, with occasional weekends and off-shift support as needed
  • May require 20-25% travel, with occasional increased travel for supplier equipment run-offs and qualifications
  • Work performed in a high-volume manufacturing environment
  • May require lifting materials up to 30 pounds and working around heavy equipment
  • Required use of appropriate personal protective equipment (PPE), including safety glasses, hearing protection, work boots, and hard hats
  • Frequent walking throughout the manufacturing facility

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 to ask.recruiting@geappliances.com

Apply