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.
