1

Coq Programming Jobs in Milwaukee, WI (NOW HIRING)

Be Seen First

Quality Engineer II

Milwaukee, WI · On-site

$80K - $95K/yr

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

... COQ metrics for opportunities. · Lead communication in quality problem resolution with internal and external customer base to ensure customer expectations are fully met. · Document and distribute ...

Quality Engineer 2

Milwaukee, WI · On-site +1

$70K - $91K/yr

The Quality Engineer will bring root cause & corrective action standardization, scrap reduction ... Monitor daily, weekly and monthly COQ metrics for opportunities. * Lead communication in quality ...

Quality Engineer 2

Milwaukee, WI · On-site +1

$70K - $91K/yr

The Quality Engineer will bring root cause & corrective action standardization, scrap reduction ... Monitor daily, weekly and monthly COQ metrics for opportunities. * Lead communication in quality ...

Quality Engineer 2

Milwaukee, WI · On-site

$70K - $91K/yr

The Quality Engineer will bring root cause & corrective action standardization, scrap reduction ... Monitor daily, weekly and monthly COQ metrics for opportunities. * Lead communication in quality ...

Coq Programming information

See Milwaukee, WI salary details

$24.6K

$87.6K

$146.8K

How much do coq programming jobs pay per year?

As of Aug 17, 2026, the average yearly pay for coq programming in Milwaukee, WI is $87,634.00, according to ZipRecruiter salary data. Most workers in this role earn between $61,600.00 and $114,300.00 per year, depending on experience, location, and employer.

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.

Infographic showing various Coq Programming job openings in Milwaukee, WI as of July 2026, with employment types broken down into 1% Internship, 69% Full Time, 25% Part Time, 1% Temporary, 3% Contract, and 1% Nights. Highlights an 89% Physical, 3% Hybrid, and 8% Remote job distribution, with an average salary of $87,634 per year, or $42.1 per hour.

Quality Engineer II

Ontech Talent

Milwaukee, WI • On-site

$80K - $95K/yr

Full-time

Medical, Dental, Vision, Life, Retirement, PTO

Posted 7 days ago

Be Seen First

After you apply to this job, you can share why you’re interested to jump to the top of the candidate list.


Job description

Title: Quality Engineer II

Location: Milwaukee, WI (On-Site)

Schedule: 8:00AM - 5:00PM | 4-Days / Week On-Site

Salary: $80,000.00 - $95,000.00

 

Job Summary:

The Quality Engineer II will bring root cause & corrective action standardization, scrap reduction, and implantation of quality systems.  This associate will be a leader in the QA team and ensure that all new component PPAPs are completed on time for all components manufactured in the facility.  This role will be a technical leader in our organization by leading in creating strategy, identifying opportunities, establishing collaborative environments, aligning with key stakeholders, prioritizing & planning activity, measuring results and communicating & rewarding the successes.  It will require working closely across multiple teams to provide cost effective solutions that are designed for manufacturing at a world class level.

This role may have supervisory responsibilities for salary associates which would include interviewing, training, creating challenging objectives, planning/prioritizing work, appraising performance, providing constructive feedback, development planning, succession planning, and working with human resources to address all disciplinary/associate issues as necessary.

Key Responsibilities & Duties:

·        Lead as an expert root cause and corrective action activities to drive KPI improvement of scrap, labor, performance, and variation reduction.

·        Lead the development of standardized systems and structure to ensure world class performance which includes detailed quality instructions, APQP documents, error proofing, and automated quality control systems.

·        Perform all Quality team duties related to APQP documentation to facilitate successful component PPAP.

·        Ensure consistency in the way parts are checked, documented, and sustained in the facility.

·        Provide expert product design recommendations and feedback for new and existing components suitable for manufacturing consistently at world class performance levels.

·        Provide training material/guidance Quality Technicians and Auditors on root cause, corrective action, and data collection.

·        Monitor daily, weekly and monthly COQ metrics for opportunities.

·        Lead communication in quality problem resolution with internal and external customer base to ensure customer expectations are fully met.

·        Document and distribute lessons learned to the organization.

·        Leverage lean concepts and industry benchmarks such as visual factory, standard work, error proofing, single piece flow, six sigma, Red X, kaizen, TPM and Industry 4.0 to simplify the organization and eliminate decisions in the design, manufacture, preventive maintenance and troubleshooting processes.

An individual in this position must be able to successfully perform the essential duties and responsibilities listed above. Reasonable accommodations may be made to enable individuals with disabilities to perform the essential functions of this position.

The above list reflects the general details necessary to describe the principle and essential functions of the position and shall not be construed as the only duties that may be assigned for the position.

Education & Preferred Qualifications:

·        Minimum of Bachelor of Science degree from an engineering discipline.

·        Minimum of 10 years of experience with die casting tooling and/or die cast processing/engineering.

·        Quality Expert -Strong die casting background with emphasis on tooling design/manufacturing, processing of die cast tooling, cost estimation & preventative maintenance.

·        Data Driven Decision Maker - Efficiently collect, analyze and present data in a clear & concise format, interpret data analysis and provide insightful recommended solutions.

·        Change Agent – Execute timely change thru the implementation of lean concepts and process improvements, small & large, on-plan and within budget.

·        Influencer - Ability to influence thru communication skill, data analysis & insightful presentation.

·        The ability to manage projects and work in a team project environment is required.

·        Understanding of lean concepts and how to apply them to a manufacturing environment.

·        Working knowledge of quality control and part print references (GD&T).

·        Experience with mold/die flow and CREO/PRO-E software is a plus.

·        Experience with stamping tooling and/or stamping processing/engineering is a plus.

·        This role will require the ability apply principles of logical or scientific thinking to a wide range of intellectual and practical problems.  Some of these principles will include the ability to deal with nonverbal symbolism (formulas, scientific equations, graphs, etc.,) and to deal with a variety of abstract and concrete variables.

·        Associate will provide defect-free products and services by understanding and meeting the agreed upon requirements of our internal and external customers through a process based on prevention and continuous improvement.

·        Associates are committed to our Environmental Management System, which provides for continuous improvement of our organization's efforts toward preventing pollution, complying with relevant environmental legislation and regulations, and complying with customer-based environmental requirements.

 

Physical & Mental Demands:

The physical demands described here are representative of those that must be met by an employee to successfully perform the essential functions of this job.  Reasonable accommodations may be made to enable individuals with disabilities to perform the essential functions. 

While performing the duties of this job, the employee is frequently required to sit; talk or hear; and use hands to handle, or touch objects or controls.  The employee is regularly required to stand and walk.  On occasion the incumbent may be required to stoop, bend, or reach above the shoulders.  The employee must occasionally lift up to 30 pounds.  Specific vision abilities required by this job include close vision, distance vision, color vision, peripheral vision, depth perception, and ability to adjust focus.

Equal Opportunity Employer: We are proud to foster an inclusive and diverse workplace culture. We are an equal opportunity employer and are committed to providing equal employment opportunities to all employees and applicants for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, age, disability, genetics, or any other characteristic protected by applicable federal, state, or local law. We value diversity and believe that a diverse and inclusive workforce is essential to drive innovation, foster creativity, and achieve success. We welcome and encourage applications from individuals of all backgrounds and are dedicated to ensuring a fair and equitable recruitment and employment process for everyone.

Company Description

Ontech Talent, is where innovation meets expertise in the dynamic realm of IT and Engineering recruiting and staffing. Founded by industry visionary Nicole Whitbeck Dohnal, Ontech Talent has emerged as the premier strategic partner for Fortune mid to large companies seeking unparalleled talent solutions.