About this role
Technical Lead - AI for Math at SkyLabs AI. Location: Islamabad, Islamabad Capital Territory, Pakistan. Role: define architecture, lead development, collaborate research Requirements: PhD in Mathematics or Computer Science preferred; strong mathematical background; experience applying AI/ML with large language models; proficiency in Python; system design and architecture; proven research contributions. Category: Research and Development (R&D) Seniority: Senior Level Tools: LEAN 4, Rocq, Python, Git Commitment: Full Time Workplace: Onsite Languages: English