🤖 15+ AI Agents working for you. Find jobs, score and update resumes, cover letter, interview questions, missing keywords, and lots more.
Cookies & analytics consent
We serve candidates globally, so we only activate Google Tag Manager and other analytics after you opt in. This keeps us aligned with GDPR/UK DPA, ePrivacy, LGPD, and similar rules. Essential features still run without analytics cookies.
Read how we use data in our Privacy Policy and Terms of Service.
🤖 15+ AI Agents working for you. Find jobs, score and update resumes, cover letter, interview questions, missing keywords, and lots more.
Skylabs AI • Islamabad, Islamabad Capital Territory, Pakistan
Salary: $100 / month
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 engine
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 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 $100 stipend per month Opportunity to work on state of the art technologies Opportunity to work with top minds in the industry