← Back to opportunities

Technical Lead - AI for Math

📍 Location
khanpur
⏰ Job Type
Full-time
📅 Posted
May 30, 2026

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

We are seeking an exceptional Technical Lead to define and execute the technical vision for a pioneering project at the confluence of pure mathematics, artificial intelligence, and formal verification. This role is a unique hybrid, blending state‑of‑the‑art software engineering with cutting‑edge academic research. You will architect and lead the development of our AI‑powered platform ...

Ready to Join Through a Referral?

Apply now and get connected directly with the hiring team

Apply for this Position