P
Senior Software Engineer, Ontology & Reasoning Systems (819)
ProtegrityConnecticut, New York · Remote · Senior
$237,600 – $266,700
Listed on Protegrity’s own careers site. You apply with them directly — we never stand between you and the employer.
What this role is
Design and build the ontology and reasoning layer for Protegrity's data security platform, formalizing complex domains into entities and rules that support deterministic machine reasoning with full traceability. This role suits engineers with strong foundations in logic, graph systems, and formal modeling who want to bridge LLM-powered data extraction with auditable, explainable reasoning.
Our summary, not Protegrity’s wording. The full posting is on their site.
Skills this role names
Log in to see which of these are already on your profile.
What they ask for
Required
- 5+ years building backend systems in a modern programming language
- Strong foundation in discrete mathematics, logic, and graph theory
- Ability to express complex domains as formal rules and constraints
- Hands-on experience with logic-based or rule-based reasoning systems
- Practical experience building LLM-powered systems with output validation
- Deep experience with knowledge graphs and graph databases
- Experience designing systems with traceable outputs and provenance chains
- Strong debugging, testing, and validation practices
Nice to have
- Experience with constraint satisfaction or deductive reasoning
- Experience with formal ontology and semantics (OWL, SHACL, description logics)
- Experience with LLM evaluation, entity resolution, or hallucination reduction
- Experience with symbolic computation, theorem proving, or formal verification