Lead Fullstack Engineer at SkyLabs AI | Islamabad

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 …

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

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

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.

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

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.

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

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.

Job DescriptionJoin Translation Empire PK as a Computer Vision Engineer, where you will spearhead the development and implementation of innovative computer vision systems and models. Your role will involve tackling real-world challenges through projects focused on image recognition, object detection, and video analysis.Key Responsibilities: Design and develop advanced computer vision algorithms. Train models for object detection, segmentation, and classification. Utilize image and video datasets to enhance model performance. Optimize inference pipelines for real-time applications. Collaborate effectively with AI and software engineering teams to deliver high-quality solutions.

Role overview Securiti.ai, part of Veeam Software, is seeking a Backend Software Development Engineer based in Islamabad, Pakistan. The position centers on developing and enhancing software that supports data security and compliance for organizations around the world. What you will do Design and implement backend software solutions Collaborate with team members to tackle complex technical challenges Contribute both ideas and code to projects that help organizations safeguard and manage their data Who we’re looking for Developers who value teamwork and collaboration Engineers motivated by challenging projects and ongoing learning Individuals committed to building secure and reliable systems

Join our innovative team at Seekatechnology as a Backend AI & Data Pipeline Engineer. In this role, you will be responsible for designing and implementing robust data pipelines that facilitate the integration of AI technologies into our systems. Your expertise will play a crucial role in optimizing data flow and ensuring seamless data processing.