Tech Lead: AI for Formal Mathematics & Proofs

SkyLabs AI in Islamabad is looking for a Technical Lead to define the technical vision for an AI-powered platform focused on formalizing mathematics. The ideal candidate will have a PhD in Mathematics or Computer Science, proven AI and software engineering skills, and a commitment to academic collaboration. Successful applicants will enjoy benefits including a comprehensive health allowance, salaries in USD, and opportunities for professional development within a startup culture that nurtures innovative ideas.
#J-18808-Ljbffr