Technical Lead - AI for Math
Location: Islamabad, Islamabad Capital Territory, Pakistan
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
There are more than 50,000 engineering jobs:
Subscribe to membership and unlock all jobs
Engineering Jobs
60,000+ jobs from 4,500+ well-funded companies
Updated Daily
New jobs are added every day as companies post them
Refined Search
Use filters like skill, location, etc to narrow results
Become a member
🥳🥳🥳 452 happy customers and counting...
Overall, over 80% of customers chose to renew their subscriptions after the initial sign-up.
To try it out
For active job seekers
For those who are passive looking
Cancel anytime
Frequently Asked Questions
- We prioritize job seekers as our customers, unlike bigger job sites, by charging a small fee to provide them with curated access to the best companies and up-to-date jobs. This focus allows us to deliver a more personalized and effective job search experience.
- We've got over 200,000 jobs from 15,000+ vetted companies. No fake or sleazy jobs here!
- We aggregate jobs from 15,000+ companies' career pages, so you can be sure that you're getting the most up-to-date and relevant jobs.
- We're the only job board *for* software engineers, *by* software engineers… in case you needed a reminder! We add thousands of new jobs daily and offer powerful search filters just for you. 🛠️
- Every single hour! We add 2,000-3,000 new jobs daily, so you'll always have fresh opportunities. 🚀
- Typically, job searches take 3-6 months. EchoJobs helps you spend more time applying and less time hunting. 🎯
- Check daily! We're always updating with new jobs. Set up job alerts for even quicker access. 📅
What Fellow Engineers Say