Human Resources Lead at SkyLabs AI | Islamabad, Pakistan

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…

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.

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 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 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 researchers and engineers committed to developing platforms and intelligent agents that will define the software landscape of tomorrow. If you are driven by the ambition to create truly intelligent systems and leave a meaningful mark in the tech world, we invite you to join our innovative team.About the RoleWe are on the lookout for an outstanding Technical Lead to shape and implement the technical vision for a groundbreaking initiative that merges pure mathematics, artificial intelligence, and formal verification. This role uniquely combines advanced software engineering with cutting-edge academic research. You will architect and spearhead the development of our AI-driven platform for formalizing and proving mathematics using LEAN 4 and Rocq, while also serving as a vital link to the academic community. The ideal candidate will be a hands-on expert, passionate about constructing robust systems for machine-checked proofs and excited to collaborate with the global research community to propel this field forward.Key ResponsibilitiesTechnical Vision & Architecture: Define and execute the technical strategy for large-scale mathematics formalization. Design resilient and scalable software architecture for our data pipelines, AI models, and proof libraries.Hands-On Development & Prototyping: Lead by example with direct contributions to the core codebase. Create proofs-of-concept and address the most complex technical challenges in proof formalization and AI model implementation.Academic Collaboration & Research: Forge and maintain partnerships with prominent researchers, university labs, and academic institutions. Co-author research papers for prestigious conferences and journals, and advocate for our contributions within the scientific sphere.AI Strategy & Implementation: Oversee the research, experimentation, and application of advanced AI models (e.g., Large Language Models) for the task of autoformalization—transforming informal mathematics into formal LEAN 4 code and/or Rocq.Team Mentorship & Guidance: Mentor a skilled team of mathematicians and software engineers. Cultivate a culture of technical excellence, intellectual curiosity, and stringent engineering practices.Code & Proof Quality: Establish and uphold the highest standards for mathematical accuracy, code integrity, and the verifiability of formalized proofs. Advocate for best practices in software development, version control (Git), and formal methods.

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.

Our Mission and OpportunityAt Brightwheel, we believe that early education is pivotal for positive childhood outcomes, serving as a vital resource for working families and representing a $175 billion market that has yet to fully embrace modern technology. Brightwheel stands as the leading platform in early education, cherished by millions of educators and families each day. We are proud to be a three-time Cloud 100 company, supported by top-tier investors including Addition, Bessemer, Emerson Collective, Lowercase Capital, Notable Capital, and Mark Cuban.About Our TeamOur team is composed of passionate, talented individuals who prioritize customer satisfaction. We live by our Leadership Principles in our daily work and corporate culture. Operating as a distributed team, we have remote employees across all U.S. time zones, as well as select offices in the U.S. and internationally.Your ProfileBrightwheel is on the lookout for energetic go-getters eager to meet ambitious sales targets. You are disciplined, tenacious, and ready to make over 100 cold calls daily to early education centers, infusing energy and positivity into each interaction. Whether you have experience in a commission-based role or are looking to kickstart your sales career, your adaptability to change and enthusiasm for joining a fast-growing team is essential.Your ResponsibilitiesMake 100+ cold calls each dayUtilize discovery questions, active listening, and knowledge of competitors to identify prospects' challenges and demonstrate how Brightwheel can provide solutionsArrange product demonstrations to be conducted by an Account Executive with potential clientsEnsure prospects confirm their attendance for scheduled demonstrations, managing reschedules as necessaryMaintain an organized and accurate sales pipeline while regularly reviewing key metricsWork closely with your manager to identify improvements in your sales process; be receptive to coaching and feedbackContribute to a positive and high-achieving team culture

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 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.

Our Mission and OpportunityAt brightwheel, we believe that early education is pivotal in shaping the future of children and supporting working families. With a vast $175 billion market still in need of modern technological solutions, brightwheel stands out as the largest and fastest-growing platform in early education, earning the trust of millions of educators and families daily. Recognized as a three-time Cloud 100 company, we are backed by esteemed investors, including Addition, Bessemer, Emerson Collective, Lowercase Capital, Notable Capital, and Mark Cuban.Our TeamOur team is comprised of passionate, talented individuals who prioritize customer satisfaction. We live our Leadership Principles in every aspect of our work and culture. Our distributed workforce spans across all US time zones, complemented by select offices both domestically and internationally.Who You AreAs a driven sales leader, you excel at nurturing high-performing teams. You're committed to ambitious goals and take accountability for achieving remarkable outcomes. With a growth mindset, you constantly seek improvement through coaching, process enhancements, and innovative strategies. You take full ownership of projects, ensuring successful execution from start to finish, and are energized by the prospect of establishing our new Sales Development team in Pakistan.What You’ll DoLead, coach, and develop a high-performing team of 8–10 Sales Development Representatives (SDRs), fostering a culture of accountability and collaboration.Facilitate hiring processes and growth within the SDR organization, focusing on attracting and retaining top talent.Take ownership of significant objectives aimed at generating new business opportunities.Utilize analytical tools and dashboards to monitor performance, identify areas for improvement, and drive enhancements at both the team and individual levels.Introduce daily routines and process optimizations to boost SDR productivity and conversion rates.Collaborate effectively with Account Executives and cross-functional teams to ensure seamless customer transitions and exceptional experiences.Assist SDRs in skill development for their long-term career progression.

Role overview Securiti.ai, a part of Veeam Software, seeks a Lead Backend Developer to join the team in Islamabad. This position plays a central role in shaping backend architecture and setting technical direction for both new and existing systems. What you will do Design and build scalable backend systems that support business needs Maintain strong backend performance and ensure responsive interactions with frontend applications Collaborate with teams from different functions to define and deliver new features Establish and promote development best practices and effective processes Mentor junior developers and foster a culture that values quality and ongoing improvement Location This role is based in Islamabad, Pakistan.

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.

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.

Who We Are:Motive is dedicated to empowering those who manage physical operations, providing innovative tools that enhance safety, productivity, and profitability. For the first time, safety, operations, and finance teams can seamlessly oversee their drivers, vehicles, equipment, and fleet expenses within a single, integrated system. Our industry-leading AI technology offers complete visibility and control, significantly minimizing manual workloads through automation and simplification of tasks.With nearly 100,000 customers across diverse sectors, including transportation, logistics, construction, energy, field service, manufacturing, agriculture, food and beverage, retail, and the public sector, we are transforming the industry. Learn more about us at gomotive.com.Job Description:About the Role:As an Associate Manager, you will play a pivotal role in fostering the growth and development of team members to align with organizational objectives. Your primary responsibility will be to motivate and support line management (pod leadership) while leading a team of over 100 employees. You will strategically enhance their performance by managing multiple programs concurrently.Your responsibilities will encompass overseeing performance metrics, facilitating growth, and improving efficiency for line managers. You will create strategies for performance management, including developing Key Performance Indicators (KPIs) for all roles, recognizing high and low performers, and implementing Performance Improvement Plans for those needing support to meet established standards.Collaborating with various department directors, internal managers, and other stakeholders will be crucial in this role as you work towards unlocking the full potential of your team and driving collective success.

Join Our Team!Devsinc is on the lookout for a talented Senior AI/Machine Learning Engineer who possesses a robust expertise in Python, machine learning, and deep learning frameworks. Our ideal candidate will thrive in cloud environments such as AWS, Azure, GCP, and Databricks, showcasing the capability to innovate and design cutting-edge AI solutions. Candidates should be proficient in Python, Spark, and relevant AI libraries, while demonstrating a strong sense of personal accountability.Key Responsibilities:Develop and manage scalable, secure AI and machine learning applications using Python, machine learning frameworks (TensorFlow, PyTorch), and cloud services.Design and implement machine learning models and algorithms to enhance various AI-driven client applications, focusing on user interface interactions and AI features.Integrate third-party AI/ML APIs and services into existing web applications.Foster a data-driven culture and consistently deliver valuable AI enhancements.Deep understanding of LLMs (open source) focusing on NLP use cases such as writing assistance, summarization, and concept extraction.Lead and engage in NLP and computer vision model development, providing constructive feedback to encourage a culture of continuous improvement among team members.

Job Description Join Translation Empire PK, a leading company in the translation and localization industry, as an AI Software Developer. In this pivotal role, you will be responsible for integrating advanced AI algorithms and tools into production-ready software applications. Your work will play a crucial role in bridging the gap between cutting-edge research and scalable deployment.Key Responsibilities:Design and develop innovative software products that seamlessly incorporate AI components.Ensure the reliability, scalability, and maintainability of AI solutions.Write clean, efficient, and testable code while adhering to best practices.Collaborate effectively with AI researchers and engineering teams.Implement robust APIs and back-end services to enhance AI functionality.

Join Veeam, the Data and AI Trust Company, where we empower organizations to fully understand, secure, and enhance the resilience of their data and AI. As a leader in data resilience and security posture management, Veeam is at the forefront of integrating identity, data, security, and AI risk. Headquartered in Seattle and with a presence in over 30 countries, we proudly safeguard the operations of more than 550,000 clients globally. Be a part of our mission to grow, learn, and make a significant impact for some of the world’s most renowned brands.About the RoleWe are on the lookout for a Software Development Engineer in Test (SDET) to join our Securiti Sciences team. In this pivotal role, you will not only contribute to quality assurance but also drive quality initiatives from inception to deployment. Your expertise in system architecture and data flow will empower you to make informed automation decisions (API vs. UI), diagnose issues at scale, and advocate for quality enhancements throughout the Software Development Life Cycle (SDLC). If you aspire to be a technical consultant and a champion of quality rather than merely a developer or bug finder, we would love to hear from you!

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.

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.