AI Engineering Intern (Generative AI, Agents & Formal Verification) - Paid

SkyLabs AI Inc.Islamabad, Islamabad Capital Territory, Pakistan

On-site Internship $100/mo - $100/mo

Clicking Apply Now takes you to AutoApply where you can tailor your resume and apply.

Experience Level

Entry Level

Qualifications

Ideal Candidates Will Possess:High aptitude and exceptional problem-solving abilitiesCompleted courses in programming, AI (with a focus on Generative AI), and mathematicsProficient in Python for data manipulation, scripting, and prototype developmentExperience with AI Coding IDEs/CLIsPreferred:Currently in your final year of study or a recent graduate

About the job

About Us

SkyLabs 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 Internship

Embark 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 SkyLabs AI Inc.

SkyLabs AI Inc. is at the cutting edge of artificial intelligence innovation, focusing on applied research that enhances intelligent reasoning. We specialize in solving complex problems through neurosymbolic AI, supported by a team of leading experts in the field.

Similar jobs

Browse all companies, explore by city & role, or SEO search pages. View directory listings: all jobs, search results, location & role pages.

1 - 20 of 381 Jobs

Search for AI Engineer

381 results

Select all on this page (20)

Apply

Senior Agentic AI Engineer

SkyLabs AI Inc.

Full-time|On-site|Islamabad, Islamabad Capital Territory, Pakistan

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

Jan 1, 2026

Apply

Senior AI Research Engineer

SkyLabs AI Inc.

Full-time|On-site|Islamabad, Islamabad Capital Territory, Pakistan

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.

Feb 12, 2026

Apply

AI Engineering Intern (Generative AI, Agents & Formal Verification) - Paid

SkyLabs AI Inc.

Internship|$100/mo - $100/mo|On-site|Islamabad, Islamabad Capital Territory, Pakistan

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

Feb 11, 2026

Apply

Lead Fullstack Engineer at SkyLabs AI | Islamabad

SkyLabs AI Inc.

Full-time|On-site|Islamabad, Islamabad Capital Territory, Pakistan

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.

Jan 1, 2026

Apply

Senior DevOps Engineer at SkyLabs AI | Islamabad

SkyLabs AI Inc.

Full-time|On-site|Islamabad, Islamabad Capital Territory, Pakistan

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.

Jan 22, 2026

Apply

Senior Python Engineer at SkyLabs AI | Islamabad, Pakistan

SkyLabs AI Inc.

Full-time|On-site|Islamabad, Islamabad Capital Territory, Pakistan

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.

Mar 12, 2026

Apply

Senior Backend Engineer at SkyLabs AI | Islamabad

SkyLabs AI Inc.

Full-time|On-site|Islamabad, Islamabad Capital Territory, Pakistan

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.

Jan 1, 2026

Apply

Senior AI Engineer

CodeNinja

Full-time|On-site|Lahore, Punjab, Pakistan

About CodeNinja CodeNinja is a leading global AI and engineering services firm dedicated to empowering enterprises in the development, scaling, and management of intelligent systems. With a talented workforce of over 350 engineers spanning four continents and more than 400 successful deployments, we facilitate organizations in leveraging artificial intelligence through our Global Capability Centers, Work AI, Physical AI, and AI Labs. As one of Pakistan's fastest-growing AI companies and a multi-award recipient on Clutch, CodeNinja is proud to help over 250 clients worldwide innovate, automate, and thrive in the intelligence economy.Role Overview We are seeking a proactive and skilled Senior AI Engineer to design, develop, and manage AI-driven software systems that provide immediate and tangible value. This position lies at the nexus of software engineering, product engineering, and applied artificial intelligence, emphasizing practical implementation over theoretical research. As a key player in CodeNinja's AI-first operational strategy, you will utilize Large Language Models (LLMs), AI agents, and automation to significantly enhance software development, deployment, and operations.Key Responsibilities Design, develop, and maintain production-grade software systems with AI as a fundamental component. Implement agentic solutions and automation frameworks to address concrete business and product needs. Convert product specifications into scalable, secure, and reliable AI-enabled solutions. Focus on practical applications of AI, including prompting, orchestration, integration, evaluation, and deployment. Integrate AI in daily engineering tasks such as AI-assisted code generation, debugging, refactoring, and testing. Continuously enhance AI integration throughout the software development lifecycle to improve efficiency, quality, and output. Collaborate effectively with Product, Scrum, and Engineering teams to deliver AI-enhanced features from conception to completion. Contribute to shared platforms, services, and internal tools that facilitate large-scale AI-native development. Ensure that AI-enabled systems comply with standards for security, performance, and reliability. Develop monitoring, safeguards, and evaluation mechanisms for AI behavior in production environments. Take full responsibility for solutions from initial design through deployment and ongoing maintenance.

Jan 26, 2026

Apply

Senior C++ Systems Engineer at SkyLabs AI Inc | Islamabad

SkyLabs AI Inc.

Full-time|On-site|Islamabad, Islamabad Capital Territory, Pakistan

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.

Jan 19, 2026

Apply

Senior AI Engineer / AI Solutions Architect

Translation Empire PK

Full-time|On-site|Rawalpindi, Punjab, Pakistan

Job DescriptionJoin Translation Empire PK as a Senior AI Engineer / AI Solutions Architect, where you will spearhead the design and development of groundbreaking AI systems. Your expertise will be crucial in crafting scalable, high-performance solutions that meet the demands of modern enterprises.Key Responsibilities: Direct AI project architecture, design, and development processes. Establish technical strategies that align with overarching business objectives. Review, optimize, and enhance deployed machine learning models. Guide and mentor junior engineers and researchers to foster their growth. Assess and incorporate cutting-edge AI technologies into projects.

Apr 30, 2025

Apply

Junior AI Engineer

Translation Empire PK

Full-time|On-site|Rawalpindi, Punjab, Pakistan

Job Overview Translation Empire PK is on the lookout for a passionate Junior AI Engineer to play a vital role in the design and implementation of AI-powered applications. If you are a proactive individual with a solid understanding of artificial intelligence and machine learning concepts, we invite you to join our team and contribute to innovative solutions.Key Responsibilities: Assist in the development, testing, and deployment of AI and ML models. Perform data preprocessing and exploratory data analysis. Collaborate with team members for model evaluation and optimization. Work alongside cross-functional teams to integrate AI functionalities. Create and maintain documentation for code, processes, and experiments.

Apr 30, 2025

Apply

AI Integration Engineer

Creative Chaos

Full-time|Remote|Remote — Pakistan

Job Overview:Join Creative Chaos as an AI Integration Engineer! In this exciting role, you will leverage advanced AI models and technologies to seamlessly integrate into our existing systems and workflows, enhancing business capabilities and product performance. Collaborate with AI researchers, development teams, and product managers to deliver innovative, scalable AI-powered solutions.Primary Responsibilities:Implement AI and machine learning models into production environments and business applications.Work in collaboration with data scientists, software engineers, and product teams to formulate effective integration strategies.Design and develop APIs, middleware, and interfaces that facilitate smooth deployment and utilization of AI models.Ensure the scalability, reliability, and performance of AI integrations in real-world applications.Monitor system performance and troubleshoot issues, ensuring resolution of integration challenges.Optimize AI workflows and data pipelines to enhance efficiency and precision.Maintain comprehensive documentation of integration processes, architectures, and configurations.Stay abreast of emerging AI technologies and propose new integration methods.Support the deployment and upkeep of AI-driven solutions across multiple platforms.

Apr 13, 2026

Apply

Full-Stack AI Engineer

Pavago

Full-time|Remote|Remote — Pakistan

Pavago is looking for a Full-Stack AI Engineer to join its remote team in Pakistan. The role centers on developing new AI applications that address real-world needs. Role overview This position involves working alongside colleagues from varied backgrounds. Collaboration and practical problem-solving are key parts of the team’s approach to building AI-driven solutions. Location This is a remote role open to candidates based in Pakistan.

Apr 25, 2026

Apply

Senior AI/ML Engineer - AI Systems & Applied Intelligence

Devsinc

Full-time|On-site|Lahore, Punjab, Pakistan

Join Devsinc as a Senior AI Engineer and leverage your 4–6 years of experience in crafting, building, and launching production-quality AI systems. We seek a candidate who merges robust machine learning principles with practical knowledge of Large Language Models (LLMs), RAG architectures, and scalable ML infrastructure. In this role, you will take charge of the complete AI lifecycle from research and experimentation through to deployment, optimization, and monitoring. You will play a pivotal role in architectural decisions, mentor fellow engineers, and deliver applied intelligence solutions that yield tangible business outcomes.Key ResponsibilitiesDesign, develop, and implement AI/ML models and LLM-based solutions to tackle real-world business challenges.Create scalable training, fine-tuning, evaluation, and inference pipelines for production-ready AI systems.Design and deploy RAG pipelines, embedding systems, and retrieval-based architectures.Enhance model performance through experimentation, structured evaluations, hyperparameter tuning, and advanced optimization methods (quantization, batching).Develop APIs, microservices, and real-time inference services to integrate AI functionalities into production settings.Oversee and implement MLOps workflows, including experiment tracking, model versioning, CI/CD integration, monitoring, and lifecycle management.Engage in system architecture discussions to ensure scalability, reliability, security, and performance.Deploy AI systems on cloud platforms (AWS, Azure, GCP) with considerations for cost and performance optimization.Investigate emerging AI technologies, including LLMs, multimodal AI, and vector search, assessing their practical use cases.Guide junior engineers and advocate for best practices in AI engineering and MLOps.Document technical designs, workflows, experiments, and project outcomes for internal knowledge sharing.QualificationsBachelor’s or Master’s degree in Computer Science, Artificial Intelligence, Data Science, or a related discipline.4–6 years of professional experience in AI/ML engineering roles.Strong proficiency in Python with hands-on experience in PyTorch and/or TensorFlow.

Feb 22, 2026

Apply

AI Engineer

Creative Chaos

Full-time|Remote|Remote — Pakistan

Job Overview:Join Creative Chaos, a forward-thinking company, as an AI Engineer, and be part of our dynamic team. We are searching for a highly skilled professional with extensive knowledge of machine learning algorithms and technologies. In this role, you will design, implement, and optimize AI models and tools to tackle complex challenges and enhance our product offerings.Key Responsibilities: Design and develop advanced machine learning models and algorithms. Analyze substantial datasets to extract actionable insights and enhance AI systems. Work collaboratively with data scientists and software engineers to integrate AI capabilities into existing applications. Stay abreast of the latest developments in AI technologies and methodologies, implementing advancements as needed. Monitor and assess the performance of AI models, making adjustments for optimal outcomes. Provide technical support to various teams in the effective utilization of AI solutions. Document development procedures, model designs, and results to ensure reproducibility and operational efficiency. Engage in code reviews, sharing best practices and fostering a culture of continuous improvement within the team. Contribute to the strategic direction of AI initiatives across the organization. Qualifications: Bachelor's or Master's degree in Computer Science, Artificial Intelligence, or a related discipline. 5+ years of experience in an AI Engineer role or equivalent in artificial intelligence development. Expertise in Python, Conversational AI, AI data pipelines, RAG (Retrieval-Augmented Generation), and Agentic AI. Proficiency in machine learning frameworks such as TensorFlow, Keras, or PyTorch. Familiarity with data preprocessing and augmentation techniques. In-depth understanding of algorithms, data structures, and design patterns. Experience with cloud platforms (e.g., AWS, Azure) for deploying AI solutions. Strong analytical and problem-solving abilities, with a collaborative spirit. Excellent communication skills to effectively relay complex concepts to non-technical audiences. A passion for technology and an eagerness to stay updated with industry trends and advancements. Perks: Paid Time Off Health Insurance Outpatient Department (OPD) Training and Development Opportunities

Aug 1, 2025

Apply

Software Engineer II - AI & Data Engineering

Devsinc

Full-time|On-site|Lahore, Punjab, Pakistan

Join the innovative team at Devsinc as a Software Engineer II – AI & Data Engineering. We are seeking a talented individual with over 2.5 years of professional experience in developing and deploying robust AI/ML systems, applications powered by LLMs, and scalable data engineering solutions.This position demands a strong foundation in AI/ML Engineering, MLOps, Backend Engineering, and Data Engineering. You will take ownership of the project lifecycle, from the design of LLM applications, RAG pipelines, embeddings, and inference systems to the construction of ETL/ELT pipelines, cloud-native infrastructures, and architectures for real-time data processing.Key Responsibilities:Craft, develop, enhance, and deploy AI/ML models, including LLM-powered applications, RAG pipelines, embeddings, vector search architectures, and inference systems tailored for real-world applications.Develop and refine high-performance Python APIs, microservices, and backend services for AI workloads, collaborating with Engineering teams, Project Managers, and business stakeholders to deliver scalable, production-ready AI solutions.Establish and manage MLOps workflows and cloud-native infrastructures across AWS, Azure, and GCP, covering experiment tracking, model versioning, deployment automation, monitoring, and model optimization techniques like hyperparameter tuning and quantization.Design, develop, and sustain scalable ETL/ELT pipelines for both structured and unstructured datasets.Create and enhance data transformation, cleansing, validation, and quality frameworks, utilizing distributed and streaming technologies such as Kafka, Spark, Kinesis, and Pub/Sub for real-time data processing.Guarantee reliability, scalability, security, and cost-efficiency across AI and data infrastructures, while documenting architectural decisions, technical workflows, and engineering standards.

May 1, 2026

Apply

AI & Cloud Engineering Specialist

Remote Raven

Full-time|Remote|Remote — Pakistan

We are seeking a talented AI & Cloud Engineering Specialist to join our dynamic team at Remote Raven. This role is perfect for innovative thinkers who are passionate about leveraging AI technologies and cloud solutions to drive business success. In this fully remote position, you will collaborate with cross-functional teams to develop and implement cutting-edge AI models and cloud architectures.

Apr 8, 2026

Apply

Senior AI Engineer / AI Solutions Architect

Translation Empire PK

Full-time|On-site|Islamabad, Islamabad Capital Territory, Pakistan

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.

Apr 30, 2025

Apply

AI Automation Engineer - Remote

Careers Activate Talent

Full-time|Remote|Remote — Pakistan

About the RoleWe are seeking an innovative AI Automation Engineer to design, develop, and implement practical AI systems swiftly. This is a hands-on position, not a research role. You will utilize tools such as Lovable, OpenClaw, n8n, and AI agents/bots to automate workflows, integrate systems, and deliver production-ready solutions.If you thrive in an environment where you hear, “We need this automated,” and your immediate response is, “On it,” then this role is tailored for you.What You’ll DoConstruct and implement AI-driven automations using Lovable, OpenClaw, n8n, and comparable orchestration tools.Design, maintain, and optimize AI agents, bots, and workflow automations that interlink different systems (CRM, Slack, email, databases, APIs, etc.).Integrate Large Language Models (LLMs) such as OpenAI and Anthropic into genuine workflows rather than mere demos.Own projects from inception to completion: gathering requirements, building, testing, deploying, and iterating.Create scalable, reusable automations that can be easily utilized by non-technical teams.Debug, optimize, and enhance the performance and reliability of AI workflows.Collaborate with product, operations, and business teams to discover automation opportunities.How We Measure SuccessSuccess is defined by the speed at which automations are shipped and their practical usage. AI agents should significantly reduce manual tasks and errors. Workflows must be reliable, well-documented, and easy to adjust. Stakeholders need to have confidence in the systems you develop.Who This Is Not ForThis role is not suitable for pure researchers, “prompt engineers” who have not deployed any projects, or developers who require exhaustive specifications for every task.RequirementsWhat We’re Looking ForDemonstrated experience in building AI automations or agents in a production environment.Hands-on experience with Lovable, OpenClaw, n8n, or other similar no/low-code AI orchestration tools.Strong comprehension of LLMs, prompts, and agent behavior.Experience in creating bots (Slack bots, chatbots, internal tools, etc.).Comfortable with APIs, webhooks, and third-party integrations.A systemic approach to thinking about workflows, beyond just coding.Strong problem-solving abilities—proactive, not waiting for perfect specifications.Nice to Have (But Not Required)Familiarity with Zapier, Make, LangChain, AutoGen, CrewAI, or other related frameworks. Basic frontend or UI experience for internal tools. Understanding of CRMs (HubSpot, Salesforce), databases, or analytics tools. Experience in startup or fast-paced environments.

Feb 5, 2026

Apply

Technical Lead - AI for Mathematics

SkyLabs AI Inc.

Full-time|On-site|Islamabad, Islamabad Capital Territory, Pakistan

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.

Feb 9, 2026

Create account — see all 381 results

Browse all companies, explore by city & role, or SEO search pages. View directory listings: all jobs, search results, or location & role pages.