Research Engineer — Neural-Symbolic Reasoning
San Diego, CA (hybrid) · Remote considered for exceptional candidates
Work directly with Dr. Sam Sammane on the QAG Engine's reasoning kernel. You'll design, implement, and benchmark the neural-symbolic pipeline that produces QGI's seven interpretable signals — polarity, scope, coherence, conflict, provenance, temporality, confidence — over the Q-Prime quantum hypergraph.
You must have
- PhD in CS, formal methods, logic, or a closely related field — or equivalent publication record
- Deep familiarity with at least one of: theorem proving, SAT/SMT, decision procedures, neural-symbolic systems, or formal verification of ML
- Comfort reading and contributing to open-source research code (PyTorch / JAX)
- Clear writing — you will own the public technical reasoning behind signal design
Nice to have
- Exposure to quantum-inspired methods (CUDA-Q, tensor-network models, hypergraph encoders)
- Prior work applied to regulated industries (finance, healthcare, government)
- Published at NeurIPS, ICML, ICLR, CAV, FMCAD, AAAI, or similar