1

Coq Programming Jobs in Colorado (NOW HIRING)

Senior Quality Manager

Lakewood, CO · On-site

$150K - $170K/yr

Analyze data trends and "Cost of Quality" (COQ) records to identify areas for process improvement ... Professional Engineer in Colorado, preferred CAPA (A, B, C, E) certification is required. RSO ...

Senior Quality Manager

Lakewood, CO · On-site

$150K - $170K/yr

Analyze data trends and "Cost of Quality" (COQ) records to identify areas for process improvement ... Engineering, or relevant experience in lieu of a degree. Professional Engineer in Colorado ...

Analyze data trends and "Cost of Quality" (COQ) records to identify areas for process improvement ... Engineering, or relevant experience in lieu of a degree. Professional Engineer in Colorado ...

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 Colorado? For Coq Programming jobs in Colorado, the most frequently searched job titles are:
What job categories do people searching Coq Programming jobs in Colorado look for? The top searched job categories for Coq Programming jobs in Colorado are:
Infographic showing various Coq Programming job openings in Colorado as of May 2026, with employment types broken down into 70% Full Time, 17% Part Time, 4% Temporary, and 9% Contract. Highlights an 86% Physical, 4% Hybrid, and 10% Remote job distribution.
Senior Quality Manager

Senior Quality Manager

Martin Marietta

Lakewood, CO • On-site

$150K - $170K/yr

Full-time

Medical, Dental, Vision, Life, Retirement, PTO

Posted 8 days ago


Martin Marietta Materials rating

7.3

Company rating: 7.3 out of 10

Based on 125 frontline employees who took The Breakroom Quiz

299th of 515 rated manufacturers


Job description

Description
JOB SUMMARY
The Senior Quality Manager is a critical leadership role responsible for directing and overseeing the quality control programs across the asphalt plants within the Denver market. This individual ensures that all products meet or exceed Martin Marietta's rigorous internal standards, as well as external customer and regulatory specifications (CDOT, ASTM, and AASHTO).
As a champion of the "Guardian Angel" safety culture, the Senior Quality Manager integrates safety into every quality process, manages a team of field technicians and lab personnel, and serves as the technical bridge between operations, sales, and the customer.
KEY DUTIES AND RESPONSIBILITIES
  • Develop and implement annual quality control objectives that align with Divisional and Corporate goals.
  • Analyze data trends and "Cost of Quality" (COQ) records to identify areas for process improvement and cost reduction.
  • Act as the primary technical consultant for sales and operations teams, providing mix design optimization and product application expertise.
  • Ensure full compliance with local radioactive material licenses.
  • Oversee the collection, testing, and logging of raw materials and finished goods. Ensure all data is accurately entered into StonemontQC in a timely manner.
  • Conduct regular "self-led" inspections of plants and laboratories to ensure adherence to SOPs.
  • Supervise daily activities of Quality Supervisors and Field Technicians, including scheduling, hiring, and performance evaluations.
  • Lead the onboarding and technical training of staff to ensure certifications are current and compliant with industry regulations.
  • Foster a collaborative environment by working cross-functionally with Plant Managers, Project Managers, and Sales Estimators.
  • Meet with customers and specifying entities to maintain relationships and stay updated on industry standard changes.
  • Lead the investigation of customer complaints and quality events. Perform root cause analysis (RCA) and implement Corrective and Preventive Actions to prevent recurrence.
  • Review project plans and specifications post-bid to provide required data for material submittals and attend pre-pave/pre-con meetings.
  • Enforce "Safety First" weekly meetings.
  • Ensure that laboratory and field testing activities adhere to environmental permits regarding dust control, spill prevention, and waste disposal.
  • Perform other related tasks assigned; ability to work long hours, weekends and/or nights.

QUALIFICATIONS
Education
Bachelor's degree in Construction Management, Engineering, or relevant experience in lieu of a degree. Professional Engineer in Colorado, preferred
CAPA (A, B, C, E) certification is required.
RSO (Radiation Safety Officer)
Work Experience
10+ years in Quality within Construction or Heavy Building Materials.
5+ years in Quality Leadership is preferred; HMA AMRL accreditation preferred.
Knowledge, Skills, and Abilities
  • CDPHE
  • OSHA compliance and regulations
  • CDOT/DOT
  • ASTM/AASHTO standards and procedures
  • Quality tools and techniques
  • Test equipment and calibration
  • Laboratory testing
  • HMA Mix design methods
  • Budgeting
  • Process protocols and process control
  • Detail oriented
  • Resource management
  • Effective communicator (written and spoken)
  • Time management
  • Microsoft Office and StonemontQC

ADDITIONAL DETAILS
Physical Requirements
Must be able to lift and carry up to 50 lbs. for equipment servicing.
Required to bend, stoop, climb, and reach. You must be able to maintain three points of contact when climbing on/off machinery or on ladders.
You must have good depth perception with or without seeing aid for distances up to 150 feet.
Working Conditions
All duties require outside assignments and require periods of work in all weather conditions, cold, wet, dry and dusty. Must be able to work in areas where noise levels are up to 85 dbs.
COMPENSATION
The hiring range for this position is $150,000 -$170,000 exclusive of benefits or bonuses (discretionary and non-discretionary). The offered base compensation will be determined based on factors such as geographic location, business need, market conditions, proficiencies, skills, education, and experience. Additionally, at Martin Marietta we place a high value on internal pay equity and will consider the compensation for those in similarly situated roles and direct team members. The hiring range for this role represents the base compensation we expect to pay for the position at time of hire and does not represent the total possible base pay of the position. In addition, this role is eligible for our annual bonus program. Bonuses awarded under this program are determined based on the performance of the organization and the employee.
In addition to our base compensation, we also offer a competitive benefits package for full-time employees, including medical, dental and vision coverage; prescription drug coverage; health savings accounts; flexible spending accounts; and life, AD&D and disability insurance. We also encourage our employees to plan for the future by offering a 401(k) with a company match and an employer-funded defined benefit pension plan. Other benefits include paid time off, paid holidays, education/tuition assistance, an employee discount program, adoption assistance, wellness programs and more.
A member of the S&P 500 Index, Martin Marietta is an American-based company and a leading supplier of heavy building materials - including aggregates, cement, ready-mixed concrete and asphalt. Through a network of operations spanning 28 states, Canada and the Bahamas, dedicated Martin Marietta teams supply the foundational resources upon which our communities thrive. Martin Marietta's Magnesia Specialties business produces high-purity magnesia and dolomitic lime products used worldwide in environmental, industrial, agricultural and specialty applications.
At Martin Marietta, we strive to work with the best and the brightest - those who have the potential to become our company's future leaders. Each of our roughly 9,500 people shares a common purpose regardless of their professional role or work environment. Together, we utilize our diverse skills and experiences to drive our company and its extraordinary culture forward. Our aim is to build on our foundation of success and help values-driven and hardworking people realize their full potential. When you decide to invest your career in Martin Marietta, you'll know what it's like to be respected, challenged and rewarded.
In return, we offer a highly competitive benefits package, including:
  • Medical
  • Prescription Drug
  • Dental
  • Vision
  • Health Care Reimbursement Account
  • Dependent Care Reimbursement Account
  • Wellness Programs
  • Employee Assistance Plan
  • Paid Holidays and Vacation
  • 401(k) with Company matching
  • Pension
  • Salary Continuation - Short-Term Disability
  • Long-Term Disability Options
  • Employee Life Insurance
  • Spouse & Dependent Life Insurance
  • Business Travel Accident Insurance
  • Direct Deposit Payroll
  • Educational/Tuition Assistance Plan
  • College Scholarship Program - for dependent children
  • Matching Gift Program
  • New Auto Purchase Discount Plans

At Martin Marietta, we are proud to be an Equal Opportunity Employer. We are committed to providing an environment of mutual respect where equal employment opportunities are available to all qualified applicants and teammates. We celebrate diversity and commit that qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, or protected veteran status and will not be discriminated against on the basis of disability.

What Martin Marietta Materials employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom


Martin Marietta logo

About Martin Marietta

Sourced by ZipRecruiter

Martin Marietta is an American-based company and a leading supplier of building materials - including aggregates, cement, ready mixed concrete and asphalt.

Industry

Coal, metals and minerals mining

Company size

10,000+ Employees

Headquarters location

Raleigh, NC, US

Year founded

1994