Quality & Safety Manager
Mount Vernon, OH · On-site
Ensures CoQ (Costs of Quality) metrics are aligned with the company's strategic initiatives ... Bachelor's Degree in Engineering, Environmental Science, Health & Safety or Business Management.
Mount Vernon, OH · On-site
Ensures CoQ (Costs of Quality) metrics are aligned with the company's strategic initiatives ... Bachelor's Degree in Engineering, Environmental Science, Health & Safety or Business Management.
Mount Vernon, OH · On-site
Ensures CoQ (Costs of Quality) metrics are aligned with the company's strategic initiatives ... Bachelor's Degree in Engineering, Environmental Science, Health & Safety or Business Management.
Mount Vernon, OH · On-site
Ensures CoQ (Costs of Quality) metrics are aligned with the company's strategic initiatives ... Bachelor's Degree in Engineering, Environmental Science, Health & Safety or Business Management.
Mount Vernon, OH · On-site
Ensures CoQ (Costs of Quality) metrics are aligned with the company's strategic initiatives ... Bachelor's Degree in Engineering, Environmental Science, Health & Safety or Business Management.
Mount Vernon, OH · On-site
Ensures CoQ (Costs of Quality) metrics are aligned with the company's strategic initiatives ... Bachelor's Degree in Engineering, Environmental Science, Health & Safety or Business Management.
Mount Vernon, OH · On-site
Ensures CoQ (Costs of Quality) metrics are aligned with the company's strategic initiatives ... Bachelor's Degree in Engineering, Environmental Science, Health & Safety or Business Management.
| 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.
For Coq Programming jobs in Ohio, the most frequently searched job titles are:
The top searched job categories for Coq Programming jobs in Ohio are:

Full-time
Posted 25 days ago
7.2
Based on 69 frontline employees who took The Breakroom Quiz
61st of 119 rated packaging manufacturers
Get the full story on Breakroom
Sourced by ZipRecruiter
Mauser Packaging Solutions is a global leader in solutions and services across the packaging lifecycle, providing packaging worldwide to companies in industries from food, personal care, paints and chemicals.
Plastics and rubber products manufacturing
5,001 - 10,000 Employees
Oak Brook, IL, US
2018