Senior Software Engineer, Ontology & Reasoning Systems (819)
Protegrity8 hours ago
Base Salary
$238k - $267k/yr
Responsibilities
- Own the ontology and rule layer unifying structured, semi-structured, and unstructured enterprise data.
- Model entities, relationships, events, and constraints and develop rules that derive conclusions from combinations of facts.
- Use LLMs for extraction, normalization, and categorization at the ingestion boundary and validate model-generated outputs.
- Make findings traceable to their source facts and rules through provenance and derivation paths.
- Build retrieval capabilities using 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.
Requirements
- 5+ years of experience building backend systems in Python, Go, Java, Scala, Rust, or a similar modern language, or equivalent practical experience.
- Strong formal and mathematical foundation in discrete mathematics, logic, and graph theory.
- Ability to reason about soundness, completeness, and tractability and express 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, or SMT solvers.
- Practical experience building LLM-powered systems, including structured extraction, RAG, or classification pipelines, with appropriate output validation.
- Deep experience with knowledge graphs and graph data, including RDF, SPARQL, property graphs, or graph databases such as Neo4j.
- Experience designing systems with provenance, derivation chains, or evidence trails linking outputs to inputs.
- Strong debugging, testing, and validation practices with attention to correctness.
- Preferred experience includes constraint satisfaction or deductive reasoning, formal ontology and semantics, LLM evaluation, entity resolution, citation validation, hallucination reduction, symbolic computation, theorem proving, model checking, or formal verification.
- Successful completion of a required background investigation is necessary.
Benefits
- Competitive salary and comprehensive benefits.
- Generous vacation and holiday time off.
- Ongoing learning and development opportunities.
- Inclusive, non-discriminatory workplace.
About Protegrity
Protegrity builds data-security software that discovers, tokenizes, and encrypts sensitive data so enterprises can use it safely across clouds, analytics, and AI systems. Its platform provides vaultless tokenization, format-preserving encryption, and policy enforcement for compliance and PCI DSS use cases, sold as enterprise software and subscriptions. Founded in 1996 and privately held, the company is headquartered in Stamford, Connecticut.