About this role
Senior Software Engineer - Static Analysis at Kai. Location: San Jose, California, United States. Role: owning stack, shaping architecture, mentoring engineers Requirements: 7+ years software engineering (4+ in static/program analysis or compiler infrastructure); deep knowledge of control/data-flow, call graph construction, inter-procedural and taint/reachability analysis; strong Java/Go/C++ skills; IR/bytecode/AST experience; technical ownership. Category: Software Development Seniority: Senior Level Tools: Java, Go, C++, LLVM, MLIR, SSA, IR, bytecode, ASTs, CI/CD Commitment: Full Time Workplace: Remote Languages: English