1

Coq Programming Jobs in Pittsburgh, PA (NOW HIRING)

Global quality experience is preferred. * 5+ years of experience in Quality Engineering. Monitor various KPIs including COQ and reduce it using various problem-solving Tools. * Six sigma Greenbelt or ...

Global quality experience is preferred. * 5+ years of experience in Quality Engineering. Monitor various KPIs including COQ and reduce it using various problem-solving Tools. * Six sigma Greenbelt or ...

Senior Quality Manager

Jeannette, PA · On-site

$120 - $180/hr

Global quality experience is preferred.* 5+ years of experience in Quality Engineering. Monitor various KPIs including COQ and reduce it using various problem-solving Tools.* Six sigma Greenbelt or ...

Global quality experience is preferred. * 5+ years of experience in Quality Engineering. Monitor various KPIs including COQ and reduce it using various problem-solving Tools. * Six sigma Greenbelt or ...

Coq Programming information

See Pittsburgh, PA salary details

$24.3K

$86.4K

$144.7K

How much do coq programming jobs pay per year?

As of Sep 6, 2026, the average yearly pay for coq programming in Pittsburgh, PA is $86,351.00, according to ZipRecruiter salary data. Most workers in this role earn between $60,700.00 and $112,600.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 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?

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 Pittsburgh, PA?

For Coq Programming jobs in Pittsburgh, PA, the most frequently searched job titles are:

What job categories do people searching Coq Programming jobs in Pittsburgh, PA look for?

The top searched job categories for Coq Programming jobs in Pittsburgh, PA are:

What cities near Pittsburgh, PA are hiring for Coq Programming jobs?

Cities near Pittsburgh, PA with the most Coq Programming job openings:

Senior Quality Manager

Elliott Group

Jeannette, PA • On-site

Full-time

Re-posted 28 days ago


Job description

Overview & Responsibilities
Plans and directs the quality operation and administration of the Quality department, including the personnel and the operation of the Jeannette facilities used for performing the work. The position and department provide quality assurance, quality control and supplier quality services and consultation to the Jeannette plant and to vendors and subcontractors to exceed Ebara Elliott Energy customer's expectations. Develops and implement regional functional and strategic policies to ensure regulation compliance as well as customer satisfaction.
BACKGROUND and EXPERIENCE
  • A BS degree in Engineering (Mechanical preferred) and an MBA would be preferred.
  • A minimum of 10 years managing the Quality function of a manufacturing organization. Global quality experience is preferred.
  • 5+ years of experience in Quality Engineering. Monitor various KPIs including COQ and reduce it using various problem-solving Tools.
  • Six sigma Greenbelt or Blackbelt certification preferred.
  • Strong knowledge of Quality Assurance, NDE testing requirements, ISO Quality Management Systems and Problem-solving tools (8D, FMEA, Fault tree analysis, ISO 9001, API 29000, and Quality system audits).
  • Certified Quality Manger accreditation from American Society for Quality preferred.
  • Leads region-wide quality initiatives.
  • Provides and coordinates resolution of strategic and tactical issues.
  • Detailed knowledge of the ISO 9000 series of quality specifications and quality engineering practices are essential.
  • General knowledge of the various industry standards such as the American Society of Mechanical Engineers code, American Petroleum Institute standards and Government standards is needed.
  • Experience with using AI for Quality and manufacturing applications.
  • The position also requires a good knowledge of Elliott products, processes, practices and materials.
  • Sound understanding of industry practice and standards.
  • Internal contacts include all levels of the organization and external contacts include customers, suppliers and contract personnel.
  • This position works closely with other management groups worldwide and outside contractors in this process and provides direction and support as well as monitoring for results.
  • Has the authority to make decisions related to:
  • The strategy for the Jeannette facility to address customer and industry requirements.
  • Interpretation of customer and industry requirements related to Elliott Group Quality systems.
  • Scheduling of staff and salary administration of the team.

NATURE OF THE JOB
  • This position reports to the Director, Global Quality and as such manages Quality (Supplier Quality, Quality Assurance and Quality Control) for the Jeannette manufacturing facility. Develops and implements functional and strategic policies to ensure regulation compliance as well as a safe and healthy work environment for our Jeannette facility employees. Responsible for both short- and long- term solutions and the monitoring of current and proposed ISO regulations.
  • Duties generally are not limited by existing policies and precedents. Employee takes initiative to develop and implement strategic and tactical objectives in support of corporate vision.
  • Internal contacts include all levels of the organization and external contacts include customers, suppliers and contract personnel.
  • This position works closely with other management groups worldwide and outside contractors in this process and provides direction and support as well as monitoring for results.
  • Supervision: This individual directly supervises the existing Jeannette quality team. Will also coordinate, provide guidance and direction to Jeannette quality operations for sharing of best practices, consistency of quality methods, standards, and procedures.

SPECIFIC JOB RESPONSIBILITIES/COMPETENCIES
  • Develops quality systems and shares with operations management the implementation of ISO and Quality solutions to ensure facility compliance and the consistent use of "best practices".
  • Leads the Jeannette manufacturing site with respect to Supplier Quality, Quality Assurance and Quality Control for business unit quality operations and assurance teams, for compliance and maintenance of ISO business systems, and providing feedback and direction for improvement.
  • Approves of suppliers regarding quality management systems and for technical coordination of Elliott componentry manufactured by suppliers.
  • Develops Quality overall Jeannette quality strategies to support overall Corporate objectives.
  • Develops and coordinates the training of employees to increase proficiency and compliance with established ISO and other Quality processes and regulations.
  • Audits facilities for compliance with Elliott's quality programs.
  • Manages the Elliott Quality Management System to develop, implement, and audit compliance with procedures that invoke Elliott quality requirements.
  • Develops and monitors key quality metrics to monitor processes for corrective action as needed.
  • Provides direct supervision and responsibility for the Jeannette based quality team.
  • Sets performance goals for all the Quality Engineers, Technicians, Document Control employees, supervisors and others in the department.
  • Rewrite the job description for Quality Engineers and other employees.
  • Direct Quality Engineers to perform 60% project management and 40% continuous improvement, Problem solving, auditing and Cost of Poor Quality (COPQ) reduction projects.
  • Reduce number parts sitting and waiting for Receiving Inspection and improve the efficiency of the MRB disposition process.
  • Assign Quality Engineers a Manufacturing Area for Continuous Improvement (CI), problem solving, Cost of Poor Quality (COPQ) reduction, Customer and Internal complaint reduction.
  • Combine various Calibration database into one in Gage Pack software.
  • Contract with third party to do training on Problem solving and Quality System Audits.
  • Direct Quality Engineers to start doing process / product audits.
  • Create ISO Work instructions to match the current practice.
  • Track customer complaints for ETCI and perform pareto analysis for the major issues.
  • Lead root cause analysis and corrective/preventive actions (CAPA) to reduce scrap, Rework, COQ, Internal and Customer complaints).

Equal Employment Opportunity
Ebara Elliott Energy is an equal employment opportunity/affirmative action employer and does not discriminate on the basis of race, color, religion, sex, national origin, age, marital status, genetic information, disability, veteran status, or any other characteristic protected by the federal, state or local laws of the United States. Applicants and employees are protected under U.S. federal law from discrimination. To learn more, click here.
To learn more about our Job Applicant Privacy Notice, please click here.
No agency submissions please. NOTE: Resumes submitted to any Ebara Elliott Energy employee without a current, signed and valid contract in place with the Ebara Elliott Energy recruiting team will become the property of Ebara Elliott Energy and no search fees will be paid.