AI Engineering Intern (Gen AI, Agents & Formal Verification) - Paid

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. 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.

About the Summer Internship

Join us for a hands-on AI engineering internship where you’ll work across the modern LLM stack. You’ll help design and build AI Agents, learn and apply Formal Verification of Software, and contribute to data pipelines. You’ll also support data curation, dataset creation...