Senior Software Engineer, Ontology & Reasoning Systems (819)
Core
Design and build the ontology and reasoning layer that connects structured, semi-structured, and unstructured enterprise data into a deterministic model supporting machine reasoning and explainable conclusions.
Role type
Senior IC software engineer (ontology & reasoning systems)
Builds
Production services and research prototypes for data security and reasoning workflows
Domain
Data security, AI, knowledge graphs, formal logic
Deliverable
production ML models | product features
Required skills
backend systems engineering, formal logic, graph theory, rule-based reasoning systems, LLM-powered system design, knowledge graphs, provenance tracking, debugging and validation
Preferred skills
constraint satisfaction, formal ontology semantics, LLM evaluation, symbolic computation
Technologies
Python, Go, Java, Scala, Rust, Datalog, Answer Set Programming, Prolog, SMT solvers, RDF, SPARQL, Neo4j, OWL, SHACL
Responsibilities
Own the ontology and rule layer unifying heterogeneous enterprise data; model entities, relationships, events, and constraints to derive conclusions; use LLMs at the ingestion boundary for extraction and normalization with validation; make system findings traceable to source facts and rules; build retrieval capabilities including vector search, keyword search, and graph traversal; improve quality through entity resolution and constraint modeling; ship production services focusing on correctness and reliability
