About the Role
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...
Ready to Join Through a Referral?
Apply now and get connected directly with the hiring team
Apply for this Position