ZipRecruiter

Log In

1

Coq Programming Jobs in Ohio (NOW HIRING)

DECKED LLC

Director of Quality

Defiance, OH · On-site

... CoQ), Defect Rates, and Corrective/Preventive Actions (CAPA) to drive executive-level reporting. Requirements Qualifications & Skills: Education & Experience * Bachelor's Degree in Engineering ...

DECKED LLC

Director of Quality

Defiance, OH · On-site

... CoQ), Defect Rates, and Corrective/Preventive Actions (CAPA) to drive executive-level reporting. Requirements Qualifications & Skills: Education & Experience * Bachelor's Degree in Engineering ...

Decked LLC

Director of Quality

Defiance, OH · On-site

... CoQ), Defect Rates, and Corrective/Preventive Actions (CAPA) to drive executive-level reporting. Requirements: Qualifications & Skills: Education & Experience * Bachelor's Degree in Engineering ...

All JobsCoq Programming JobsCoq Programming Jobs in Ohio

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.

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 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 Ohio? For Coq Programming jobs in Ohio, the most frequently searched job titles are:
What job categories do people searching Coq Programming jobs in Ohio look for? The top searched job categories for Coq Programming jobs in Ohio are:
Coq Programming jobs near you
Director of Quality

Director of Quality

DECKED LLC

Defiance, OH • On-site

Other

Medical, Dental, Vision, Life, Retirement

Posted 14 days ago

Job description

Description

Position Title:  Director of Quality 

Department:  Operations

Reports To:  VP of Operations


Summary


DECKED is  seeking a strategic, detail-oriented Director of Quality to lead our Quality Team.  As the primary architect of our quality management system (QMS), you will be responsible for ensuring that every product leaving our facility not only meets but exceeds industry standards.

This is a high-impact leadership role requiring a blend of technical expertise, data-driven decision-making, and the ability to foster a culture of continuous improvement across the organization.


Core Responsibilities:
  • Strategic Leadership: Develop and execute a comprehensive quality strategy that aligns with the company's long-term business goals.
  • QMS Management: Oversee the design, implementation, and maintenance of DECKED's Quality Management System.
  • Compliance & Auditing: Serve as the primary point of contact  for all internal and external audit processes.
  • Continuous Improvement: Champion CI methodologies to reduce waste, minimize variability, and optimize processes.
  • Supplier Quality: Establish and monitor quality standards for vendors and lead supplier audit programs
  • Team Development: Mentor and manage a multi-disciplinary team of Quality Managers, Inspectors, and Lab Technicians.
  • Data Analysis: Monitor Key Performance Indicators (KPIs) such as Cost of Quality (CoQ), Defect Rates, and Corrective/Preventive Actions (CAPA) to drive executive-level reporting.

Requirements

Qualifications & Skills:Education & Experience
  • Bachelor's Degree in Engineering, Quality Management, or a related technical field (Master's or MBA preferred).
  • 10+ years of progressive experience in quality management within a manufacturing or highly regulated environment.
  • 5+ years experience in a ISO 9001 compliant setting
  • 5+ years in a senior leadership capacity
Technical Proficiencies
  • Deep knowledge of statistical process control (SPC) and root cause analysis tools (5 Whys, Fishbone, 8D).
  • Advanced proficiency in Quality Management Software (EQMS) and ERP systems.

Knowledge, Skills, and Abilities

  • Able to travel up to 20% to meet with suppliers as necessary 
  • Excellent verbal and written communication skills 
  • Strong interpersonal skills & an ability to collaborate cross functionally with key stakeholders (Product Development, Production, Procurement, Sales, etc.)
  • Proficiency in Google Suite and Microsoft Office (Excel, PowerPoint)
  • Work history that demonstrates a strong work ethic
  • Able to adapt and manage the stress of a fast-paced role

Compensation and Benefits: 

  • Compensation DOE
  • Health, dental, vision, short- and long-term disability, & group term life insurance
  • 401k with match
  • Paid parental leave
  • Wellness benefit
  • Free water, decent coffee, nice people 

Note: The statements herein are intended to describe the general nature and level of work performed by employees, but are not a complete list of responsibilities, duties, and skills required of personnel so classified. Furthermore, they do not establish a contract for employment and are subject to change at the discretion of the employer.

Apply