Senior Software Engineer, Ontology & Reasoning Systems

Protegrity

. Own the ontology and rule layer unifying structured, semi-structured, and unstructured enterprise data into a single reasoning model .

Posted 10/14/2026full-timeUnited StatesSenior💰 $237,600 - $266,700 per yearWebsite

Core Competencies

Role fit

Core Competencies

Use this summary to align your resume positioning with the role.

Demonstrates expertise in building backend systems using modern programming languages and developing formal models for reasoning with structured and unstructured data. Proficient in implementing LLM-powered systems and knowledge graphs while ensuring traceability and reliability in outputs.

Highest-signal resume keywords

Backend System DevelopmentFormal Logic and MathematicsDeclarative and Rule-Based ReasoningKnowledge Graphs and Graph DatabasesLLM-Powered Systems

ATS Keywords

Tailor your resume

Applicant Tracking System Keywords

Tip: use these terms in your resume and cover letter to boost ATS matches.

Hard Skills

PythonGoJavaScalaRustDatalogPrologRDFSPARQLNeo4j

Soft Skills

DebuggingTestingValidation

Tools & Technologies

Production Rule EnginesSMT Solvers

Industry Keywords

Entity ResolutionGraph TheoryProvenanceDerivation ChainsEvidence Trails

Tech Stack

Tools & technologies

JavaNeo4jPythonRustScalaGo

About the role

Key responsibilities & impact

Own the ontology and rule layer unifying structured, semi-structured, and unstructured enterprise data into a single reasoning model
Model entities, relationships, events, and constraints across heterogeneous sources
Develop rules that derive conclusions from combinations of facts
Use LLMs at the ingestion boundary for extraction, normalization, and categorization, with validation of model-generated outputs
Make system findings traceable by connecting conclusions to source facts and rules
Build retrieval capabilities including vector search, keyword search, and graph traversal
Improve quality through entity resolution, constraint modeling, and structured handling of conflicting or overlapping sources
Ship production services and research prototypes focused on correctness, reliability, and maintainability
Work closely with product and research teams to define formal models and improve reasoning quality

Requirements

What you’ll need

5+ years of experience building backend systems in a modern language such as Python, Go, Java, Scala, Rust, or similar, or equivalent practical experience
Strong formal and mathematical foundation, including discrete mathematics, logic, and graph theory
Ability to reason about soundness, completeness, and tractability
Ability to express complex domains as formal rules and constraints
Hands-on experience with declarative, logic-based, or rule-based reasoning systems such as Datalog, Answer Set Programming, constraint logic programming, Prolog, production rule engines, SMT solvers, or similar
Practical experience building LLM-powered systems, including structured extraction, RAG, or classification pipelines
Deep experience with knowledge graphs and graph data, including RDF, SPARQL, property graphs, or graph databases such as Neo4j
Experience designing systems whose outputs trace back to their inputs, including provenance, derivation chains, or evidence trails
Strong debugging, testing, and validation practices
Successful completion of a background investigation, which may include verification of extended education and additional criminal and civil checks
Must be legally authorized to work in the United States without restriction or future sponsorship

Benefits

Comp & perks

Equity
Bonus
Competitive salary
Comprehensive benefits
Generous vacation and holiday time off
Ongoing learning & development
Diverse and inclusive workplace