About Us

At SkyLabs AI Inc., we are at the forefront of the artificial intelligence revolution. As a US-headquartered company, we conduct applied research on AI for intelligent reasoning. We specialize in complex neurosymbolic AI to solve intricate problems within software engineering and mathematical reasoning. Our team is composed of world-class researchers and engineers dedicated to building the platforms and intelligent agents that will power the next generation of software. If you are passionate about building truly intelligent systems and want to make a lasting impact, join us.

The Role

As a C++ Systems Developer on this project, you'll be instrumental in building the runtime infrastructure and contract enforcement mechanisms that form the backbone of our verification system. You'll work at the intersection of modern C++ language features, compiler technology, and formal methods, implementing the systems that translate mathematical specifications...