Technical Lead - AI for Mathematics

SkyLabs AI Inc.Islamabad, Islamabad Capital Territory, Pakistan

On-site Full-time

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

Experience Level

Manager

Qualifications

Qualifications:Proven experience in software engineering, particularly in AI and formal verification. Strong background in mathematics, with the ability to work at the intersection of theory and practical application. Expertise in developing scalable software architectures and robust codebases. Experience in research collaboration and academic publishing. Exceptional problem-solving skills and a proactive approach to challenges. Ability to mentor and lead technical teams effectively.

About the job

About Us

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

We 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 Responsibilities

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

SkyLabs AI Inc. stands at the leading edge of artificial intelligence innovation, driving research that enhances intelligent reasoning. With a commitment to solving complex software engineering challenges through neurosymbolic AI, we are dedicated to building the future of intelligent systems.

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 37 Jobs

Search for Lead Radio Access Network Planning

37 results

Select all on this page (20)

Apply

Lead Radio Access Network Planning

Pakistan Mobile Communication Limited (PMCL)

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

Grade: L3 Location: Islamabad, Islamabad Capital Territory, Pakistan Application deadline: 20 April 2026 Role Overview The Lead Radio Access Network (RAN) Planning role at Jazz shapes the company’s network strategy, focusing on strong performance, reliable capacity, and wide coverage to support business objectives. This position works closely with both inter…

Apr 15, 2026

Apply

RAN Planning Expert (Proactive Pipeline)

Pakistan Mobile Communication Limited (PMCL)

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

Role Overview Pakistan Mobile Communication Limited (PMCL) is seeking a RAN Planning Expert for its Islamabad office. This position focuses on proactive pipeline strategies that support network efficiency and performance. The role centers on the design and optimization of radio access networks to help the company meet client needs and adapt to evolving technology. Main Focus Areas Shape and implement proactive strategies for RAN planning Contribute to radio access network design and optimization Support efforts to improve network performance and efficiency Help ensure the network meets current and future client demands Location Islamabad, Islamabad Capital Territory, Pakistan

Apr 20, 2026

Apply

NOC Engineer - Network Operations Center Specialist

prime-system

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

Join our dynamic team as a NOC Engineer (Network Operations Center Engineer) at prime-system, where you will play a pivotal role in ensuring a stable and secure IT environment for our clients. In this critical position, you will proactively address and resolve potential issues, ensuring optimal network performance while performing routine maintenance on network devices. Your ability to adhere to best practices, anticipate challenges, and effectively manage high-pressure situations will be essential in delivering exceptional customer service. Key Responsibilities: · Utilize scripting and automation tools to enhance processes and minimize the time spent on troubleshooting issues.· Design and implement automation solutions aimed at reducing failure rates and the need for engineer intervention in ticket resolution.· Create innovative tools that empower engineers to address issues more efficiently and swiftly.· Develop self-service solutions for clients to independently manage common problems.· Draft proformas for each automation initiative to evaluate potential time or cost savings, work completion timelines, and the anticipated return on investment (ROI).· Securely maintain a repository of scripts.· Generate regular progress reports on automation initiatives.· Create customized reports for the NOC and Service Desk using tools such as Power BI and BrightGauge.· Automate patch management for Windows, third-party applications, and Mac systems using tools like Kaseya VSA, Addigy, and Intune.· Oversee and update the RMM platform, Kaseya, along with the analytics platform, BrightGauge.· Provide automated reports on patch statuses and endpoint compliance.· Collaborate with other IT teams to ensure smooth integration of automation solutions with existing systems and workflows.· Maintain comprehensive documentation of automation scripts, tools, and procedures.· Offer technical support and guidance to clients and colleagues regarding automation strategies and best practices.

Feb 24, 2026

Apply

System & Network Engineer

prime-system

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

Join the dynamic team at prime-system as a System and Network Engineer, where you will play a vital role in managing and safeguarding IT infrastructure across diverse client environments. This position requires a thorough understanding of both on-premises and cloud-based systems, providing technical expertise to ensure optimal performance and security. You will oversee various systems including networking equipment, servers, firewalls, virtualization platforms, and cloud services, delivering comprehensive support to maintain business continuity.The ideal candidate will have substantial hands-on experience with Microsoft 365, Active Directory, Azure, and an array of firewall technologies, complemented by a solid grasp of virtualization platforms like VMWare. Familiarity with remote access tools, monitoring platforms, and ticketing systems is essential. A proactive problem-solving mindset and the ability to thrive in a fast-paced, multi-client environment are crucial for success in this role.

Sep 23, 2025

Apply

Network Engineer - Level II

prime-system

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

Position Overview:As a Level II Network Engineer, you will play a pivotal role in ensuring the technical success of our clients through expert support and innovative solutions. This position comes with increased responsibilities, including diagnosing intricate issues, implementing effective solutions, and working closely with both clients and internal teams.Core Responsibilities: Deliver expert technical assistance to clients, effectively resolving complex hardware, software, and network challenges. Diagnose and address escalated incidents and service requests swiftly and efficiently. Be available to provide on-site support at client locations when necessary. Oversee and manage client IT infrastructure to guarantee optimal functionality and reliability. Execute and supervise routine maintenance tasks, updates, and system enhancements. Lead initiatives to resolve complicated IT occurrences, documenting root causes, and instituting preventive measures. Mentor Level I engineers in troubleshooting and resolution techniques. Assist in the planning and execution of IT projects, including system upgrades, migrations, and implementations. Maintain detailed documentation of client environments, configurations, and support processes. Contribute actively to the creation of the knowledge base and training resources. Engage directly with clients to ascertain their technical needs and provide proactive solutions. Communicate clearly with clients, offering status updates, technical insights, and recommendations. Perform additional responsibilities as assigned by management to enhance the overall success of the organization.

Sep 23, 2025

Apply

Associate, Demand Planning

Delivery Hero

Full-time|On-site|Islamabad

Join our dynamic team at Delivery Hero as an Associate in Demand Planning. In this role, you will be integral to forecasting demand, ensuring product availability, and optimizing inventory levels. You will collaborate closely with cross-functional teams to analyze data and translate insights into actionable strategies that enhance our supply chain efficiency.

Apr 2, 2026

Apply

Telecommunications Network Security Specialist

Pakistan Mobile Communication Limited (PMCL)

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

Grade: L2/L3 Location: Islamabad, Islamabad Capital Territory, Pakistan Application Deadline: April 30, 2026 Role overview Pakistan Mobile Communication Limited (PMCL), known as Jazz, is hiring a Telecommunications Network Security Specialist in Islamabad. This position focuses on strengthening the security of core telecom infrastructure, with a particular emphasis on signaling systems and the secure integration of virtualization and cloud-native functions such as NFVI and 5G. The role involves defending against threats to SS7, Diameter, 4G EPC, and 5G Service-Based Architecture, while supporting the safe adoption of new technologies. Reporting to the Manager of Architecture & Cloud Security, the specialist will work alongside a team of 15 security professionals. Main responsibilities Secure signaling networks for SS7, Diameter, and 5G SBA. Deploy signaling firewalls and anti-fraud controls to address SMS, voice, and roaming attacks. Monitor and respond to threats such as location tracking (ATI abuse), SMS interception, and call redirection or spoofing. Maintain secure interconnections with roaming partners and third-party organizations. Design and enforce security protocols for EPC components (MME, SGW, PGW, HSS) and 5G Core elements (AMF, SMF, UPF, AUSF, UDM, NRF). Implement security controls that align with 3GPP standards. Protect APIs within the 5G SBA architecture using OAuth2, TLS, and API gateways. Conduct security hardening for virtual and cloud-native network functions (VNFs and CNFs). Safeguard NFV infrastructure, including OpenStack, Kubernetes, and containers. Apply micro-segmentation and zero-trust models to the telecom network. Enable workload protection for CNFs and VNFs. Integrate telecom workloads with cloud security solutions for both public and private cloud environments. Monitor telecom-specific threats using SIEM and SOC platforms. Feed telecom probes and logs (signaling, GTP, Diameter) into the SOC for analysis. Lead incident response for telecom network breaches. Conduct proactive threat hunting focused on telecom fraud and signaling misuse. Define and maintain the overall telecom security architecture. Evaluate and deploy telecom security tools, including signaling firewalls for SS7, Diameter, and 5G, DDoS mitigation systems, and IDS/IPS for telecom protocols.

Apr 24, 2026

Apply

Senior Financial Planning & Analysis Analyst

prime-system

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

Job Title: Senior Financial Planning & Analysis AnalystWorking Hours: 8 AM-5 PM EST (Onsite)Location: Lahore / IslamabadPosition Overview:We are actively seeking a qualified Senior Financial Analyst with 7 to 8 years of solid experience in financial planning, budgeting, forecasting, and analytics-driven decision support. The successful candidate will possess exceptional analytical skills, strong business insights, and the capability to convert intricate financial data into actionable insights for executive teams.Key Responsibilities:Oversee the budgeting, forecasting, and financial planning processes, ensuring precision and alignment with corporate objectives.Perform variance and trend analysis, as well as financial modeling to facilitate informed strategic decisions.Develop and present management reports, dashboards, and financial insights to senior leadership.Assess financial performance by monitoring KPIs and pinpointing areas for enhancement.Assist with investment strategies through ROI analysis, cost-benefit assessments, and scenario modeling.Collaborate with diverse teams (Operations, Sales, HR, etc.) to synchronize financial plans with the organization's strategy.Guarantee the accuracy and compliance of financial data, facilitating audits when necessary.Propose process improvements to boost efficiency and reporting standards.

Dec 8, 2025

Apply

Manager of Channel Planning - Proactive Pipeline

Pakistan Mobile Communication Limited (PMCL)

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

Note: We are proactively gathering profiles for potential future vacancies. You will only be contacted if your profile is shortlisted for this position, which may not be currently available.Grade Level: L3Location: IslamabadApplication Deadline: 27th August, 2025About the Role: The Manager of Channel Planning will report directly to the Stream Head of Channel Planning. This role involves managing a team of one, with collaborative leadership across a cross-functional team of seven.Key Responsibilities:1. Performance Target Setting:Define and implement monthly performance targets and KPIs for sales teams and partners using data-driven insights.Establish ambitious yet attainable goals to enhance sales productivity and partner performance.2. Sales Promotion:Design and manage sales promotions aimed at driving product bundling and cross-selling across various sales channels.Create time-sensitive campaigns to boost sales and improve channel engagement in focus areas.3. Sales Channel Collaboration:Foster structured collaboration with sales teams and channels to align on performance KPIs and growth strategies.Conduct regular performance reviews with business support managers and feedback sessions to pinpoint challenges and areas for improvement.Integrate sales team feedback into incentive models to enhance alignment and motivation.4. Compensation Structure Optimization:Develop and refine compensation and incentive frameworks across complex sales ecosystems, balancing short-term achievements with long-term strategic growth (e.g., cloud sales, enterprise sales, or solution selling).Ensure the compensation structure fosters long-term strategic deals without hindering short-term sales.5. Performance Tracking and Payout Management:Implement real-time performance tracking dashboards with automated payout calculations for enhanced transparency and motivation.Guarantee accuracy and timeliness in incentive payouts.6. Competitive Edge:Deliver differentiated incentive frameworks and sales programs informed by market and competitive analysis, enabling Jazz to stay ahead of evolving partner and channel trends.Jazz is an equal opportunity employer. We embrace diversity and are committed to creating an inclusive environment for all employees.

Aug 18, 2025

Apply

System and Network Administrator (Level I)

prime-system

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

Job Title: System and Network Administrator (Level I)Job Type: Full-timeIndustry: Managed Service ProviderTiming: US Time Zone (EST)The System and Network Administrator plays a pivotal role in the management and maintenance of IT infrastructure across a range of client environments. This position requires providing technical expertise in system and network administration to ensure the continuous operation and security of both on-premises and cloud-based systems. You will be responsible for managing a diverse array of systems including networking equipment, servers, firewalls, virtualization technologies, and cloud services, while providing comprehensive support to guarantee business continuity and optimal performance.The ideal candidate will have robust hands-on experience with Microsoft 365, Active Directory, Azure, and various firewall technologies, complemented by a deep understanding of virtualization platforms such as VMWare. Familiarity with remote access tools, monitoring platforms, and ticketing systems is also essential. A proactive approach to troubleshooting and the ability to thrive in a fast-paced, multi-client environment are crucial for success in this role.

Sep 23, 2025

Apply

Level II System & Network Engineer

prime-system

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

As a Level II System and Network Engineer at prime-system, you will play a vital role in managing and maintaining our IT infrastructure across diverse client environments. This position requires your technical expertise in system and network administration to guarantee the smooth operation and security of both on-premises and cloud-based systems. You will oversee a wide array of systems, including networking equipment, servers, firewalls, virtualization technologies, and cloud services, providing essential support to ensure business continuity and superior performance.The ideal candidate will have substantial hands-on experience with Microsoft 365, Active Directory, Azure, and various firewall technologies, paired with a robust understanding of virtualization platforms such as VMWare. Expertise in remote access tools, monitoring platforms, and ticketing systems is also necessary. A proactive problem-solving approach and the ability to thrive in a fast-paced, multi-client environment are critical to success in this role.

Sep 23, 2025

Apply

Expert Performance and Planning at Jazz Lifestyle Ventures | Islamabad

Pakistan Mobile Communication Limited (PMCL)

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

Grade Level: L3Location: IslamabadLast Date to Apply: 24th April 2026 Role Overview The Expert Performance and Planning role at Jazz Lifestyle Ventures (JLV), part of Pakistan Mobile Communication Limited (PMCL), shapes the direction of key strategic projects. This position focuses on managing business performance, supporting planning cycles, and delivering data-driven reports that track progress toward company goals. Main Responsibilities Business Performance Management: Monitor and evaluate core KPIs across the digital ecosystem, ensuring alignment with strategic objectives. Business Planning and Tracking: Support annual and multi-year planning processes, and track progress against operational roadmaps and long-term targets. Performance Reporting: Assist in analyzing and reporting on major strategic projects and initiatives within various digital sectors. Cross-Functional Collaboration: Work closely with operational leaders to gather reliable performance data, helping all business units stay on course toward their objectives. Commitment to Inclusion Jazz is an equal opportunity employer. The company values diversity and strives to foster an inclusive environment for all employees.

Apr 17, 2026

Apply

Lead Generation Executive

Marcus Evans

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

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

Feb 18, 2026

Apply

Lead Backend Developer at Securiti.ai | Islamabad

Veeam Software

Full-time|On-site|Islamabad, Pakistan

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.

Apr 27, 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

Apply

Tech Lead - Android Core Product

Speechify

Full-time|On-site|Islamabad, Pakistan

Role overview Speechify is looking for a Tech Lead to join the Android Core Product team in Islamabad, Pakistan. This position blends technical leadership with active software development, focusing on building and refining Android applications for a wide audience. The Tech Lead will work hands-on with code while also guiding a team and collaborating with colleagues from other departments. What you will do Direct the design and development of Android applications that power Speechify's core product Collaborate with product managers, designers, and engineering teams to deliver new features Mentor junior developers, providing technical guidance and sharing best practices Help the team build solutions that are scalable, reliable, and perform well Requirements Solid experience in Android development Background in leading teams or mentoring engineers Interest in mobile technology and designing with users in mind Ability to work well with cross-functional teams

Apr 25, 2026

Apply

Practice Lead - Data Science at Teknosys

Pakistan Mobile Communication Limited (PMCL)

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

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.

Apr 9, 2026

Apply

Senior Implementation Lead – Data Lake & Segmentation

Pakistan Mobile Communication Limited (PMCL)

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

Grade Level: L3Location: IslamabadLast date to apply: 26th January 2026Position Overview:Join our team as a Senior Implementation Lead – Data Lake & Segmentation where you will play a pivotal role in architecting, deploying, and managing a robust enterprise-scale Data Lake architecture. This position demands a strong focus on data segmentation, security zones, and governance. You will lead the complete implementation process, from designing solutions to rolling out production and managing operations, while collaborating with architecture, data engineering, security, and business teams.Key Responsibilities:Data Lake Implementation & ArchitectureOversee the end-to-end implementation of the Data Lake architecture, covering ingestion, storage, processing, and consumption layers.Implement a multi-zone data lake design (e.g., landing/raw, curated, trusted, consumption zones) in accordance with architectural guidelines.Guarantee the scalability, high availability, and performance of the Data Lake platform.Transform high-level architecture into Low-Level Designs (LLDs) and detailed deployment plans.Data Segmentation & SecurityDevelop and execute data segmentation strategies that consider:Business domainsSensitivity levels (PII, confidential, public data)Regulatory and compliance mandatesImplement logical and physical data separation through:Access control policiesNetwork segmentationEncryption and key managementIncorporate identity and access management (IAM) and role-based access control (RBAC) across data lake layers.Integration & Data PipelinesLead the deployment and development of batch and streaming data ingestion pipelines.Integrate various data sources, including structured, semi-structured, and unstructured data.Ensure reliable data movement across segmented zones with appropriate controls.Operations & Managed ServicesManage post-implementation operations, focusing on monitoring, incident management, and performance optimization.Establish SLA/SLOs, operational runbooks, and escalation protocols.Provide L2/L3 support for Data Lake platform issues.Foster continuous improvement and optimization initiatives.Leadership & Stakeholder ManagementServe as the technical lead for Data Lake delivery engagements.Collaborate with enterprise architects, security teams, and business stakeholders.Mentor data engineers and implement best practices.

Jan 19, 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

Human Resources Lead at SkyLabs AI | Islamabad, Pakistan

SkyLabs AI Inc.

Full-time|On-site|Islamabad, 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 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.

Feb 9, 2026

Create account — see all 37 results

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