1

Coq Programming Jobs in Houston, TX (NOW HIRING)

QUALITY ENGINEER

Houston, TX · On-site

$62K - $80K/yr

In addition to striving for reduction of company Cost of Quality (COQ) while standardizing quality best practices across Weatherford's global footprint. You will collaborate closely with Engineering ...

QUALITY ENGINEER

Houston, TX

$62K - $80K/yr

In addition to striving for reduction of company Cost of Quality (COQ) while standardizing quality best practices across Weatherford's global footprint. You will collaborate closely with Engineering ...

Coq Programming information

See Houston, TX salary details

$23.9K

$84.9K

$142.3K

How much do coq programming jobs pay per year?

As of Aug 3, 2026, the average yearly pay for coq programming in Houston, TX is $84,941.00, according to ZipRecruiter salary data. Most workers in this role earn between $59,700.00 and $110,800.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.

Is there a future in coding jobs?

Coq programming is a specialized skill in formal verification and theorem proving, which is valuable in industries like software development, cybersecurity, and research. As demand for reliable software increases, expertise in formal methods and proof assistants like Coq is expected to grow, supporting job stability and opportunities for skilled programmers.

What is Coq in coding?

Coq is an interactive theorem prover used in formal verification and proof development, often by programmers and researchers in formal methods. It allows users to write mathematical specifications and verify properties of software and algorithms through formal proofs. Knowledge of functional programming and logic is beneficial when working with Coq in a coding context.

What jobs are good for coders?

For Coq programmers, roles such as formal verification engineer, software developer specializing in proof assistants, or research scientist in formal methods are suitable. These jobs often require strong programming skills, knowledge of theorem proving, and experience with tools like Coq or similar proof assistants. They are typically found in academia, research labs, or industries focused on software correctness and security.

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 a Coq proof assistant?

A Coq proof assistant is a formal software tool used by Coq programmers to develop and verify mathematical proofs and formal specifications. It provides an environment for writing, checking, and managing proofs using a formal language based on the Calculus of Inductive Constructions, supporting skills in formal methods and theorem proving.

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 cities near Houston, TX are hiring for Coq Programming jobs? Cities near Houston, TX with the most Coq Programming job openings:

$62K - $80K/yr

Full-time

Re-posted 11 days ago


Weatherford rating

7.3

Company rating: 7.3 out of 10

Based on 20 frontline employees who took The Breakroom Quiz

48th of 86 rated oil and gas companies


Job description


The Quality Engineer (QE) is responsible for the development and implementation of manufacturing quality improvement plans to drive manufacturing/R&M facilities toward Zero Defects and Zero Quality Escapes. In addition to striving for reduction of company Cost of Quality (COQ) while standardizing quality best practices across Weatherford's global footprint. You will collaborate closely with Engineering, Product Lines, and Manufacturing/R&M Shop on a regular basis as well as present plans and updates to internal teams.
Responsibilities:
  • Assist the development and implementation of Quality Improvement Plans to drive manufacturing/R&M facilities toward Zero Defects and Zero Quality Escapes as well as reduction of Cost of Quality (COQ)
  • Develop and standardize procedures, quality control plans, sampling plans, inspection test plans, work instructions, and quality template/forms across manufacturing/R&M facilities
  • Collect, analyze, and summarize quality performance data, apply statistical tools and reports to identify opportunities for improvement
  • Apply techniques and tools to improve the output quality of processes by identifying and removing the causes of defects and minimizing variability in manufacturing-related processes
  • Identify, document, communicate and standardize best practices to reduce defects
  • Implement a systematic approach to NCR performance management, tracking, trending, and reporting
  • Identify technical competencies required by different manufacturing trades to build products per Engineering technical documentation
  • Assist in the implementation of quality-related systems, process, and tools
  • Coordinate and perform internal process audits
  • Prepare inspection test reports
  • Interpret Design Engineering data (including blueprints, Bills of Material, and specifications), and customer requirements
  • Develop positive relationships and work closely with Engineering, Manufacturing/R&M leaders, and shopfloor personnel to manage and implement changes related to quality improvements
  • Identify and report any quality concerns and take immediate corrective action as required

Required:
  • 10-15 years of experience in Quality or Engineering (with Quality focus) Oil & Gas Offshore
  • 5+ years demonstrated experience with quality related continuous improvement programs
  • Ability to interpret engineering drawings, technical notes, procedures and specifications

Preferred:
  • Root Cause Analysis Incident Investigation Training
  • Lean & Six Sigma Training
  • Document management and control experience
  • Experience using JDE
  • Experience leading in a matrixed organization

Qualifications:
  • Bachelor's degree in Engineering
    #LI-MD1

About Us
Weatherford is a leading global energy services company. Our world-class experts partner with customers to optimize their resources and realize the full potential of their assets. Across our operating locations, including manufacturing, research and development, service, and training facilities, operators choose us for strategic solutions that add efficiency, flexibility, and responsibility to any energy operation.
We are focused on technology development, digital solutions, and defining our footprint in the new energy space. Our ability to provide integrated solutions across our segments will be critical to growth in our core operations and the energy transition.
Energy producers face unique challenges every day, so it is our job to create solutions that enhance safety, streamline operations, and sustain uptime to meet or exceed their targets. We operate across the global energy landscape employing some of the best diverse talent in the industry. At Weatherford, we understand the value each individual brings to the table. We celebrate diversity in all its forms and are immensely proud of our workforce. We invite you to join our passionate, talented, world-class team.
When you join Weatherford, you instantly feel connected to something bigger - a community that is grounded by our core values and driven to create innovative solutions for our customers. We celebrate each other's successes, grow together, and learn from each other constantly. Individually, we are impressive. Together, we are unstoppable. We are One Weatherford.
Join Us:
Weatherford is producing energy for today and tomorrow- with global opportunities as unlimited as your sense of adventure. Join us to make an impact on our customers, the industry, and the world.
Weatherford is an Equal Opportunity Employer. Employment decisions are made without regard to race, color, religion, national or ethnic origin, sex, sexual orientation, gender identity or expression, age, disability, protected veteran status or other characteristics protected by law.

What Weatherford employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom