AI Engineering Intern (Gen AI, Agents & Formal Verification) - Paid
Location: Islamabad, Islamabad Capital Territory, Pakistan
Workplace: on_site
Description
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 and distillation, and participate in training and improving large language models—including continuous pre-training, supervised fine-tuning (SFT), and reinforcement learning (RL) workflows. As part of the role, you’ll get up to speed on software verification using formal methods in Rocq and strengthen quality practices through property-based testing techniques. This role is ideal if you enjoy building real systems, learning fast, and working at the intersection of research and engineering.
Duration: 3 months (June 2026 through August 2026) On-site - Full-time
Requirements
Desirable Candidates
- High aptitude and strong problem-solving skills
- Have studied courses in programming, AI (including Generative AI), and mathematics
- Comfortable coding in Python (data handling, scripting, and building prototypes)
- Good with using AI Coding IDEs/CLIs
Preference
- You are in your final year or have already graduated
Benefits
- $100 stipend per month
- Opportunity to work on state of the art technologies
- Opportunity to work with top minds in the industry
There are more than 50,000 engineering jobs:
Subscribe to membership and unlock all jobs
Engineering Jobs
60,000+ jobs from 4,500+ well-funded companies
Updated Daily
New jobs are added every day as companies post them
Refined Search
Use filters like skill, location, etc to narrow results
Become a member
🥳🥳🥳 452 happy customers and counting...
Overall, over 80% of customers chose to renew their subscriptions after the initial sign-up.
To try it out
For active job seekers
For those who are passive looking
Cancel anytime
Frequently Asked Questions
- We prioritize job seekers as our customers, unlike bigger job sites, by charging a small fee to provide them with curated access to the best companies and up-to-date jobs. This focus allows us to deliver a more personalized and effective job search experience.
- We've got over 200,000 jobs from 15,000+ vetted companies. No fake or sleazy jobs here!
- We aggregate jobs from 15,000+ companies' career pages, so you can be sure that you're getting the most up-to-date and relevant jobs.
- We're the only job board *for* software engineers, *by* software engineers… in case you needed a reminder! We add thousands of new jobs daily and offer powerful search filters just for you. 🛠️
- Every single hour! We add 2,000-3,000 new jobs daily, so you'll always have fresh opportunities. 🚀
- Typically, job searches take 3-6 months. EchoJobs helps you spend more time applying and less time hunting. 🎯
- Check daily! We're always updating with new jobs. Set up job alerts for even quicker access. 📅
What Fellow Engineers Say