← Back to opportunities

Technical Lead, AI-Powered Formal Math & Proofs

📍 Location
lahore
⏰ Job Type
Full-time
📅 Posted
June 07, 2026

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

Ready to Join Through a Referral?

Apply now and get connected directly with the hiring team

Apply for this Position