1

Coq Programming Jobs (NOW HIRING)

Level 3 Electrical Engineer

Seattle, WA · On-site

$121K - $169K/yr

In this role, you will serve as an electrical engineer to design mission hardware from concept ... Experience with parts derating, traceability (CoC/CoQ), and basic radiation considerations (TID/SEE ...

In this role, you will serve as an electrical engineer to design mission hardware from concept ... Experience with parts derating, traceability (CoC/CoQ), and basic radiation considerations (TID/SEE ...

... COQ). This role primarily supports operations in Decatur, Alabama, with additional support for ... Experience using, programming, and interpreting CMM/3D scanning/metrology systems. * Significant ...

Drive COQ improvements: scrap, factory yield, concessions, damage, service calls, etc. * Provide ... Experienced using, programming, and interpreting CMM/3D scanning/metrology systems. * Significant ...

Manufacturing Quality Engineer

Fort Worth, TX · On-site

$71K - $92K/yr

... of Cost of Quality (COQ) * Conduct regular process audits in fabrication, assembly, and ... Interpret design engineering data including blueprints, Bills of Material, specifications, and ...

Certified Operating Engineer with a RSOE Q-01 FDNY COQ and Universal EPA certification. * The following FDNY Certificates of Fitness (COFs) will be required within five months of hire: * F-89 Fire ...

Certified Operating Engineer with a RSOE Q-01 FDNY COQ and Universal EPA certification. * The following FDNY Certificates of Fitness (COFs) will be required within five months of hire: * F-89 Fire ...

Technical Assistant

Creston, IA · On-site

$38K - $45K/yr

Log QDIR in COQ, scan and save in appropriate location for data retention. * Assisting in MRB ... Investigate and maintain engineering change requests. * Assist engineering and quality with ...

next page

Showing results 1-20

Coq Programming information

See salary details

$25K

$88.9K

$149K

How much do coq programming jobs pay per year?

As of Jul 21, 2026, the average yearly pay for coq programming in the United States is $88,946.00, according to ZipRecruiter salary data. Most workers in this role earn between $62,500.00 and $116,000.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.

More about Coq Programming jobs
What cities are hiring for Coq Programming jobs? Cities with the most Coq Programming job openings:
What states have the most Coq Programming jobs? States with the most job openings for Coq Programming jobs include:
What job categories do people searching Coq Programming jobs look for? The top searched job categories for Coq Programming jobs are:
Infographic showing various Coq Programming job openings in the United States as of July 2026, with employment types broken down into 6% Internship, 8% As Needed, 1% Full Time, 15% Temporary, 69% Contract, and 1% Summer. Highlights an 96% Physical, 3% Hybrid, and 1% Remote job distribution, with an average salary of $88,946 per year, or $42.8 per hour.
Level 3 Electrical Engineer

Level 3 Electrical Engineer

Blue Origin, LLC

Seattle, WA • On-site

$121K - $169K/yr

Full-time

Medical, Dental, Vision, Life, Retirement, PTO

Posted 7 days ago


Blue Origin rating

8.7

Company rating: 8.7 out of 10

Based on 91 frontline employees who took The Breakroom Quiz

13th of 61 rated aerospace companies


Job description

Application close date:
Applications will be accepted on an ongoing basis until the requisition is closed.
At Blue Origin, we envision millions of people living and working in space for the benefit of Earth. We're working to develop reusable, safe, and low-cost space vehicles and systems within a culture of safety, collaboration, and inclusion. Join our team of problem solvers as we add new chapters to the history of spaceflight!
This role is part of the Lunar Permanence business unit, which develops Blue Origin's Blue Moon landers and related products. To further Blue Origin's mission of millions of people living and working in space for the benefit of Earth, we are building sustainable infrastructure for our transport of crew and cargo from Earth to the lunar surface.
As part of a hardworking team of specialists, technicians, and engineers, you will develop, execute, and integrate electrical and electromechanical components for crew interface hardware and habitability systems. In this role, you will serve as an electrical engineer to design mission hardware from concept through qualification and flight. You will work closely with vehicle systems, mechanical, test, and manufacturing engineers to execute your designs.
This position requires both systems-level thinking and hands-on execution. You will guide the electrical architecture of crew systems components to ensure robust, simple, and integrated solutions. You will be responsible for defining electrical interfaces and control circuits, designing circuit card assemblies, and owning the electrical components through build, test, and verification. This role demands an electrical engineer who can challenge existing approaches, simplify complex systems, and balance technical rigor with practical implementation.
We are looking for someone to apply their technical expertise, teamwork skills, and commitment to quality to positively impact safe human spaceflight. Passion for our mission and vision is required!
Responsibilities include but are not limited to:
  • Develop avionics hardware (boards and integrated assemblies). Have a solid understanding of the entire product life-cycle; including concept and requirements definition, design, prototyping, verification (power-on, functional / acceptance / qualification testing) and release to production.
  • Design analog and digital boards that interact with avionics systems (including microcontrollers, sensors, electromechanical actuators, pumps, motors, valves); including analysis, schematic capture, layout, design review, test/verification and release.
  • Collaborate with multiple engineering disciplines in integrated product teams throughout the design, build, test, and verification of various Crew Systems products
  • Support risk analyses, failure modes effects and criticality analyses (FMECA), design for test/manufacture/cost (DFx), and root-cause analysis of test discrepancies.

Minimum Qualifications
  • B.S. in electrical engineering or related field (or equivalent practical experience).
  • 5+ years in high-reliability electronics (spacecraft/launch/aviation/defense or similar), including board- and/or box-level design through integration and test.
  • Demonstrated ability to produce release-quality artifacts under configuration control (schematics, BoMs, drawings, test procedures/reports).
  • Hands-on lab bring-up/debug skills (oscilloscope, DMM, logic analyzer, power supplies, load emulation; failure isolation and re-test).
  • Proficiency with ECAD/analysis tools (e.g., Altium/Mentor/KiCad, SPICE), signal analysis, grounding schemes and EMC-aware design fundamentals.
  • Strong cross-functional communication with systems, mechanical, software, and mission assurance/quality.
  • Must be a U.S. citizen or national, U.S. permanent resident (current Green Card holder), or lawfully admitted into the U.S. as a refugee or granted asylum.

Preferred Qualifications
  • M.S. in electrical engineering or related field, 7+ years of experience.
  • Experience with electromechanical and fluid components control and integration
  • Experience with designing human machine interfaces
  • Experience supporting TVAC/vibe/shock and EMI/EMC testing with troubleshooting and closure documentation.
  • Experience with harness design and assembly process considerations for spacecraft.
  • Familiarity with spacecraft command and data handling systems and protocols.
  • Experience with parts derating, traceability (CoC/CoQ), and basic radiation considerations (TID/SEE) appropriate to mission class.

Base Pay Range for:
WA applicants is $121,023.00 - $169,432.20
Other site ranges may differ
Culture Statement
Don't meet all desired requirements? Studies have shown that some people are less likely to apply to jobs unless they meet every single desired qualification. At Blue Origin, we are dedicated to building an authentic workplace, so if you're excited about this role but your past experience doesn't align perfectly with every desired qualification in the job description, we encourage you to apply anyway. You may be just the right candidate for this or other roles.
Export Control Regulations
Applicants for employment at Blue Origin must be a U.S. citizen or national, U.S. permanent resident (i.e. current Green Card holder), or lawfully admitted into the U.S. as a refugee or granted asylum.
Background Check
  • Required for all positions: Blue's Standard Background Check
  • Required for Certain Job Profiles: Defense Biometric Identification System (DBIDS) background check if at any time the role requires one to be on a military installation
  • Required for Certain Job Profiles: Drivers who operate Commercial Motor Vehicles with a Gross Vehicle Weight (GVW), Gross Vehicle Weight Rating (GVWR) or combination of power unit and trailer that meets or exceeds 10,001 lbs. and/or transports placardable amounts of hazardous materials by ground in any vehicle on a public road while in commerce, may be subject to additional Federal Motor Carrier Safety Regulations including: Driver Qualification Files, Medical Certification (obtained before onboarding), Road Test, Hours of Service, Drug and Alcohol Testing (CDL drivers only), vehicle inspection requirements, CDL requirements (if applicable) and hazardous materials transportation/shipping training.
  • Required for certain Job Profiles: Ability to obtain and maintain Merchant Mariner Credential, which includes pre-employment and random drug testing as well as DOT physical

Benefits
  • Benefits include: Medical, dental, vision, basic and supplemental life insurance, paid parental leave, short and long-term disability, 401(k) with a company match of up to 5%, and an Education Support Program.
  • Stock Options for all regular employees (working at least 20 hours/week)
  • Paid Time Off: Up to four (4) weeks per year based on weekly scheduled hours, and up to 14 company-paid holidays.
  • Dependent on role type and job level, employees may be eligible for benefits and bonuses based on the company's intent to reward individual contributions and enable them to share in the company's results, or other factors at the company's sole discretion. Bonus amounts and eligibility are not guaranteed and subject to change and cancellation. Please check with your recruiter for more details.

Equal Employment Opportunity
Blue Origin is proud to be an Equal Opportunity/Affirmative Action Employer and is committed to attracting, retaining, and developing a highly qualified and dedicated work force. Blue Origin hires and promotes people on the basis of their qualifications, performance, and abilities. We support the establishment and maintenance of a workplace that fosters trust, equality, and teamwork. We provide all qualified applicants for employment and employees with equal opportunities for hire, promotion, and other terms and conditions of employment, regardless of their race, color, religion, sex, sexual orientation, gender identity, national origin/ethnicity, age, physical or mental disability, genetic factors, military/veteran status, or any other status or characteristic protected by federal, state, and/or local law. Blue Origin will consider for employment qualified applicants with criminal histories in a manner consistent with applicable federal, state, and local laws, including the Washington Fair Chance Act, the California Fair Chance Act, the Los Angeles Fair Chance in Hiring Ordinance, and other applicable laws. For more information on "Know Your Rights," please see here.
Affirmative Action and Disability Accommodation
Applicants wishing to receive information on Blue Origin's Affirmative Action Plans, or applicants requiring a reasonable accommodation in order to participate in the application and/or interview process, please contact us at EEOCompliance@blueorigin.com. Please note this is a publicly managed inbox. Please do not include any personal medical information in your request.

What Blue Origin employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom


Blue Origin logo

About Blue Origin

Sourced by ZipRecruiter

Blue Origin is a private aerospace manufacturing and suborbital spaceflight services company based in Kent, Washington, USA. Established in 2000 by Amazon founder Jeff Bezos, the company operates in the cutting-edge aerospace industry aiming to build a future where millions of people can live and work in space. They develop a variety of technologies, with a focus on reusable rocket systems which significantly reduce the cost of space travel. Blue Origin's core mission is to make this vision come to life by incrementally building on its successes with an ultimate vision of dramatic cost reduction and increased reliance on reusable spacecraft.

Industry

Space research administration

Company size

1,001 - 5,000 Employees

Headquarters location

Kent, WA, US

Year founded

2000