Inframatic is hiring: Founding Knowledge Engineer / AI Researcher (Ontologies & Semantic Reasoning)
Howbery Park, Wallingford, Oxfordshire | Permanent | EMI equity
We need someone who thinks in formal ontologies, lattice structures, and logical entailment — and wants to apply that rigour where it actually matters: safety‑critical infrastructure.
The problem: take thousands of pages of interconnected, ambiguous, human‑authored normative text and construct sound, computable representations. Preserving deontic modality (shall/should/may). Encoding mereological structure. Deriving provably consistent OWL‑DL representations. Building reasoning pipelines that perform clause‑level entailment checking and produce formally justified compliance verdicts.
What you’ll do:
* Define and extend our upper ontology for engineering standards
* Build SHACL/SWRL constraint pipelines over design graphs
* Formalise domain semantics from natural language normative text
* Design and validate inference chains for soundness and completeness
* Bridge formal methods and real engineering, working with domain experts
Who you are:
You're comfortable with first‑order logic, description logics, or dependent type theory. You understand OWA vs CWA. You know what decidability means and why it matters for reasoning at scale. You likely come from mathematical logic, knowledge representation, formal ontology (BFO/DOLCE), category theory, type theory, or the semantic web. You may or may not have a PhD. You write good code.
What we offer:
EMI equity from day one. A hard, unsolved problem. Direct access to leadership. A small technical team at Howbery Park, a riverside science park on the Thames, 20 minutes from Oxford.
#J-18808-Ljbffr