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
...