1

Coq Programming Jobs in Metamora, IL (NOW HIRING)

Quality Technician

Roanoke, IL · On-site

$26 - $30/hr

Cibes|Symmetry is a leading provider of beautifully crafted, expertly engineered accessibility ... Track and report quality metrics and Cost of Quality (COQ) measurements * Support and facilitate ...

Quality Technician

Roanoke, IL · On-site

$26 - $30/hr

Cibes|Symmetry is a leading provider of beautifully crafted, expertly engineered accessibility ... Track and report quality metrics and Cost of Quality (COQ) measurements * Support and facilitate ...

Coq Programming information

See Metamora, IL salary details

$23.8K

$84.8K

$142.1K

How much do coq programming jobs pay per year?

As of Aug 9, 2026, the average yearly pay for coq programming in Metamora, IL is $84,802.00, according to ZipRecruiter salary data. Most workers in this role earn between $59,600.00 and $110,600.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.

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 cities near Metamora, IL are hiring for Coq Programming jobs? Cities near Metamora, IL with the most Coq Programming job openings:
Infographic showing various Coq Programming job openings in Metamora, IL as of June 2026, with employment types broken down into 89% Full Time, 4% Part Time, 1% Temporary, 5% Contract, and 1% Nights. Highlights an 91% Physical, 3% Hybrid, and 6% Remote job distribution, with an average salary of $84,802 per year, or $40.8 per hour.

Manufacturing Quality Technician -- Electro‑Mechanical Assemblies

Cibes Symmetry Lift Solutions

Roanoke, IL • On-site

$26 - $30/hr

Other

Medical, Dental, Vision, Retirement, PTO

Posted 10 days ago


Job description

Be the Voice of the Customer on Our Factory Floor

Do you see patterns others miss? At Cibes|Symmetry in Roanoke, Illinois, your curiosity and rigor will help ensure our residential elevators, home lifts, commercial lifts, and low-rise elevators meet exacting standards. With 75+ years of global experience, manufacturing in the USA and Sweden, and distribution through an exclusive partner network, we’re known for craftsmanship, innovation, and stability—growing benefits, no layoffs, and real advancement paths. Pay starts at $26–$30 per hour, commensurate with experience.

Imagine This Scenario

A unit fails final inspection. You quickly interpret the wiring diagram, validate tolerance stack-ups using GD&T principles, and isolate a mis-terminated lead in an electronic subassembly. You document the root cause, roll out a corrective action, train the team on the update, and watch quality metrics tick upward. That’s the kind of impact you’ll make here—every day.

Your Mission
  • Surface and prioritize quality concerns through daily discussions with line leaders.
  • Lead root-cause analysis and implement corrective actions that stick.
  • Own quality reporting—track and communicate key measures and Cost of Quality (COQ).
  • Level up knowledge on the floor by facilitating targeted training.
  • Support and occasionally lead problem-solving teams using structured methods.
  • Translate technical intent—read schematics, blueprints, wiring diagrams, specs, work orders, and reports.
  • Inspect electro-mechanical subassemblies, final assemblies, electronic systems, and support structures with appropriate tools (calipers, levels, wire strippers, signal generators, drills, etc.).
  • Recommend repairs, adjustments, or part replacements; operate special tooling and lifting devices safely.
  • Partner with supervisors and engineers to resolve production issues quickly.
  • Execute visual inspections; troubleshoot efficiency and effectiveness challenges.
  • Cross-train across processes and assist where needed.
What You’ll Need to Succeed
  • High school diploma or equivalent
  • 3+ years in electro-mechanical assembly within a quality function strongly preferred
  • Working knowledge of GD&T
  • Fluency in reading electrical wiring diagrams, schematics, blueprints, and work orders
  • Awareness of fabrication and welding practices
  • Hands-on skill with standard hand tools (hammers, screwdrivers, wrenches, tape measures, pliers, calipers, levels, etc.)
  • Microsoft Office proficiency (Word, Excel, PowerPoint, Outlook)
  • Preferred: certifications in inspection, auditing, engineering, or related disciplines
  • Clear communicator; agile multitasker; team-first mindset balanced with independence
Role Snapshot

Supervisory Responsibilities: This position does not include supervisory responsibilities.

Where and How You’ll Work
  • Industrial/manufacturing environment
  • Frequent sitting, standing, walking, reaching, stooping, kneeling, and crouching
  • Extended standing
  • Regular lifting up to 25 lbs.; occasional up to 50 lbs.
  • Manual dexterity and steady hands
  • Frequent manipulation of tools and small components
  • Near-vision tasks for detailed inspections
  • Typical production noise
  • Intermittent cold/heat exposure
  • Proximity to moving mechanical parts and machinery
Benefits & Growth
  • Generous vacation, personal time, and paid holidays
  • Medical, dental, and vision coverage
  • 401(k) with company contribution
  • Gym membership reimbursement
  • Volunteer time opportunities
  • Growth and advancement opportunities
Tools & Systems
  • Quality Control Software plus a full suite of inspection tools
Key Competencies
  • GD&T
  • Troubleshooting Skills
  • Blueprint Reading
Employment Requirements

This position is contingent upon successful completion of a background check, physical examination, and drug screen.

Equal Employment Opportunity

Cibes|Symmetry is an Equal Opportunity Employer. We are committed to creating an inclusive environment for all employees and applicants.