Full-time
Technical Lead, AI-Powered Formal Math & Proofs
Posted by Skylabs AI • Karachi Division, Sindh, Pakistan
About the Role
A leading AI research company in Pakistan seeks a Technical Lead to drive the vision for an AI-powered platform in formal verification and mathematics. Responsibilities include guiding architecture, hands-on coding, mentoring, and collaborating with researchers. Ideal candidates hold a PhD in Mathematics or Computer Science, with a strong background in AI and software engineering. This role offers a unique opportunity to make an impact at the forefront of technology within a dynamic startup culture.
#J-18808-Ljbffr
#J-18808-Ljbffr
Ready to Apply?
Submit your application today and take the next step in your career journey with Skylabs AI.
Apply Now