Technical Lead, AI-Powered Formal Math & Proofs
Location
multan, punjab
Job Type
Full-time
Category
IT & Technology
Posted
June 05, 2026
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