AI-native Systems Verification Engineer

Enting Zhang is a Network Software Engineer (P2 @ Ciena) specialized in formal concurrency verification and high-performance system observability. They focus on "Architecture Over Intelligence"—building reliable agentic workflows where correctness is enforced by the system design rather than probabilistic model outputs. Key projects include Clotho (a deterministic interleaving orchestrator for Python codebases using AST-level hijacking and Source-DPOR), Project Oracle (an AI-native diagnostic suite that slashed TTR for core FIB issues from 4 hours to <3 seconds), Knowledge Recovery (decoding complex, undocumented legacy control planes into formal specifications), and LTL-Driven Testing (a permutation-based framework using Linear Temporal Logic to auto-generate 8,000+ high-fidelity tests). Enting is seeking a Senior Backend or Systems Engineering role where they can apply rigorous formal methods to modern AI-native or high-concurrency financial/distributed infrastructures.