Skylabs AI

Applied AI research for intelligent software.

Technical Lead - AI for Math

AI ResearchConfirmed live in the last 24 hours

Full-timeIslamabad, Islamabad Capital Territory, PakistanIn-person

About the Job

Requirements

A PhD in Mathematics or Computer Science is strongly preferred; a Master's degree with an outstanding track record of relevant research and development will be considered.
A sophisticated understanding of graduate-level mathematics across several domains.
Proven experience applying artificial intelligence and machine learning, particularly large language models.
Strong software development skills, proficiency in languages such as Python, and a deep understanding of system design and architecture.
Demonstrable ability to engage with and contribute to academic research, evidenced by publications, conference presentations, or significant contributions to academic research projects.

Responsibilities

Define and drive the technical strategy for formalizing mathematics at scale, and design robust, scalable software architecture for the data pipeline, AI models, and proof libraries.
Make hands-on contributions to the core codebase, develop proofs of concept, and tackle challenging technical problems in proof formalization and AI model implementation.
Establish and maintain active collaborations with researchers, university labs, and academic institutions; co-author research papers for conferences and journals; and represent the work within the scientific community.
Direct research, experimentation, and application of advanced AI models, such as large language models, for autoformalization that translates informal mathematics into formal LEAN 4 code and/or Rocq.
Mentor a team of mathematicians and software engineers, and foster technical excellence, intellectual curiosity, and rigorous engineering practices.
Set and enforce standards for mathematical correctness, code quality, and verifiability of formalized proofs, and champion software development, version control with Git, and formal-methods best practices.

Desired Qualifications

Hands-on expertise with proof assistants, especially significant experience with LEAN 4 and/or Rocq; a portfolio of non-trivial formalization projects is a major plus.
A strong publication record in relevant fields such as formal methods, automated reasoning, artificial intelligence, or computational mathematics.
Experience leading or making significant contributions to major open-source formal-methods or AI projects.
Experience presenting at top-tier academic conferences.

Technical Lead - AI for Math

Skylabs AI · Islamabad, Pakistan · — · Posted 2026-02-09

Workplace: on_site

Description

About Us

At SkyLabs AI Inc., we are at the forefront of the artificial intelligence revolution. As a US-headquartered company, we conduct applied research on AI for intelligent reasoning. We specialize in complex neurosymbolic AI to solve intricate problems within software engineering. Our team is composed of world-class researchers and engineers dedicated to building the platforms and intelligent agents that will power the next generation of software. If you are passionate about building truly intelligent systems and want to make a lasting impact, join us.

About the Role

We are seeking an exceptional Technical Lead to define and execute the technical vision for a pioneering project at the confluence of pure mathematics, artificial intelligence, and formal verification. This role is a unique hybrid, blending state-of-the-art software engineering with cutting-edge academic research. You will not only architect and lead the development of our AI-powered platform for formalizing and proving mathematics in LEAN 4 and Rocq, but you will also act as a key bridge to the academic world. The ideal candidate is a hands-on expert passionate about building robust systems for machine-checked proofs and eager to collaborate with the global research community to advance the field.

Requirements

Key Responsibilities

Technical Vision & Architecture: Define and drive the technical strategy for formalizing mathematics at scale. Design robust, scalable software architecture for our data pipeline, AI models, and proof libraries.
Hands-On Development & Prototyping: Lead by example with hands-on contributions to the core codebase. Develop proofs-of-concept and tackle the most challenging technical problems in proof formalization and AI model implementation.
Academic Collaboration & Research: Establish and maintain active collaborations with leading researchers, university labs, and academic institutions. Co-author research papers for top-tier conferences and journals, and represent our work within the scientific community.
AI Strategy & Implementation: Direct the research, experimentation, and application of advanced AI models (e.g., Large Language Models) for the task of autoformalization—translating informal math into formal LEAN 4 code and/or Rocq.
Team Mentorship & Guidance: Mentor a talented team of mathematicians and software engineers. Foster a culture of technical excellence, intellectual curiosity, and rigorous engineering practices.
Code & Proof Quality: Set and enforce the highest standards for mathematical correctness, code quality, and the verifiability of formalized proofs. Champion best practices in software development, version control (Git), and formal methods.

Required Qualifications

Education: A PhD in Mathematics or Computer Science is strongly preferred. A Master's degree with an outstanding track record of relevant research and development will be considered.
Mathematical Depth: A sophisticated understanding of graduate-level mathematics across several domains
AI & NLP Proficiency: Proven experience applying AI/ML, particularly large language models (LLMs)
Software Engineering Excellence: Strong software development skills, with proficiency in languages like Python and a deep understanding of system design and architecture.
Research Acumen: Demonstrable ability to engage with and contribute to academic research, evidenced by publications, conference presentations, or significant contributions to academic research projects.

Preferred Qualifications

Expertise in Formal Methods: Deep, hands-on expertise with proof assistants. Significant experience with LEAN 4 and/or Rocq is highly desired. A portfolio of non-trivial formalization projects is a major plus.
A strong publication record in relevant fields (e.g., formal methods, automated reasoning, AI, computational mathematics).
Experience leading or making significant contributions to major open-source formal methods or AI projects.
Experience presenting at top-tier academic conferences.

Benefits

Salaries in USD (income tax exemptions)
Work in Pakistan Timezone
Comprehensive health allowance
Monthly team events and activities
Relocation allowance (if you're moving to Islamabad)
Opportunity to work with top minds in the industry and academia
Startup culture where ideas are heard at all levels
Adequate annual, sick, casual and parental leaves

Apply

Apply at Skylabs AI

About the Company

Skylabs AI

Applied AI research for intelligent software.

Skylabs AI is an applied research company focused on artificial intelligence for intelligent reasoning, working primarily with complex neurosymbolic AI to solve hard software engineering problems. Its products and platforms aim to support intelligent agents and next-generation software, combining symbolic reasoning with neural methods. The company operates in the US and Pakistan, offering generative AI research and engineering, product development, and software development through a hybrid office model. Its approach centers on conducting applied AI research to build practical intelligent systems and invite collaboration from others who want to tackle difficult technology challenges. Core differentiators include its emphasis on neurosymbolic AI for software engineering and its dual-country collaboration setup to attract diverse talent. The goal is to create platforms and intelligent agents that enable advanced software development and automated reasoning capabilities for complex tasks.

Company size: 11-50
Company stage: Not listed
Total funding: Not listed
Headquarters: Coral Gables, FL
Founded: 2024

Recently Posted Jobs

Explore more opportunities at Skylabs AI

See more jobs