# Senior Software Engineer, Ontology & Reasoning Systems (819)

Hiring organization: [Protegrity](https://career.thegoodapps.co/organizations/protegrity)

Canonical page: https://career.thegoodapps.co/jobs/b3ca5cdb-764a-4494-8998-f01c1784b7ea

Listed on Protegrity's own careers site. Applications go to them directly.

- Seniority: Senior
- Location: Connecticut, New York
- Remote: yes
- Salary: 237600 – 266700 USD per year

## Summary

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._

## Skills named

Go, Java, LLMs (Large Language Models), Neo4j, Prolog, Python, Retrieval-Augmented Generation (RAG), Rust, Scala

## 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

Apply on Protegrity's site: https://jobs.ashbyhq.com/protegrity/facfdf47-481a-4d21-b6e3-14e32e963f0c/application