Member of Technical Staff, Verification & Policy

Dipp AI Technologies; New York, Northern (NY, KY); Hybrid; USD 180,000 - 240,000; Full time

Benefits offered by this job

Equity (4-year vest)

Medical, dental, and vision coverage

401(k) with company match + hardware预算

Time and budget to publish research

Job summary

Dipp AI Technologies in New York, NY seeks a senior software engineer to design and implement policy evaluation systems. You will own the logic scrubber component, ensuring deterministic results with explainable outcomes and fast request paths.

You will collaborate with compliance and design partners, translate rules into code, and optimize performance while building tools for testing, dry-runs, and auditing.

Qualifications

• Experience building rules engines, policy systems, query planners, compilers, or type checkers.
• Ability to explain machine decisions to non-engineers.
• Experience in regulated domains is a strong plus.

Responsibilities

• Design the policy representation and compiler for executable evaluation.
• Build deterministic evaluation with explainable outcomes and stable reason codes.
• Implement conflict resolution when regimes disagree.
• Build simulation and dry-run tooling for policy testing.
• Own the performance envelope of evaluation inside gating path.
• Collaborate with compliance leaders to encode control frameworks.

Skills

Policy systems

Rules engines

Deterministic evaluation

Explainability

Performance tuning

Compliance collaboration

Education

BS/MS/PhD in CS

Formal methods exposure

Tools

OPA/Rego

Cedar

Zanzibar-style models

Job description

Own the Logic Scrubber: how a directive is verified against policy before authority is granted.

Before Orcher grants an agent authority to act, the directive is checked against enterprise policy, regulatory constraints, and the boundaries of the requesting role. That check is the Logic Scrubber, and you will own it.

The problem is not writing rules. It is compiling policy from many sources — regulatory regimes, internal control frameworks, contractual obligations — into an evaluation that is deterministic, explainable, and fast enough to sit in the request path.

Explainability is a hard requirement. Every deny must carry a reason a compliance officer can act on, and every allow must carry the evidence that justified it.

What you will do

• Design the policy representation and the compiler that turns authored policy into executable evaluation.
• Build deterministic evaluation with explainable outcomes and stable reason codes.
• Implement conflict resolution when regimes, internal controls, and role scopes disagree.
• Build the simulation and dry-run tooling teams use to test policy before enforcing it.
• Own the performance envelope of evaluation inside the gating path.
• Work with compliance leaders at design partners to encode real control frameworks correctly.

What we look for

• Experience building rules engines, policy systems, query planners, compilers, or type checkers.
• Comfort with formal reasoning: decidability, determinism, and the limits of static analysis.
• Familiarity with OPA/Rego, Cedar, Zanzibar-style models, or an equivalent you have built yourself.
• Ability to produce explanations of machine decisions that non‑engineers can act on.
• Strong systems performance instincts and the profiling discipline to back them.
• Willingness to sit with compliance teams and translate their language into code.

Experience

• 10+ years in software engineering with significant depth in language, policy, or evaluation systems.
• Has owned a component that other engineering teams depended on and extended.
• Experience in a regulated domain — finance, healthcare, insurance, defence, or public sector — is a strong plus.

Education

• BS, MS, or PhD in Computer Science or a related field, ideally with exposure to programming languages, logic, or formal methods.
• Equivalent practical experience is accepted; we care about the systems you have shipped.

Compensation and benefits

• Meaningful equity with a standard four-year vest.
• Full medical, dental, and vision coverage.
• 401(k) with company contribution and a hardware budget.
• Time and budget to publish research derived from your work.