Senior Software Engineer In Ai Ml jobs in Islamabad – Browse 102 openings on RoboApply Jobs

Senior Software Engineer In Ai Ml jobs in Islamabad

Open roles matching “Senior Software Engineer In Ai Ml” with location signals for Islamabad. 102 active listings on RoboApply Jobs.

102 jobs found

1 - 20 of 102 Jobs
Apply
devsinc-17 logo
Full-time|On-site|Islamabad, Islamabad Capital Territory, Pakistan

Join our innovative team as a Senior Software Engineer specializing in Artificial Intelligence and Machine Learning. In this pivotal role, you will be responsible for designing, developing, and scaling intelligent systems, including sophisticated machine learning pipelines and advanced AI agents that excel in reasoning, planning, and automation.Your expertis…

Feb 13, 2026
Apply
SkyLabs AI Inc. logo
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 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.

Jan 1, 2026
Apply
SkyLabs AI Inc. logo
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
SkyLabs AI Inc. logo
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
Devsinc logo
Full-time|On-site|Islamabad, Islamabad Capital Territory, Pakistan

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.

Oct 3, 2025
Apply
SkyLabs AI Inc. logo
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
SkyLabs AI Inc. logo
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
SkyLabs AI Inc. logo
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
SkyLabs AI Inc. logo
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
SkyLabs AI Inc. logo
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
creativechaos logo
Full-time|Remote|Remote — Islamabad, Islamabad Capital Territory, Pakistan

Job SummaryWe are seeking an experienced Senior PHP Software Engineer to join our dynamic team at creativechaos. In this role, you will be responsible for developing robust server-side web application logic. Your expertise will help us enhance back-end components, integrate with various third-party web services, and support front-end developers by seamlessly integrating their work with the application. You will also have the opportunity to create and implement plugins for popular frameworks.Responsibilities Analyze business requirements to design high-quality solutions Estimate tasks and deliver on time Write clean, maintainable code and conduct unit testing Collaborate with cross-functional teams to ensure project success Optimize code for improved security and performance Fix existing issues to maintain system integrity Keep issue tracking software updated with progress Provide regular status updates to stakeholders Communicate effectively with clients to understand their needs Manage version control of your code Research and implement new technologies to enhance product offerings Lead and mentor a team of software engineers Support team members through training and guidance Stay updated with industry trends and expand your knowledge Participate in candidate evaluations for open positions

Sep 28, 2023
Apply
Translation Empire PK logo
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
Veeam Software logo
Full-time|On-site|Islamabad, Pakistan

Veeam is recognized as the Data and AI Trust Company, dedicated to empowering organizations by ensuring their data and AI are comprehensively understood, secured, and resilient. Our mission is to facilitate the acceleration of safe AI at scale. As the leading market player in both data resilience and data security posture management, Veeam stands at the forefront of the intersection of identity, data, security, and AI risk. With our headquarters in Seattle and a presence in over 30 countries, we are proud to protect more than 550,000 customers globally who rely on us to keep their operations running smoothly. Join us in our fearless pursuit of growth, learning, and making a significant impact for some of the largest brands in the world.About the RoleYou will collaborate with the UI/UX framework team to develop software components and tools that address diverse challenges in data analytics and enterprise solutions. Your role will involve creating high-performance front-end web applications that support analytics requirements and seamlessly integrate various backend services to facilitate complete end-to-end workflows.What You’ll DoDevelop dynamic and responsive front-end applications utilizing the Vue JavaScript framework, HTML, and CSS.Integrate with APIs by defining contracts and building APIs as necessary.Collaborate effectively with product owners, design, and platform teams to define specifications and deliver features iteratively.Exhibit a strong passion for code quality, security, testing, and performance optimization.Oversee features from design through to production launch.What You’ll BringFull-stack or front-end engineer with a solid grasp of modern single-page web applications.Experience with both relational and NoSQL databases.Proficient in JavaScript with a deep understanding of asynchronous programming.Familiarity with at least one additional scripting or programming language beyond JavaScript.A minimum of 2 years' experience in building responsive applications.A minimum of 2 years' experience working with React, Angular, Vue.js, or similar frameworks in developing single-page applications.Experience working in a collaborative team environment.

May 4, 2026
Apply
Devsinc logo
Full-time|On-site|Islamabad, Islamabad Capital Territory, Pakistan

Join Devsinc as a Senior Software Engineer specializing in the MERN stack! We are on the lookout for a skilled MERN Developer to become a vital part of our innovative team. In this pivotal role, you will drive business growth by leveraging your expertise in Python programming and script automation to enhance our sales processes. Collaborating closely with our sales team, you will craft customized solutions that fulfill client requirements while enhancing productivity and optimizing communication workflows. If you are enthusiastic about technology and possess a flair for sales, this is an ideal opportunity for you!Lead the design and development of comprehensive full-stack features utilizing the MERN stack: MongoDB, Express.js, React.js, and Node.js.Architect scalable and maintainable solutions for backend APIs and frontend user interfaces.Create and manage RESTful and/or GraphQL APIs with robust error handling and authentication mechanisms (e.g., JWT, OAuth).Develop unit and integration tests using frameworks such as Jest, React Testing Library, Mocha, or Chai.Optimize web application performance for both speed and scalability.Implement responsive and accessible UI/UX using cutting-edge CSS techniques (SASS, CSS Modules, Tailwind, etc.).Utilize version control (Git) with feature branching and pull requests.Collaborate with cross-functional teams including Product, Quality Assurance, DevOps, and Design.Conduct thorough code reviews, enforce industry best practices, and mentor junior developers.Integrate third-party services (e.g., Stripe, SendGrid, Firebase) as necessary.Engage in architecture discussions and contribute to technical planning sessions.

Feb 12, 2026
Apply
Devsinc logo
Full-time|On-site|Islamabad, Islamabad Capital Territory, Pakistan

Join Devsinc, a forward-thinking technology company, as a Senior MERN Stack Developer. In this pivotal role, you will spearhead the development of scalable and high-performance web applications utilizing the MERN stack (MongoDB, Express.js, React.js, Node.js). Your leadership will guide the technical design and implementation of web applications, ensuring a seamless user experience.Key Responsibilities:Architect, develop, and sustain robust web applications leveraging the MERN stack.Convert application storyboards and use cases into functional applications.Engage with product owners, designers, and fellow developers to deliver outstanding solutions.Design and maintain APIs that connect frontend and backend services.Enhance applications for optimal speed and scalability.Conduct code reviews and offer constructive feedback to team members.Keep abreast of emerging technologies and programming methodologies to refine development processes.Guide junior developers, nurturing a culture of continuous learning within the team.Join us at Devsinc and contribute to the creation of cutting-edge web applications in a collaborative and innovative environment!

May 6, 2025
Apply
Translation Empire PK logo
Full-time|On-site|Islamabad, Islamabad Capital Territory, 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.

Apr 30, 2025
Apply
Devsinc logo
Full-time|On-site|Islamabad, Islamabad Capital Territory, Pakistan

Join Our Team at Devsinc - We are on the lookout for a skilled Senior Python Software Engineer to become an integral part of our innovative team. In this pivotal role, you will leverage your expertise in Python programming and automation scripting to drive sales and foster business growth. Collaborating closely with our sales team, you will craft customized solutions that align with client requirements, utilizing your programming prowess to boost productivity and streamline communication. If you possess a passion for technology and a flair for sales, this opportunity is tailor-made for you!Key ResponsibilitiesArchitect, develop, and sustain high-performance applications using Python.Engage with multidisciplinary teams to conceptualize, design, and deploy new features.Produce clean, efficient code and perform thorough code reviews.Diagnose and resolve application issues to enhance performance.Integrate with various technologies to ensure seamless system connectivity.Stay informed about the latest industry trends and best practices.Contribute to agile development processes, including Scrum and Kanban methodologies.QualificationsHold a Bachelor’s degree in Computer Science, Software Engineering, or a related discipline.Possess over 4 years of software development experience with a primary focus on Python.Demonstrate proficiency in web frameworks such as Django or Flask.Have hands-on experience with databases (SQL or NoSQL) and data modeling techniques.Exhibit a strong grasp of software development methodologies and best practices.Showcase excellent analytical and problem-solving capabilities.Possess strong communication skills and thrive in a collaborative team environment.RequirementsFamiliarity with cloud platforms such as AWS, Google Cloud, or Azure.Understanding of DevOps practices and CI/CD workflows.Knowledge of containerization technologies like Docker.Experience with front-end technologies (HTML, CSS, JavaScript, etc.) is a bonus.BenefitsProvident FundMedical Inpatient and Outpatient FacilitiesPaid OvertimeIn-house Subsidized Lunch and DinnerGym AccessEngaging Team ActivitiesInterest-Free Loan FacilitiesAdvance Salaries and Sports Allowance

Feb 11, 2026
Apply
Creative Chaos logo
Full-time|Remote|Remote — Islamabad, Islamabad Capital Territory, Pakistan

As a Principal Software Engineer specializing in Java at Creative Chaos, you will play a pivotal role in developing robust server applications across various software platforms. Your primary responsibilities will include crafting Restful APIs for client applications, ensuring that the functionality, security, and performance of the server applications meet design specifications and are free of bugs. In this leadership position, you will mentor and guide a team of engineers, fostering their growth through continuous training.Key Responsibilities: Design, develop, test, debug, document, and maintain back-end services, models, processes, and databases that underpin the application. Engage in team development activities to uphold high quality and productivity standards. Leverage your deepening expertise in cloud architectures, focusing on security, availability, microservices, and scalable designs. Stay informed on the latest technologies and development methodologies to enhance application quality and construction efficiency. Adopt agile principles and support iterative processes to ensure timely delivery of valuable software. Provide technical guidance on complex projects, collaborating with staff, contractors, and vendors to fulfill company MIS needs. Conduct complex design analyses to address diverse business technology needs. Lead projects, which may include managing small to medium-sized endeavors. Present recommendations to management and assist in selecting the best alternatives. Act as a resource for complex technical areas, offering expertise to department management and other stakeholders. Qualifications: Bachelor’s degree in Computer Science, Software Engineering, or a related field. 8+ years of professional experience in Java/Spring development, with significant expertise in creating commercial Spring MVC/Hibernate and AJAX web applications. Proficient in system integration, particularly in designing, building, and consuming REST services. Experience with PostgreSQL as a database engine, deployed on AWS, along with relational database skills for PostgreSQL and Terraform. Familiarity with React.js is a plus. Ability to collaborate closely with business stakeholders, user experience designers, and quality assurance teams. Adept at adapting to evolving requirements and specifications. Excellent written and verbal communication skills. Strong belief in the value of test automation. Benefits: Paid Time Off Health Insurance 401k

Jan 31, 2022
Apply
SkyLabs AI Inc. logo
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
Seekatechnology logo
Full-time|On-site|Islamabad

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.

Apr 5, 2026

Sign in to browse more jobs

Create account — see all 102 results

Tailoring 0 resumes

We'll move completed jobs to Ready to Apply automatically.

Senior Software Engineer In Ai Ml jobs in… | RoboApply Jobs