1

Coq Programming Jobs in Pennsylvania (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 ...

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

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 job categories do people searching Coq Programming jobs in Pennsylvania look for?

The top searched job categories for Coq Programming jobs in Pennsylvania are:

What cities in Pennsylvania are hiring for Coq Programming jobs?

Cities in Pennsylvania with the most Coq Programming job openings:

Supplier Quality Engineer

Dresser Utility Solutions

Bradford, PA • On-site

Full-time

Re-posted 4 days ago


Job description

Role Summary/Purpose:

The Supplier Quality Engineer (SQE) will collaborate with Sourcing, Engineering, Quality and Production on all activity required to effectively manage supplier quality requirements & supplier development.

Essential Responsibilities:

  • Identify and qualify new suppliers by arranging initial audits, reviewing the supplier’s manufacturing process plans, ensuring that suppliers will comply with and fulfill engineering and quality requirements for procured material.
  • Manage the supplier onboarding process for new suppliers and update documents for existing suppliers as needed.
  • Maintain supplier relationships with constant interfacing and managing the bidding process by sending RFQs for all procured parts as needed.
  • Develop a strong relationship with production, quality, materials and engineering to partner in driving key sourcing and business metrics such as cost out and supplier quality.
  • Work closely with Materials to ensure the supplier meets deliverable metrics for LT/OTD/MOQ and quality.
  • Coordinate, direct, and manage the part qualification process for all purchased parts as well as the supplier quality activities with focus on issue resolution, supplier's approval, qualifications, development, process control, and quality assurance consistent with Sourcing quality initiatives to reduce risk in the supply chain by ensuring suppliers are aware of our needs and procedures.
  • Create and manage the sourcing project list to manage priority changes.
  • Support any major customer issue related to fulfillment issues and coordinate corrective actions with local materials team.
  • Monitor and drive for Cost of Failure/ Quality (COF / COQ) reduction within the business and working with the Sourcing/Commercial teams’ costs associated with rejects/defects.
  • Monitor suppliers' non-conforming performance/ trends, and identify and drive process improvement, root cause analysis, and corrective actions.
  • Provide technical guidance to suppliers towards assuring product/process compliance with engineering drawings, customer requirements and specifications.
  • Travel as needed.

Education/Qualifications Requirements:

  • Bachelor’s degree in engineering from an accredited college or university preferred.
  • Minimum 2-5 years' experience in Engineering or Supply Chain with an manufacturing background preferred.

Desired Characteristics:

  • Bachelor’s degree in engineering.
  • Proven analytical and problem-solving skill set and ability to co-ordinate multiple priorities.
  • Strong Microsoft Office Skills including Excel, Access and Power Point
  • Strong written and verbal communication skills.
  • Demonstrated project management skills.
  • Ability to work in a cross-functional team environment.
  • Highly self-motivated, results/metrics driven with demonstrated influencing skills.
  • Ability to thoroughly and clearly document and communicate problem statements and solutions supported with proper metrics.
  • Knowledge of quality tools and statistical analysis
  • Lead Auditor qualified through a recognized accreditation body

Preferred Characteristics:

  • Six Sigma Green Belt Certified
  • Certified Supplier Quality Professional or Certified Quality Engineer
  • Experience within metallurgy and manufacturing processes including casting, welding, forming and machining


Acknowledgement:

This description is intended to describe the general nature and level of the work being performed and is not intended to be an all-inclusive account of every job function or task. The Company retains the exclusive right to exercise the customary functions of management to determine and modify position descriptions, position functions, position evaluations, and position classifications. All personnel may, from time to time, be required to perform duties that are outside of the responsibilities contained in this job description.