1

Coq Programming Jobs in Kentucky (NOW HIRING)

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

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

Coq Programming information

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.

Is there a future in coding jobs?

Coq programming is a specialized skill in formal verification and theorem proving, which is valuable in industries like software development, cybersecurity, and research. As demand for reliable software increases, expertise in formal methods and proof assistants like Coq is expected to grow, supporting job stability and opportunities for skilled programmers.

What is Coq in coding?

Coq is an interactive theorem prover used in formal verification and proof development, often by programmers and researchers in formal methods. It allows users to write mathematical specifications and verify properties of software and algorithms through formal proofs. Knowledge of functional programming and logic is beneficial when working with Coq in a coding context.

What jobs are good for coders?

For Coq programmers, roles such as formal verification engineer, software developer specializing in proof assistants, or research scientist in formal methods are suitable. These jobs often require strong programming skills, knowledge of theorem proving, and experience with tools like Coq or similar proof assistants. They are typically found in academia, research labs, or industries focused on software correctness and security.

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 a Coq proof assistant?

A Coq proof assistant is a formal software tool used by Coq programmers to develop and verify mathematical proofs and formal specifications. It provides an environment for writing, checking, and managing proofs using a formal language based on the Calculus of Inductive Constructions, supporting skills in formal methods and theorem proving.

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.

What are popular job titles related to Coq Programming jobs in Kentucky? For Coq Programming jobs in Kentucky, the most frequently searched job titles are:
What job categories do people searching Coq Programming jobs in Kentucky look for? The top searched job categories for Coq Programming jobs in Kentucky are:
Infographic showing various Coq Programming job openings in Kentucky as of July 2026, with employment types broken down into 5% Internship, 7% As Needed, 15% Full Time, 4% Part Time, 12% Temporary, and 57% Contract. Highlights an 97% Physical, 2% Hybrid, and 1% Remote job distribution.
Plant Supplier Quality Engineer and Electrostatic Discharge (ESD) Leader

Plant Supplier Quality Engineer and Electrostatic Discharge (ESD) Leader

GE Appliances

Louisville, KY • On-site

$71K - $92K/yr

Full-time

Posted 7 days 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?
The Plant Supplier Quality Engineer and Electrostatic Discharge (ESD) Leader has primary oversight of both purchased material quality and plant ESD process control and execution. This position is responsible for driving both short and long-term efforts focused on cost of quality reduction as well as overall plant success in safety, delivery and cost.
Position
Plant Supplier Quality Engineer and Electrostatic Discharge (ESD) Leader
Location
USA, Louisville, KY
How You'll Create Possibilities
Drive continuous improvement in quality:
  • Establish and sustain product quality by driving discipline around ESD (Training and Certification, QMS, TPM, Audits, Calibration, Risk Management).
  • Owner of all attributes of Manufacturing Control Plans that pertain to plant ESD activities, including training, execution, auditing and improvement.
  • Owner for Supplier Corrective and Preventative Actions (CAPA), Corrective Action Request (SCAR / CAR) approach to problem solving.
  • Drive immediate triage and corrective action for unexpected supplier quality issues that impact product quality or plant safety, delivery or cost.
  • Lead and support 1x1 problem solving for assigned areas, primarily ESD and Supplier Quality. Collaborate with factory teams, and Central Supplier Quality Engineering to improve product quality through the identification and elimination of both long and short term ESD and supplier driven quality issues.
  • Respond to abnormalities in product and component testing and performance results. Coordinate component audits, sorts or holds where appropriate. (Lab testing).
  • Provide guidance to the New Product Introduction (NPI) team regarding manufacturing process capabilities for application to new designs, processes or geometries. Evaluate and implement new testing technologies to support new product innovations, while improving outgoing quality.
  • Collect and analyze data as part of Statistical Process Control (SPC) and implement escalation plans as required by MCI/MCP. Monitor and respond to data trends. Identify root cause if out of control, and lead corrective actions.

Drive cost reduction:
  • Identify and execute projects to reduce Cost of Quality (COQ) in assigned areas, primarily where purchased parts are driving manufacturing waste and poor Cost of Quality (COQ).
  • Work with Plant Quality and Operations to optimize purchased part quality and characteristics to reduce manufacturing defects, non-value-added labor, EHS concerns and production bottlenecks.
  • Work with Business and Manufacturing Engineering Leaders to prioritize funding/resources to meet targets, support Continuous Improvement, including when purchased parts meet specifications but are still driving waste and poor quality within the facility.

What You'll Bring to Our Team
Minimum Requirements:
• Bachelor of Science Degree in Engineering or related discipline or equivalent, technical experience.
• 5+ years' experience with manufacturing quality/quality improvement projects and/or process improvement in a fast-paced, high volume manufacturing environment or equivalent military experience.
Preferred Qualifications:
• Prior experience with Electrostatic Discharge (ESD) application or theory development strongly preferred.
• Demonstrated ability to take ownership of technical, cross-functional program deliverables and ability to drive decisions based on the overall benefit to the company.
• Good organizational, project management and presentation skills to interact with all levels within the organization and with suppliers and vendors.
• Possess strong communication skills - will be expected to provide program report outs to cross-functional team.
• Related experience in multi-stage material processing
• Experience interpreting data to solve problems associated with high volume, short cycle manufacturing of consumer products.
• Experience in development or sustainment of data collection and measurement systems.
• Ability to work within large cross-functional teams and at multiple levels in the organization (both salaried and shop floor operators / skilled trades team members).
• Demonstrated ability to drive continuous improvement in a manufacturing environment.
• Computer literate and skilled in Excel, Word, PowerPoint, AutoCAD, Minitab and Outlook.
• Experience working with external suppliers.
• Excellent communication skills.
Working Conditions:
• This position will be in Louisville, KY.
• This role requires occasional lifting to 20 pounds and frequent walking.
• Working conditions are normal for a high-volume manufacturing environment and may require the use of safety equipment to include but not limited to: eye safety glasses, hearing protection, steel toe boots.
• Primary work schedule is the 1st shift. However, support during weekends, 2nd and/or 3rd shift may be required depending on business needs.
• Travel (up to 10%) to suppliers and other manufacturing locations as needed.
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