How many jobs require Coq in United Kingdom?

There are currently 67 active job listings requiring Coq in United Kingdom, with 1 professionals who have this skill.

What is the average salary for Coq jobs in United Kingdom?

The average salary range for jobs requiring Coq in United Kingdom is USD 0 - {currency} 0 per year.

Is Coq in high demand in United Kingdom?

More jobs than candidates -- excellent opportunities for professionals with this skill. The supply/demand ratio is 0.01 (1 professionals for 67 jobs).

Which cities have the most Coq jobs in United Kingdom?

The top cities for Coq jobs in United Kingdom are London (11 jobs), Glasgow (6 jobs), Manchester (6 jobs), Birmingham (4 jobs), Oxford (4 jobs).

In-Demand Skills

Coq in United Kingdom: Supply vs Demand Analysis

Real-time skill intelligence based on 67 job listings - 2026

Job Demand

active job listings

Professional Supply

professionals with this skill

Supply/Demand Ratio

0.01

High Demand

Market Insight

67 jobs require Coq, while 1 professionals have it. More jobs than candidates -- excellent opportunities for professionals with this skill.

Top Cities for Coq

London11 jobs

Glasgow6 jobs

Manchester6 jobs

Birmingham4 jobs

Oxford4 jobs

Cambridge2 jobs

Edinburgh2 jobs

Rugby1 jobs

Related Skills

Skills that frequently appear alongside Coq in job listings.

Agda30 Algebra30 Analysis30 Discrete Mathematics30 Formal Verification30 Isabelle/hol30 Lean 430 Lemma Selection30 Mathlib30 Proof Assistants30

Coq

67 job openings

View job listings

Find Professionals

1 with Coq

View professionals