SkyLabs AI Inc. logo

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

SkyLabs AI Inc.Islamabad, Islamabad Capital Territory, Pakistan
On-site Internship $100/mo - $100/mo

Clicking Apply Now takes you to AutoApply where you can tailor your resume and apply.


Experience Level

Entry Level

Qualifications

Ideal Candidates Will Possess:High aptitude and exceptional problem-solving abilitiesCompleted courses in programming, AI (with a focus on Generative AI), and mathematicsProficient in Python for data manipulation, scripting, and prototype developmentExperience with AI Coding IDEs/CLIsPreferred:Currently in your final year of study or a recent graduate

About the job

About Us

SkyLabs AI Inc. is pioneering advancements in the artificial intelligence sector. As a leading US-based company, we focus on practical AI research dedicated to intelligent reasoning. Our expertise lies in the realm of complex neurosymbolic AI, tackling sophisticated challenges in software engineering. Our team comprises exceptional researchers and engineers committed to developing the platforms and intelligent agents that will shape the future of software. If you are eager to create genuinely intelligent systems and aspire to make a significant impact, we invite you to join our team.

About the Internship

Embark on a transformative AI engineering internship that offers hands-on experience with the cutting-edge LLM stack. You will engage in the design and development of AI Agents, delve into Formal Verification of Software, and contribute to the construction of data pipelines. Additionally, you will assist with data curation, dataset creation and distillation, and take part in the training and enhancement of large language models through various workflows such as continuous pre-training, supervised fine-tuning (SFT), and reinforcement learning (RL). In this role, you will become proficient in software verification using formal methods in Rocq while enhancing quality practices through property-based testing techniques. This position is perfect for those who thrive on building real systems, learning rapidly, and operating at the intersection of research and engineering.

Duration: 3 months (June 2026 through August 2026) On-site - Full-time

About SkyLabs AI Inc.

SkyLabs AI Inc. is at the cutting edge of artificial intelligence innovation, focusing on applied research that enhances intelligent reasoning. We specialize in solving complex problems through neurosymbolic AI, supported by a team of leading experts in the field.

Similar jobs

Browse all companies, explore by city & role, or SEO search pages. View directory listings: all jobs, search results, location & role pages.

Tailoring 0 resumes

We'll move completed jobs to Ready to Apply automatically.