Technical Lead, AI-Powered Formal Math & Proofs

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