Drive Cost of Quality (COQ) improvements, including scrap reduction, yield improvement, concessions ... Experience using, programming, and interpreting CMM, 3D scanning, and other metrology systems
New
Drive Cost of Quality (COQ) improvements, including scrap reduction, yield improvement, concessions ... Experience using, programming, and interpreting CMM, 3D scanning, and other metrology systems
New
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 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?
| Aspect | Coq Programming | Formal Verification Engineer |
|---|---|---|
| Required Credentials | Knowledge of Coq, logic, and theorem proving | Background in computer science, formal methods, and verification tools |
| Work Environment | Research labs, academia, or software companies focusing on proof development | Tech companies, safety-critical industries, and software development teams |
| Industry Usage | Primarily in formal methods, academia, and research projects | In 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 Georgia?
For Coq Programming jobs in Georgia, the most frequently searched job titles are:
What job categories do people searching Coq Programming jobs in Georgia look for?
The top searched job categories for Coq Programming jobs in Georgia are:
What cities in Georgia are hiring for Coq Programming jobs?
Cities in Georgia with the most Coq Programming job openings:
Full-time
Posted 2 days ago
New
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, andwe create possibilities.
Interested in joining us on our journey?
The Advanced Quality Engineer (AQE) leads quality initiatives for new parts, new processes, and New Product Introductions (NPI) across U.S.-based refrigeration manufacturing sites. This role is responsible for ensuring new equipment, processes, and product changes are launched successfully and transitioned to the plant with sustainable, long-term ownership.The AQE serves as a key technical resource, applying strong engineering, manufacturing quality, and refrigeration assembly knowledge to solve complex problems independently. This position requires a highly data-driven individual who uses analytical insights to make sound decisions, drive process capability, and improve overall manufacturing quality.
This role primarily supports plant operations in LaFayette, GA.PositionAdvanced Quality Engineer- CookingLocationUSA, LaFayette, GAHow You'll Create Possibilities
New Product Introductions:
- Own and lead all new equipment qualification activities within the assigned area of responsibility.
- Serve as the process quality expert for assigned equipment, parts, and manufacturing processes.
- Travel to supplier and manufacturing sites for planning meetings, equipment runoffs, and significant production trials.
- Review equipment qualification results and secure leadership approval prior to equipment shipment from suppliers.
- Develop and execute robust qualification plans for new equipment in partnership with Advanced Manufacturing Engineering (AME) and equipment suppliers.
- Lead gage development for production, including specification, design review, cross-functional communication, and final buyoff.
- Facilitate gage kickoff meetings with cross-functional stakeholders, including AME, plant quality engineers, and design engineers.
- Use CMM, 3D scanning, hand gages, and other metrology tools to measure, analyze, and validate parts.
- Lead dimensional analysis reviews for new equipment and build alignment with design engineering and leadership on corrective actions and next steps.
- Partner with cross-functional teams to implement new parts, products, and processes that are sustainable and fully supported after launch.
- Act as a liaison between product design and manufacturing to ensure issues are addressed early and launches occur with minimal disruption.
- Drive Cost of Quality (COQ) improvements, including scrap reduction, yield improvement, concessions, damage reduction, and service call prevention.
- Provide technical leadership in the investigation, development, procurement, and implementation of manufacturing equipment and processes.
- Lead cross-functional PFMEA activities to identify risks associated with new parts and process changes and ensure mitigation actions are implemented before launch.
- Partner with team leaders to develop job instructions, define critical process requirements, and establish standard work and Manufacturing Control Instructions (MCIs).
- Execute drive, strip, and torque studies on new joints to validate torque capability and process robustness.
- Own Quality Management System (QMS) documentation for implemented changes, including Manufacturing Control Plans (MCPs), forms, and MCIs, ensuring compliance with applicable ISO standards.
- Qualify in-house equipment with minimal direction and ensure readiness for production use.
- Interpret technical drawings, including MBD, GD&T, and linear dimensions, and ensure quality plans align with drawing requirements.
- Perform part scanning, CMM analysis, and caliper measurements as needed; additional CMM technician support may be available for broader measurement collection.
- Bachelor's Degree or higher in Engineering or another related field
- 2+ years of experience in quality engineering or similar capacity, preferably in the appliance industry.
- Leadership and effective communication experience in the definition, design, implementation and troubleshooting of manufacturing processes.
- Self-starter and influencer - metric driven and willing to work with cross-functional teams and hourly workforce.
- Excellent project tracking and detailed planning skills required.
- Skilled in Microsoft Office applications: Excel, Word, PowerPoint, Outlook.
- Good communicator - data driven, makes decisions based on the data.
- Experience interpreting data to solve manufacturing problems.
Preferred Qualifications:
- Demonstrated leadership and effective communication skills in the definition, design, implementation, and troubleshooting of manufacturing processes
- Experience using, programming, and interpreting CMM, 3D scanning, and other metrology systems
- Strong background in Lean process improvement within high-volume manufacturing environments
- Six Sigma Green Belt or higher certification; proficiency with Minitab preferred
- Experience with metrology and measurement systems, including PolyWorks
- Knowledge of vision systems including Cognex or Keyence camera programming
Working Conditions:
- Up to 10% of domestic and international travel may be required to support supplier equipment runoffs
- Work is performed in a high-volume manufacturing environment
- Personal protective equipment (PPE), including safety glasses and hearing protection, is required
- Frequent walking throughout the manufacturing plant is required
- This role is primarily first shift; however, off-shift and weekend support may be required
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 toask.recruiting@geappliances.com