Senior DevOps Engineer at SkyLabs AI | Islamabad

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 research…

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

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

Join our innovative team as a Senior Software Engineer specializing in Artificial Intelligence and Machine Learning. In this pivotal role, you will be responsible for designing, developing, and scaling intelligent systems, including sophisticated machine learning pipelines and advanced AI agents that excel in reasoning, planning, and automation.Your expertise will drive the creation of production-grade AI models, seamless integration of large language models (LLMs), and the design of agent architectures that effectively interact with APIs, databases, and complex workflows. This position uniquely combines applied machine learning proficiency with robust backend engineering skills and a focus on product-oriented problem-solving.Key Responsibilities:Architect and develop autonomous or semi-autonomous AI agents capable of planning, reasoning, and interfacing with various tools, APIs, or external systems.Implement agent frameworks such as LangChain, LlamaIndex, CrewAI, or develop custom orchestration systems.Utilize existing industry capabilities to enhance virtual assistant functionalities, including voice interactions.Refine reasoning and retrieval pipelines employing embeddings, vector databases, and prompt engineering techniques.Design, train, and optimize machine learning models utilizing frameworks like PyTorch, TensorFlow, or scikit-learn.Handle data preprocessing, feature engineering, and model evaluation for NLP, computer vision, or predictive analytics.Construct ML pipelines for training, deployment, and monitoring in production settings.Collaborate with engineering teams to integrate AI components into backend systems and APIs.Maintain scalable, manageable codebases with CI/CD practices, observability, and cloud-native architecture (AWS/GCP/Azure).Participate in technical architecture and design reviews for AI-driven features and platforms.Keep abreast of developments in LLMs, agent frameworks, and model architectures.Prototype and assess innovative approaches for reasoning, tool utilization, and adaptive behavior in AI agents.Share insights and mentor colleagues on best practices in machine learning and AI development.

PackageX builds the execution layer for physical AI in enterprise logistics. The company’s mission is to give organizations real-time visibility, understanding, and control over logistics operations using advanced Vision–Language–Action intelligence. Rather than replacing existing systems, PackageX connects ERPs, WMS, and TMS platforms to the physical world, turning cameras, staff, and automation into auditable workflows. This workflow-driven approach begins with inbound receiving and extends to related processes, helping enterprises scale across complex operations. Headquartered in New York City, PackageX is a pre-Series A startup with a global team and backing from investors such as Bullpen Capital, Pritzker Group, Sierra Ventures, Ludlow Ventures, MXV Capital, and NSV Wolf Capital. Role overview The Senior Data Scientist in Islamabad will move beyond standard modeling to uncover insights, connect data points, and surface intelligence that shapes business decisions. This position suits someone who questions assumptions, recognizes patterns early, and translates raw data into clear narratives for leaders, product teams, and operations. The role calls for more than dashboard building, expect to act as a strategic intelligence partner, using rigorous data science, creative analysis, and strong communication to help guide business direction. What you will do Data insights and business intelligence Analyze large, complex datasets to identify hidden patterns, fee anomalies, and cross-domain correlations that impact business outcomes. Proactively deliver insights to leadership, operations, and partner teams, often anticipating questions before they arise. Build user-friendly analytics tools and dashboards using Tableau, Power BI, Matplotlib, or Seaborn to turn complex data into actionable intelligence. Present findings in a clear, accessible way for both technical and non-technical audiences. Machine learning and predictive modeling Design, train, and deploy scalable machine learning and deep learning models for NLP and predictive analytics. Develop frameworks and services for machine learning systems, focusing on reproducibility, performance, and readiness for production. Apply advanced modeling techniques to address logistics and operational challenges across the PackageX platform. Data engineering and infrastructure Design and manage ETL pipelines and data warehousing solutions, ensuring data integrity and accessibility throughout the organization.

Join Devsinc, a leader in innovative software solutions, as a passionate Associate Software Engineer - Backend Developer (Node.js & DevOps). In this dynamic role, you will be tasked with developing and maintaining backend services using Node.js, while closely collaborating with our DevOps team to enhance development and deployment workflows.Key Responsibilities: Design, develop, and maintain robust backend services with Node.js. Collaborate with cross-functional teams to define and implement a microservices architecture. Work on infrastructure automation and CI/CD pipelines utilizing various DevOps tools. Optimize server-side logic to ensure high performance and responsiveness of applications. Monitor, troubleshoot, and resolve backend service performance issues. Participate in code reviews and contribute to team quality improvements. Stay informed on industry trends and new technologies to enhance backend capabilities and DevOps practices.

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.

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.

Role overview Securiti.ai, part of Veeam Software, is seeking a Customer Engineer based in Islamabad, Pakistan. The position combines technical problem-solving with regular customer interaction. Success in this role depends on understanding client needs and delivering solutions that address those requirements. What you will do Engage directly with customers to identify and understand their technical challenges Develop and present solutions tailored to each client’s situation Work with internal teams to support successful delivery of solutions Who should apply People with a strong interest in technology Those who enjoy assisting customers and tackling problems

Job OverviewJoin Translation Empire PK as an NLP Engineer, where you'll have the opportunity to create advanced language models and intelligent systems that can comprehend and generate human language. Your primary focus will be on innovative tasks such as text classification, sentiment analysis, and developing question-answering systems.Key Responsibilities: Design, develop, and optimize NLP models utilizing transformers. Conduct text preprocessing, feature extraction, and execute sentiment analysis. Build and implement chatbots and information retrieval systems. Keep abreast of the latest advancements in NLP research. Collaborate with cross-functional teams to enhance language-based AI features.