{"id":835744,"url":"https://alion.io/job/skylabs-ai-senior-c-tooling-engineer","title":"Senior C++ Tooling Engineer","company":{"id":688901,"name":"SkyLabs AI","domain":"skylabs-ai.com","url":"https://alion.io/company/skylabs-ai","size_band":"51-200","is_staffing_agency":false,"employer_type":"direct","is_intermediary":false,"listed_via":null,"ats_vendor":"Workable","truth_index":{"grade":"D","score":46,"open_postings":10,"ghost_share":0.9,"stale_share":0,"repost_share":0,"time_to_fill_p50_days":null,"computed_at":"2026-10-24T06:02:35Z"}},"role":"Industrial Engineering","role_family":"Industrial Engineering","seniority":"senior","employment_type":"full_time","work_mode":"on_site","remote_scope":null,"remote_scope_basis":null,"remote_working_hours":null,"hiring_geo_confidence":"structured","locations":["Islamabad, Pakistan"],"countries":["PK"],"hiring_countries":[],"hiring_countries_total":0,"salary":null,"salary_estimate":{"min_usd":16500,"max_usd":38000,"period":"year","method":"global_role_cell_scaled_by_country","sample_n":7932},"experience_years_min":null,"visa_sponsorship":false,"relocation_package":false,"has_equity":false,"technologies":[{"name":"AI Agents","optional":false},{"name":"C++","optional":false},{"name":"Claude Code","optional":false},{"name":"CMake","optional":false},{"name":"Cursor","optional":false},{"name":"Function Calling","optional":false},{"name":"LLVM","optional":false},{"name":"OpenAI Codex","optional":false},{"name":"Prompt Engineering","optional":false},{"name":"Python","optional":false},{"name":"Rust","optional":false},{"name":"TypeScript","optional":false},{"name":"Hypothesis","optional":true}],"status":"live","first_seen_at":"2026-06-01T00:00:00Z","employer_posted_date":"2026-06-01","last_verified_at":"2026-10-23T22:34:11Z","board_verified":true,"closed_at":null,"days_open":145,"trust":{"level":"ghost","repost_count":0,"flags":["stale","company_stale"],"days_open":145},"description":"About Us\nAt 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.\nThe Role\nWe 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.\nThis 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.\nWho thrives here\nPeople who treat a vague problem statement as a starting point, not a blocker\nPeople who default to action: build the prototype, run the experiment, ship the first version, then iterate\nPeople who hold a high bar for themselves without needing anyone to enforce it\nPeople who are energized by ambiguity and a fast cadence, not exhausted by them\nWe 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.\nRequirements\nWhat you'll actually do\nBuild developer tooling around a C++ codebase: code generators, AST analyzers, build orchestration, test harnesses, fuzzing infrastructure\nWork with Clang/LLVM where it matters (AST traversal, instrumentation, code generation), but reach for Python or TypeScript when that's the right tool\nDesign property-based testing infrastructure and translate formal specifications into executable runtime checks\nSet up and tune fuzzing pipelines (libFuzzer, FuzzTest)\nDecide what to build, build it, ship it, learn from it, repeat\nYou should have\nStrong 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\nCompiler/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\nBuild systems experience: Make, CMake, or Bazel on non-trivial projects\nDemonstrated 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\nA working mental model of LLMs: context windows, tool use, prompt engineering, where models are reliable and where they aren't\nA track record of operating independently in fast-moving environments. Previous startup experience is a strong signal\nBonus points\nFuzzing experience (libFuzzer, AFL++, FuzzTest)\nProperty-based testing (QuickCheck, Hypothesis, FuzzTest, RapidCheck, etc.)\nClang/LLVM internals: libTooling, LibClang, plugins, sanitizer internals\nC++26 contracts knowledge or design-by-contract background\nExposure to formal methods, SMT solvers (Z3, CVC5), or proof assistants (Lean, Rocq, Isabelle)\nOpen-source contributions to compiler/language tooling\nNot a fit if\nYou want to write only C++ all day. Most of the tooling could be another language\nYou are completely unwilling to use AI coding tools. Being aware of their limits and healthy skepticism is fine\nYou need fully-specified tickets, predictable scope, or a stable roadmap\nYou wait for permission before building\nBenefits\nCompetitive salary in USD (tax-free)\nComprehensive health allowance\nRelocation allowance (if you're moving to Islamabad)\nMonthly team events and offsites\nA beautiful, collaborative office space\nWork alongside world-class AI researchers and engineers","description_format":"text","description_chars":4021,"description_truncated":false,"requirements":{"experience_years_min":null,"management_years_min":null,"team_size_min":null,"manages_managers":false,"education":{"level":"bachelor","optional":false},"security_clearance":false,"languages":[]},"benefits":[],"hiring_locations":[],"hiring_excludes":[],"relocation_offered":true,"industries":["AI Agents","Code Intelligence","AI Research Labs"],"lifecycle":[{"event":"open","at":"2026-09-12T18:56:38Z"}],"visa":[],"liveness":{"score":7,"band":"cold","label":"Long shot","p_open":1,"p_active":0.234,"p_room":0.28,"age_days":145,"expected_fill_days":36,"reasons":["conf:7","stale_co","ghost","win:tail","crowd:"],"computed_at":"2026-10-24T06:02:35Z"},"pay":null,"html_url":"https://alion.io/job/skylabs-ai-senior-c-tooling-engineer","json_url":"https://alion.io/job/skylabs-ai-senior-c-tooling-engineer.json","meta":{"generated_at":"2026-10-24T06:39:53Z","cache_seconds":300,"methodology":"https://alion.io/methodology","terms":"https://alion.io/terms","contact":"https://alion.io/contact","api":"https://alion.io/developers","about":"Alion is a live layer of people, companies and AI agents: who they are, whether they are real and active right now, what they do and how to work with them, readable by people and by agents and paid per call.","catalog":"https://alion.io/catalog.json","usage":{"tier":"crawler_verified","counted_by":"address","units_charged":1,"used_today":9725,"day_limit":null,"remaining_today":null,"minute_limit":300,"resets_at":"2026-10-25T00:00:00Z"}},"offers":[{"id":"company.slices","title":"One company in depth, by slice","status":"live","price":{"credits":0.02,"usd":0.002,"plus_per_slice":{"credits":0.05,"usd":0.005}},"unit":"per company, plus each slice with data","note":"the employer in depth","call":{"mcp_tool":"get_company","arguments":{"id":688901},"rest":"https://alion.io/mcp/rest/get_company?id=688901"},"human":"https://alion.io/catalog?offer=company.slices&for=job%2Fskylabs-ai-senior-c-tooling-engineer"},{"id":"market.stats","title":"A market slice: pay, demand and time to fill","status":"live","price":{"credits":1,"usd":0.1},"unit":"per slice","note":"pay, demand and time to fill for this role and place","call":{"mcp_tool":"market_stats"},"human":"https://alion.io/catalog?offer=market.stats&for=job%2Fskylabs-ai-senior-c-tooling-engineer"},{"id":"job.search","title":"Open jobs by role, technology, place, pay and visa","status":"live","price":{"credits":0.02,"usd":0.002},"unit":"per posting in a list","note":"similar open postings","call":{"mcp_tool":"search_jobs"},"human":"https://alion.io/catalog?offer=job.search&for=job%2Fskylabs-ai-senior-c-tooling-engineer"},{"id":"company.verify","title":"Is this company real and active right now","status":"pilot","price":null,"unit":"per company","request":{"url":"https://alion.io/catalog/request","method":"POST","body":"{\"offer\": \"company.verify\", \"for\": \"job/skylabs-ai-senior-c-tooling-engineer\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Fskylabs-ai-senior-c-tooling-engineer"}]}