Technical Lead - AI for Mathematics

About UsSkyLabs AI Inc. is a pioneering force in the artificial intelligence domain, based in the United States. We focus on applied AI research that enhances intelligent reasoning capabilities. Our expertise lies in the realm of complex neurosymbolic AI, addressing sophisticated challenges in software engineering. Our talented team comprises elite researche…

About UsSkyLabs AI Inc. is pioneering the future of artificial intelligence, based in the United States. We are dedicated to conducting cutting-edge research in AI for intelligent reasoning, focusing on complex neurosymbolic AI to tackle challenging issues in software engineering. Our team comprises exceptional researchers and engineers who are committed to developing the platforms and intelligent agents that will drive the next wave of software innovation. If you are enthusiastic about creating genuinely intelligent systems and aspire to make a significant impact, we invite you to join our team.The RoleWe are on the lookout for a talented Lead Fullstack Engineer to spearhead the technical vision and development of our user-facing products, particularly our core IDE plugin. This position merges high-level frontend architecture, AI-driven UX design, and extensive collaboration with our AI and C++ tooling teams.As a Lead Fullstack Engineer, you will take charge of designing a robust, cross-IDE frontend that enables developers to engage seamlessly with our AI agents. Your responsibilities will include crafting user interfaces for real-time agent insights, visualizing intricate code alterations, and facilitating interactions with debuggers and profilers. The ideal candidate will have a wealth of experience in frontend leadership, a track record of delivering production software, and a solid understanding of C++ development, with a passion for innovating AI-enhanced developer tools.

About UsSkyLabs AI Inc. is pioneering the artificial intelligence landscape, engaging in cutting-edge research aimed at intelligent reasoning. Based in the United States, we focus on advanced neurosymbolic AI to tackle complex challenges in software engineering. Our team comprises elite researchers and engineers committed to developing the next-gen platforms and intelligent agents that will redefine the software industry. If you are eager to innovate and contribute to the creation of truly intelligent systems, we invite you to be part of our journey.Key ResponsibilitiesTechnical Recruitment: Collaborate with hiring managers to attract and secure top-tier talent across various teams — this constitutes 80% of the role.Employee Lifecycle Management: Oversee the entire employee experience from onboarding to offboarding.HR Strategy Implementation: Design and enforce HR policies and procedures that align with our organizational goals.Operational Coordination: Manage communications with administrative staff, partners, and collaborators, while ensuring smooth office logistics.Performance Management: Assist management during employee performance reviews.QualificationsProven experience in sourcing high-caliber tech talent.A versatile team player who embraces diverse responsibilities.Experience in startups or rapidly growing companies within the HR domain.A minimum of 4 years of relevant experience is essential for success in this role.Exceptional communication and interpersonal skills.Adept at working both independently and collaboratively.Familiarity with ATS tools such as Workable, LinkedIn, Google Sheets, and data analysis.Proficient in leveraging AI tools like Gemini and ChatGPT to boost productivity and skills.

About UsSkyLabs AI Inc. is leading the charge in the artificial intelligence sector as a US-based organization dedicated to revolutionary advancements in intelligent reasoning. Our expertise lies in neurosymbolic AI, tackling challenging issues in software engineering. Our talented team, comprising top-tier researchers and engineers, is committed to developing the platforms and intelligent agents that will shape the future of software. If you have a passion for creating genuinely intelligent systems and wish to leave a significant mark in the field, we would love to have you on board.The RoleWe invite you to become a pivotal part of our team as a Senior Agentic AI Engineer. This role transcends typical AI responsibilities; you will architect, construct, and deploy intricate autonomous AI agents capable of reasoning and functioning effectively within the C++ software engineering lifecycle.Your mission includes developing agents that can interact programmatically with compilers (LLVM), debuggers (GDB/LLDB), build systems (CMake/Bazel), and static analysis tools, enabling them to understand, modify, and construct complex C++ codebases. The perfect candidate will be an expert programmer with extensive practical knowledge in both agentic AI and the C++ development ecosystem.

About UsSkyLabs AI Inc. is pioneering advancements in the artificial intelligence sector. As a leading US-based company, we focus on practical AI research dedicated to intelligent reasoning. Our expertise lies in the realm of complex neurosymbolic AI, tackling sophisticated challenges in software engineering. Our team comprises exceptional researchers and engineers committed to developing the platforms and intelligent agents that will shape the future of software. If you are eager to create genuinely intelligent systems and aspire to make a significant impact, we invite you to join our team.About the InternshipEmbark on a transformative AI engineering internship that offers hands-on experience with the cutting-edge LLM stack. You will engage in the design and development of AI Agents, delve into Formal Verification of Software, and contribute to the construction of data pipelines. Additionally, you will assist with data curation, dataset creation and distillation, and take part in the training and enhancement of large language models through various workflows such as continuous pre-training, supervised fine-tuning (SFT), and reinforcement learning (RL). In this role, you will become proficient in software verification using formal methods in Rocq while enhancing quality practices through property-based testing techniques. This position is perfect for those who thrive on building real systems, learning rapidly, and operating at the intersection of research and engineering.Duration: 3 months (June 2026 through August 2026) On-site - Full-time

About UsSkyLabs AI Inc. is a pioneering force in the artificial intelligence sector, based in the United States. Our mission revolves around advancing AI for intelligent reasoning, with a specialization in complex neurosymbolic AI to tackle sophisticated software engineering challenges. Our elite team comprises top-tier researchers and engineers who are committed to developing the platforms and intelligent agents that will revolutionize future software solutions. If you're driven by the prospect of creating truly intelligent systems and making a significant impact, we invite you to be a part of our journey.The RoleWe are in search of an outstanding Senior AI Research Engineer dedicated to training and enhancing Large Language Models (LLMs) throughout their entire lifecycle. This includes Domain-Adaptive Pretraining, Supervised Fine-Tuning (SFT), Reinforcement Learning (RL/RLVR), and sophisticated post-training techniques such as reward modeling, preference optimization, and RL-VR workflows. In this role, you will spearhead hands-on training initiatives, provide direction for research, and construct robust data, training, evaluation, and deployment pipelines.You should possess a profound understanding of LLM internals—covering aspects like attention/MLP dynamics, normalization, optimization behavior, and scaling laws—along with familiarity with cutting-edge architectures such as Mixture of Experts (MoE) and other innovative design choices. Collaborating closely with product and platform teams, you will translate research insights into high-performance systems.

Join Our TeamAt SkyLabs AI Inc., we are pioneering the next wave of advancements in artificial intelligence. Headquartered in the US, our focus lies in applied AI research aimed at intelligent reasoning. Our expertise in neurosymbolic AI allows us to tackle some of the most challenging issues in software engineering. We are a diverse team of leading researchers and engineers committed to developing the platforms and intelligent agents that will define the future of software. If you are enthusiastic about constructing innovative intelligent systems and aspire to leave a significant mark in the industry, we invite you to be part of our mission.Your RoleWe are on the lookout for a talented Senior DevOps Engineer to become an integral part of our forward-thinking team, driving transformation within the AI sector. In this pivotal position, you will optimize our development and operational workflows, ensuring seamless and efficient application performance. This role suits those who excel in dynamic environments and are driven to harness technology to boost productivity. Working alongside our development and IT teams, you will establish reliable deployment pipelines, automate repetitive tasks, and enhance system performance. Your skills will be crucial in fostering team collaboration, facilitating continuous integration and continuous delivery (CI/CD), and elevating application dependability. At SkyLabs AI, we value a culture of relentless innovation and improvement, and we are excited to welcome a DevOps expert who shares our aspirations. Your work will directly influence our capacity to deliver state-of-the-art AI solutions to our clients while upholding exceptional standards of quality and efficiency. If you are ready to embrace new challenges and make a profound impact in the realm of AI and technology, we encourage you to apply.Key ResponsibilitiesDesign and implement scalable CI/CD pipelines to enhance software delivery.Monitor and improve system performance, ensuring optimal application availability and reliability.Partner with development teams to integrate automated testing and deployment methodologies.Oversee cloud infrastructure and services, ensuring efficient and cost-effective resource allocation.Apply security best practices throughout the DevOps lifecycle and infrastructure as code.Diagnose and resolve complex infrastructure challenges to minimize downtime and sustain service quality.Provide guidance and support to development teams on best practices for CI/CD and infrastructure management.

About UsSkyLabs AI Inc. is pioneering advancements in the artificial intelligence landscape. Headquartered in the United States, our mission revolves around applied research in AI, focusing on intelligent reasoning and neurosymbolic AI to tackle complex challenges in software engineering. Our extraordinary team comprises elite researchers and engineers, dedicated to creating cutting-edge platforms and intelligent agents that will define the future of software. If you possess a passion for developing genuinely intelligent systems and aspire to create a meaningful impact, we invite you to join our journey.The RoleWe are on the lookout for a talented Senior Backend Engineer to spearhead the design and execution of our cloud-native infrastructure. This pivotal role will be key in establishing a scalable, resilient, and secure microservices platform on which our AI agents and developer tools will operate.Your responsibilities will encompass the entire spectrum, from API gateways and database architecture to Kubernetes-based remote execution environments. You will architect asynchronous systems for managing extended agentic tasks and create high-throughput pipelines for LLM inference and telemetry. The ideal candidate is a backend virtuoso, experienced in constructing and scaling complex, AI-driven systems in production.

About UsSkyLabs AI Inc. is a pioneering force in the artificial intelligence sector, headquartered in the United States. We are dedicated to conducting cutting-edge research in AI, focusing on intelligent reasoning and sophisticated neurosymbolic AI techniques to tackle complex challenges in software engineering. Our exceptional team comprises renowned researchers and engineers committed to developing the next generation of platforms and intelligent agents. If you are enthusiastic about creating truly intelligent systems and wish to make a meaningful contribution, we invite you to explore opportunities with us.The RoleWe are on the lookout for a talented Senior Python Engineer who will be responsible for managing and enhancing the Python infrastructure that underpins our agent runtimes and evaluation pipelines. This crucial position involves designing scalable systems, bridging various protocol boundaries, and setting high engineering standards.

About UsJoin us at SkyLabs AI Inc., an innovative leader in the artificial intelligence landscape. Based in the United States, we specialize in applied AI research, focusing on advanced neurosymbolic techniques to tackle complex challenges in software engineering and mathematical reasoning. Our exceptional team of researchers and engineers is committed to creating the intelligent platforms and agents that will shape the future of software. If you are driven by the desire to develop groundbreaking intelligent systems that make a significant impact, we invite you to be part of our mission.The RoleAs a Senior C++ Systems Engineer, you will play a critical role in developing the runtime infrastructure and contract enforcement mechanisms that are essential to our verification system. You will engage with modern C++ features, compiler technologies, and formal methods, translating mathematical specifications into executable runtime checks. This is a unique opportunity to contribute to pioneering compiler technology and the evolution of software verification.Key ResponsibilitiesDesign, develop, and sustain high-performance C++ systems code for our verification infrastructure.Implement compiler integrations and code generation pipelines utilizing Clang/LLVM.Create reusable libraries, APIs, and toolchain components for developer use.Integrate third-party frameworks and develop build automation systems.Write thorough tests and establish quality assurance processes to ensure system reliability.Optimize code for efficiency, reliability, and maintainability.Collaborate with cross-functional teams including researchers and engineers to drive innovation.Engage in code reviews, architectural discussions, and technical design processes.Document technical decisions, APIs, and system architectures comprehensively.Stay updated with advancements in C++ evolution and formal methods.

Position: Practice Lead – Data Science at TeknosysLevel: L3Location: IslamabadApplication Deadline: 16th April 2026Role Overview:The Practice Lead is an executive-level position charged with the responsibility of developing, enhancing, and institutionalizing the organization’s capabilities in AI and Data Science. This role demands a unique combination of strategic foresight, inspirational leadership, operational excellence, and governance to position Data Science and AI as pivotal business enablers.The incumbent will be tasked with articulating a visionary long-term strategy for AI and translating this vision into a tangible and actionable roadmap, ensuring it aligns with the organization’s strategic priorities and yields measurable business outcomes. This role emphasizes the establishment of a dynamic practice that harmonizes innovation with dependability, facilitating both swift experimentation and reliable production deployments.A vital aspect of this position involves people management. The Practice Lead will be responsible for assembling and cultivating a diverse and high-performing team of data scientists, ML engineers, and AI specialists, which includes recruitment, mentorship, and talent development. The role necessitates the promotion of a culture characterized by collaboration, accountability, continuous learning, and ethical AI practices, while also defining clear career pathways, competency frameworks, and performance benchmarks.Additionally, the Practice Lead will implement and uphold industry best practices throughout the AI/ML lifecycle, guaranteeing consistency, scalability, and governance. This encompasses standardizing protocols for data management, model development, validation, deployment, and monitoring, as well as advocating for the adoption of MLOps methodologies including CI/CD for machine learning, automated testing, and model lifecycle management. Ensuring model interpretability, fairness, security, and compliance remains a core responsibility. Acting as a liaison between business and technology, the Practice Lead ensures that AI initiatives are problem-oriented, ROI-driven, and scalable, seamlessly integrating into the organization’s systems.

Join our dynamic team at Translation Empire as a Technical Writer, where your expertise will play a crucial role in producing high-quality documentation that enhances the usability and success of our software products. Collaborate with a talented group of tech writers, developers, quality engineers, product managers, and usability experts to create user-friendly materials that will aid users in navigating our applications effectively.Key Responsibilities:Engage with internal stakeholders to gain comprehensive knowledge of our products and their documentation needs.Deliver high-quality documentation that adheres to relevant standards and is tailored to its audience.Create clear and concise user interface text, online help resources, and developer guides.Develop tutorials to assist end-users in utilizing various applications.Evaluate existing and potential content, with a focus on reuse and single-sourcing opportunities.Establish and maintain a robust information architecture.

As a Senior Technical Content Engineer (TCE) at Educative, you will play a crucial role in demystifying complex technical concepts for our learners. Your expertise will help create compelling and interactive course content that engages and educates.Key Responsibilities:Course Development:• Conduct thorough research and design interactive, text-based courses complete with practical programming assignments and projects tailored for engineering learners.• Review and provide constructive feedback on courses developed by peers, ensuring they meet Educative’s high standards for editorial and technical excellence, while effectively utilizing platform features to enhance learner engagement.• Stay abreast of the latest technical advancements to shape course strategy and ensure our offerings meet the evolving needs of our learners.Platform Expertise:• Cultivate a deep understanding of Educative’s platform capabilities to efficiently create courses and assist both internal and external authors in maximizing platform features.• Propose product features and improvements, guiding them through the phases of prioritization, design, and implementation.Team Development:• Engage in team-building initiatives including recruiting, mentoring new hires, and leading training sessions.

Job Description Join Translation Empire PK as a Senior AI Engineer / AI Solutions Architect and take the lead in developing cutting-edge AI systems designed for scalability and high performance. This vital role calls for exceptional leadership and technical prowess in deploying enterprise-level AI models.Key Responsibilities: Architect and oversee the design, development, and integration of AI projects. Establish technical strategies that align seamlessly with our business objectives. Review and enhance the performance of implemented ML models. Guide and mentor junior engineers and researchers to foster their growth. Assess and incorporate innovative AI technologies into our existing frameworks.

Join Our Team as an AI Product Manager! Translation Empire PK is on the lookout for a dynamic AI Product Manager to spearhead the planning, development, and rollout of innovative AI-driven products and features. In this pivotal role, you will serve as the interface between our technical teams and business stakeholders, ensuring our AI solutions deliver real, measurable value.Key Responsibilities: Articulate the product vision and strategy for AI initiatives. Partner with AI engineers and data scientists to influence the development process. Oversee product roadmaps and prioritize tasks effectively. Collect requirements and translate them into actionable specifications. Evaluate product performance and guide iterations based on user feedback.

Role OverviewTranslation Empire PK is in search of a passionate Technical Recruiter Intern to join our dynamic talent acquisition team. In this pivotal role, you will play an essential part in sourcing, evaluating, and engaging elite technical candidates, ensuring they resonate with our company’s vision and culture. This position is perfect for proactive individuals who are enthusiastic about learning and have a keen interest in the field of technical recruitment.Key Responsibilities: Support the complete recruitment lifecycle for technical positions, including sourcing, screening, and arranging interviews. Collaborate closely with hiring managers to comprehend team needs, technical specifications, and cultural fit. Conduct preliminary assessments to evaluate candidates’ technical competencies and experience. Utilize recruitment platforms such as Workable ATS, LinkedIn, and other professional networks to discover potential talent. Assist in developing and sustaining talent pipelines for crucial technical roles. Contribute to enhancing recruitment processes for improved candidate experiences and efficiency. Stay informed on recruitment trends and advancements in the technical industry to attract top talent.

Job OverviewJoin Translation Empire PK as a Junior Technical Recruiter, where you'll play a crucial role in our talent acquisition efforts. You will oversee the complete recruitment process for technical positions, identifying and securing exceptional candidates who align with our mission and culture. This role requires a proactive mindset, exceptional interpersonal skills, and a solid grasp of technical domains.Key Responsibilities:Oversee the entire recruitment lifecycle for technical roles, including sourcing, screening, interviewing, and onboarding candidates.Collaborate with hiring managers to comprehend their team's needs, technical requirements, and cultural fit.Serve as a trusted advisor to hiring managers by providing market insights, salary benchmarks, and strategic hiring recommendations.Work alongside HR and hiring managers to enhance recruitment processes and ensure a high-quality, inclusive candidate experience.Conduct thorough interviews to evaluate candidates’ technical skills, experiences, and cultural alignment.Lead and mentor junior recruiters, sharing best practices to foster their professional development.Utilize platforms like Workable ATS, LinkedIn, and professional networks to source top candidates.Establish and maintain strong talent pipelines for critical technical roles to meet future demands.Stay informed about recruitment trends, salary benchmarks, and the tech industry to attract and secure top talent.

Job OverviewJoin Translation Empire PK as a Junior AI Engineer and play a pivotal role in advancing our AI-driven applications. We are looking for a proactive individual who possesses a foundational understanding of artificial intelligence and machine learning, eager to make a tangible impact in innovative projects.Key Responsibilities: Contribute to the design, testing, and deployment of robust AI/ML models. Engage in data preprocessing and conduct exploratory data analysis. Assist colleagues in evaluating and fine-tuning models. Work collaboratively with cross-functional teams to integrate AI functionalities. Maintain comprehensive documentation for code, processes, and experimental results.

Marcus Evans, established in 1983, is a premier global business intelligence and event marketing firm, boasting 49 offices across more than 20 countries.Operating across various industry sectors, our Summits division stands as the market leader worldwide, hosting over 120 summits in prestigious locations including Australia, Japan, Singapore, Switzerland, France, England, and the United States.We seek motivated, dynamic, and passionate individuals to join our Summits division as Lead Generation Executives. Ideal candidates will possess exceptional research and writing skills and will be committed to contributing to a successful and expanding team.This position is based in our Islamabad office and is an in-person role.

Job OverviewJoin Translation Empire PK as an innovative AI Engineer, where you will play a pivotal role in designing and implementing cutting-edge machine learning models that propel our business forward. The ideal candidate will be tasked with developing, deploying, and monitoring AI systems across a range of exciting projects.Key Responsibilities: Design and develop robust machine learning models tailored for our business needs. Deploy AI solutions into production environments ensuring scalability and efficiency. Conduct thorough data analysis and optimize models for enhanced performance. Collaborate closely with engineering and product teams to align AI initiatives with business goals. Continuously monitor and maintain model performance, updating systems based on new data insights.