Software Engineer (Agentic Code Review, Gitar)

Join Gitar, an AI-native code validation platform, as a Software Engineer. You will work at the intersection of program analysis, developer tools, and AI, designing and shipping systems that reason about code at depth. Your responsibilities will include building program analysis systems, combining static and dynamic analysis with large language models, and developing indexing, retrieval, and embedding systems. You will also engage directly with customers to understand their workflows and ship what they need.

• Design and build program analysis systems that reason about code at the level of intent, control flow, data flow, and behavior, across languages and at the scale of thousands of repos and large monorepos.
• Combine static and dynamic analysis with large language models to detect functional bugs, logic errors, and behavioral issues that deterministic tools cannot catch.
• Build the AI agents and orchestration layers that review pull requests, generate and validate fixes against CI, root-cause CI failures, and automate the full pull request lifecycle from creation to merge.

• 2–4 years of professional software engineering experience
• Have practical, hands-on experience with AI and LLM-driven development
• Exposure to or strong interest in program analysis fundamentals: static analysis, dynamic analysis, type systems, intermediate representations, control- and data-flow analysis, or symbolic execution
• Solid engineering fundamentals: data structures, algorithms, and the ability to reason about correctness and performance
• Strong written and verbal communication, comfort working directly with sophisticated engineering customers, and the judgment to make trade-offs across correctness, latency, cost, and developer experience
• A PhD or MS in Computer Science (or equivalent experience)
• Experience building developer tools that engineers actually use: compilers, build systems, IDE tooling, linters, refactoring tools, test infrastructure, or large-scale code transformation
• Experience in industry research labs (e.g., Microsoft Research, Google Research, Meta AI), at large-scale developer infrastructure teams (Uber, Google, Meta, Microsoft, Stripe, etc.), or as a contributor to widely used open-source compilers, analyzers, or developer tools