About Us

At SkyLabs AI Inc., we are at the forefront of the artificial intelligence revolution. As a US-headquartered startup, we are building verification infrastructure for C++. We move fast, we ship constantly, and the people who thrive here are the ones who don't wait to be told what to build next.

The Role

We need someone who deeply understands C++, compilers, and systems, but who builds the tooling in whatever language is fastest: Python, TypeScript, Rust, shell, glue code, prototypes. You'll be expected to identify what needs to exist, build it, and put it in front of users without a project manager holding your hand.

This role is unapologetically AI-native. We expect you to drive Claude Code, Codex, Cursor, or similar agentic coding tools as a core part of your workflow, not as a novelty, but as the way you ship.

Who thrives here

People who treat a vague problem statement as a starting point, not a blocker
People who default to action: build the prototype, run the experiment, ship the first version, then iterate
People who hold a high bar for themselves without needing anyone to enforce it
People who are energized by ambiguity and a fast cadence, not exhausted by them

We don't require prior Python or TypeScript experience. If you have strong C++ and systems judgment and you know how to drive a coding agent, you can produce tooling in whatever language the job needs. If you need fully-scoped tickets, weekly 1:1s to unblock you, or a stable roadmap that doesn't shift, this is not the right environment.

Requirements

What you'll actually do

Build developer tooling around a C++ codebase: code generators, AST analyzers, build orchestration, test harnesses, fuzzing infrastructure
Work with Clang/LLVM where it matters (AST traversal, instrumentation, code generation), but reach for Python or TypeScript when that's the right tool
Design property-based testing infrastructure and translate formal specifications into executable runtime checks
Set up and tune fuzzing pipelines (libFuzzer, FuzzTest)
Decide what to build, build it, ship it, learn from it, repeat

You should have

Strong working knowledge of systems programming and modern C++ (C++17/20, ideally some C++23/26 contracts exposure), enough to read large codebases, reason about ABI, performance, and build systems, and understand what tooling needs to do to C++ code
Compiler/systems intuition: ASTs, IRs, linkers, sanitizers, build graphs. You don't need to have written an LLVM pass, but you should understand what one does
Build systems experience: Make, CMake, or Bazel on non-trivial projects
Demonstrated use of agentic coding tools (Claude Code, Codex, Cursor, etc.) on real work. Be ready to talk about what you've shipped with them, where they helped, and where they failed you
A working mental model of LLMs: context windows, tool use, prompt engineering, where models are reliable and where they aren't
A track record of operating independently in fast-moving environments. Previous startup experience is a strong signal

Bonus points

Fuzzing experience (libFuzzer, AFL++, FuzzTest)
Property-based testing (QuickCheck, Hypothesis, FuzzTest, RapidCheck, etc.)
Clang/LLVM internals: libTooling, LibClang, plugins, sanitizer internals
C++26 contracts knowledge or design-by-contract background
Exposure to formal methods, SMT solvers (Z3, CVC5), or proof assistants (Lean, Rocq, Isabelle)
Open-source contributions to compiler/language tooling

Not a fit if

You want to write only C++ all day. Most of the tooling could be another language
You are completely unwilling to use AI coding tools. Being aware of their limits and healthy skepticism is fine
You need fully-specified tickets, predictable scope, or a stable roadmap
You wait for permission before building

Benefits

Competitive salary in USD (tax-free)
Comprehensive health allowance
Relocation allowance (if you're moving to Islamabad)
Monthly team events and offsites
A beautiful, collaborative office space
Work alongside world-class AI researchers and engineers

Senior C++ Tooling Engineer