SkyLabs AI Inc. logo

Senior C++ Systems Engineer at SkyLabs AI Inc | Islamabad

SkyLabs AI Inc.Islamabad, Islamabad Capital Territory, Pakistan
On-site Full-time

Clicking Apply Now takes you to AutoApply where you can tailor your resume and apply.


Experience Level

Senior

Qualifications

Technical Skills5+ years of professional experience in C++ development with a strong command of modern C++ (C++17/20/23). Robust systems programming foundation: expertise in memory management, performance tuning, and low-level debugging. Knowledge of compiler systems: Familiarity with Clang/LLVM, AST manipulation, or code generation. Experience in build systems: proficiency with CMake, Bazel, or similar tools; adeptness in managing complex multi-component builds. Proficient in debugging tools: GDB, LLDB, and sanitizers (ASan, UBSan, TSan). Experience in crafting deterministic, reproducible code for critical systems.

About the job

About Us

Join us at SkyLabs AI Inc., an innovative leader in the artificial intelligence landscape. Based in the United States, we specialize in applied AI research, focusing on advanced neurosymbolic techniques to tackle complex challenges in software engineering and mathematical reasoning. Our exceptional team of researchers and engineers is committed to creating the intelligent platforms and agents that will shape the future of software. If you are driven by the desire to develop groundbreaking intelligent systems that make a significant impact, we invite you to be part of our mission.

The Role

As a Senior C++ Systems Engineer, you will play a critical role in developing the runtime infrastructure and contract enforcement mechanisms that are essential to our verification system. You will engage with modern C++ features, compiler technologies, and formal methods, translating mathematical specifications into executable runtime checks. This is a unique opportunity to contribute to pioneering compiler technology and the evolution of software verification.

Key Responsibilities

  • Design, develop, and sustain high-performance C++ systems code for our verification infrastructure.
  • Implement compiler integrations and code generation pipelines utilizing Clang/LLVM.
  • Create reusable libraries, APIs, and toolchain components for developer use.
  • Integrate third-party frameworks and develop build automation systems.
  • Write thorough tests and establish quality assurance processes to ensure system reliability.
  • Optimize code for efficiency, reliability, and maintainability.
  • Collaborate with cross-functional teams including researchers and engineers to drive innovation.
  • Engage in code reviews, architectural discussions, and technical design processes.
  • Document technical decisions, APIs, and system architectures comprehensively.
  • Stay updated with advancements in C++ evolution and formal methods.

About SkyLabs AI Inc.

SkyLabs AI Inc. is an industry leader in artificial intelligence, dedicated to the research and development of advanced AI-driven solutions. With a focus on neurosymbolic AI, we aim to solve the most challenging problems in software engineering and mathematical reasoning, fostering a culture of innovation and excellence.

Similar jobs

Browse all companies, explore by city & role, or SEO search pages. View directory listings: all jobs, search results, location & role pages.

Tailoring 0 resumes

We'll move completed jobs to Ready to Apply automatically.