Familiarity with modern systems-development and verification tooling, including formal specification or model-checking frameworks such as TLA+/PlusCal, Alloy, or Lean, as well as relevant development tools and languages such as LLVM, eBPF, Python, Go, or advanced profiling and debugging tools (e.g., perf, sanitizers, or tracing frameworks). The role covers a broad range of problems across database systems research and engineering, including but not limited to query optimization, execution engines, distributed systems, consensus protocols, materialized views, indexing and data structures, benchmarking, workload analysis, and emerging agentic workloads.