ZipRecruiter

Log In

1

Coq Programming Jobs in Massachusetts (NOW HIRING)

All JobsCoq Programming JobsCoq Programming Jobs in Massachusetts

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 Massachusetts? For Coq Programming jobs in Massachusetts, the most frequently searched job titles are:
What job categories do people searching Coq Programming jobs in Massachusetts look for? The top searched job categories for Coq Programming jobs in Massachusetts are:
What cities in Massachusetts are hiring for Coq Programming jobs? Cities in Massachusetts with the most Coq Programming job openings:
Coq Programming jobs near you
Infographic showing various Coq Programming job openings in Massachusetts as of August 2026, with employment types broken down into 1% Internship, 81% Full Time, 12% Part Time, 1% Temporary, 4% Contract, and 1% Nights. Highlights an 89% Physical, 3% Hybrid, and 8% Remote job distribution.

Patriot Ground Product Quality Lead - onsite Andover or Tewksbury, MA

Prattwhitney

Andover, MA • On-site

$107.50 - $204.50/hr

Other

Medical, Dental, Vision, Life, Retirement, PTO

Re-posted 3 days ago

Job description

Patriot Program Quality Lead (PQL)

Location: Andover, MA or Tewksbury, MA

Position Type: Onsite, U.S. Citizen required, activity requiring a Secret DoD security clearance. The clearance must be active and existing from day one.

Responsibilities
  • Partner with quality representatives in Systems Engineering & Integration, Test, Software Engineering, and other functional areas to ensure process assurance, quality risk management, defect management, continuous improvement, and quality financial/status reporting for Patriot Software & Training Devices.
  • Proactively engage with the product line and coordinate with Program Leadership, Engineering, Global Supply Chain, Operations, Finance, and the Quality team to implement Quality and Mission Assurance requirements.
  • Interface with program quality teams, suppliers, customers, and the Integrated Product Team to support technical, quality and financial performance, and ensure compliance with Raytheon procedures and contractual requirements.
  • Lead root‑cause corrective action (RCCA) and FRACAS activities for systemic issues, identify when such activities are warranted, and ensure extensive RCCA completion.
  • Generate Cost of Poor Quality (CoQ) projects to reduce costs and implement APQP as applicable.
  • Lead financial analysis initiatives supporting program predictability and generate financial reports for leadership.
  • Monitor quality risks, uncertainties, and opportunities; coordinate with stakeholders; and report updates on testing, field issues, investigations, status, and metrics to leadership teams.
Qualifications
  • Bachelor’s Degree in Engineering or a related field.
  • Minimum of eight (8) years of engineering and quality experience.
  • Working experience with ISO9001 and/or AS9100 Quality Management Systems.
  • Experience providing technical program support on a team that develops software/firmware.
  • Experience with RCCA and continuous improvement.
  • Ability to obtain and maintain a U.S. government issued security clearance (Secret).
Preferred Qualifications
  • Active U.S. government security clearance.
  • Earned Value Management System (EVMS) Certification.
  • Six Sigma, Lean, CORE, or American Society for Quality (ASQ) Certification.
  • Experience in engineering, supply chain, or operations.
  • Effective verbal and written communication and networking skills for upper management and customers.
  • Hands‑on experience solving business and technical problems; strong team player.
  • Experience in contract flow and compliance.
Benefits

Salary range: $107,500 – $204,500 USD. Eligible for medical, dental, vision, life insurance, short‑term and long‑term disability, 401(k) match, flexible spending accounts, flexible work schedules, employee assistance program, Employee Scholar Program, parental leave, paid time off, and holidays. Incentive compensation programs may apply. A relocation package is not offered for this opportunity.

Equal Opportunity Employer

RTX is an Equal Opportunity Employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, age, disability, veteran status, or any other applicable protected class. RTX provides affirmative action employment for qualified individuals with a disability and protected veterans in compliance with Section503 of the Rehabilitation Act and the Vietnam Era Veterans’ Readjustment Assistance Act.

Application window closes approximately 40days from posting.

#J-18808-Ljbffr

Apply