Senior AI Research Engineer

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

About UsSkyLabs AI Inc. is leading the charge in the artificial intelligence sector as a US-based organization dedicated to revolutionary advancements in intelligent reasoning. Our expertise lies in neurosymbolic AI, tackling challenging issues in software engineering. Our talented team, comprising top-tier researchers and engineers, is committed to developing the platforms and intelligent agents that will shape the future of software. If you have a passion for creating genuinely intelligent systems and wish to leave a significant mark in the field, we would love to have you on board.The RoleWe invite you to become a pivotal part of our team as a Senior Agentic AI Engineer. This role transcends typical AI responsibilities; you will architect, construct, and deploy intricate autonomous AI agents capable of reasoning and functioning effectively within the C++ software engineering lifecycle.Your mission includes developing agents that can interact programmatically with compilers (LLVM), debuggers (GDB/LLDB), build systems (CMake/Bazel), and static analysis tools, enabling them to understand, modify, and construct complex C++ codebases. The perfect candidate will be an expert programmer with extensive practical knowledge in both agentic AI and the C++ development ecosystem.

About UsJoin us at SkyLabs AI Inc., an innovative leader in the artificial intelligence landscape. Based in the United States, we specialize in applied AI research, focusing on advanced neurosymbolic techniques to tackle complex challenges in software engineering and mathematical reasoning. Our exceptional team of researchers and engineers is committed to creating the intelligent platforms and agents that will shape the future of software. If you are driven by the desire to develop groundbreaking intelligent systems that make a significant impact, we invite you to be part of our mission.The RoleAs a Senior C++ Systems Engineer, you will play a critical role in developing the runtime infrastructure and contract enforcement mechanisms that are essential to our verification system. You will engage with modern C++ features, compiler technologies, and formal methods, translating mathematical specifications into executable runtime checks. This is a unique opportunity to contribute to pioneering compiler technology and the evolution of software verification.Key ResponsibilitiesDesign, develop, and sustain high-performance C++ systems code for our verification infrastructure.Implement compiler integrations and code generation pipelines utilizing Clang/LLVM.Create reusable libraries, APIs, and toolchain components for developer use.Integrate third-party frameworks and develop build automation systems.Write thorough tests and establish quality assurance processes to ensure system reliability.Optimize code for efficiency, reliability, and maintainability.Collaborate with cross-functional teams including researchers and engineers to drive innovation.Engage in code reviews, architectural discussions, and technical design processes.Document technical decisions, APIs, and system architectures comprehensively.Stay updated with advancements in C++ evolution and formal methods.

About UsSkyLabs AI Inc. is pioneering advancements in the artificial intelligence landscape. Headquartered in the United States, our mission revolves around applied research in AI, focusing on intelligent reasoning and neurosymbolic AI to tackle complex challenges in software engineering. Our extraordinary team comprises elite researchers and engineers, dedicated to creating cutting-edge platforms and intelligent agents that will define the future of software. If you possess a passion for developing genuinely intelligent systems and aspire to create a meaningful impact, we invite you to join our journey.The RoleWe are on the lookout for a talented Senior Backend Engineer to spearhead the design and execution of our cloud-native infrastructure. This pivotal role will be key in establishing a scalable, resilient, and secure microservices platform on which our AI agents and developer tools will operate.Your responsibilities will encompass the entire spectrum, from API gateways and database architecture to Kubernetes-based remote execution environments. You will architect asynchronous systems for managing extended agentic tasks and create high-throughput pipelines for LLM inference and telemetry. The ideal candidate is a backend virtuoso, experienced in constructing and scaling complex, AI-driven systems in production.

About UsSkyLabs AI Inc. is a pioneering force in the artificial intelligence sector, headquartered in the United States. We are dedicated to conducting cutting-edge research in AI, focusing on intelligent reasoning and sophisticated neurosymbolic AI techniques to tackle complex challenges in software engineering. Our exceptional team comprises renowned researchers and engineers committed to developing the next generation of platforms and intelligent agents. If you are enthusiastic about creating truly intelligent systems and wish to make a meaningful contribution, we invite you to explore opportunities with us.The RoleWe are on the lookout for a talented Senior Python Engineer who will be responsible for managing and enhancing the Python infrastructure that underpins our agent runtimes and evaluation pipelines. This crucial position involves designing scalable systems, bridging various protocol boundaries, and setting high engineering standards.

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.

Job Description Join Translation Empire PK as an AI Research Scientist, where you will engage in pioneering research in artificial intelligence, fostering innovation and technological advancement. In this role, you will design and implement novel algorithms, share your research findings through publications, and develop prototypes to address intricate challenges in the field.Key Responsibilities: Perform both applied and theoretical research in artificial intelligence. Create prototypes and evaluate new algorithms. Publish research outcomes and present them to internal teams. Work collaboratively to transition research into practical applications. Assist in shaping the strategic direction of AI research and development.

About UsSkyLabs AI Inc. is pioneering advancements in the artificial intelligence sector. As a leading US-based company, we focus on practical AI research dedicated to intelligent reasoning. Our expertise lies in the realm of complex neurosymbolic AI, tackling sophisticated challenges in software engineering. Our team comprises exceptional researchers and engineers committed to developing the platforms and intelligent agents that will shape the future of software. If you are eager to create genuinely intelligent systems and aspire to make a significant impact, we invite you to join our team.About the InternshipEmbark on a transformative AI engineering internship that offers hands-on experience with the cutting-edge LLM stack. You will engage in the design and development of AI Agents, delve into Formal Verification of Software, and contribute to the construction of data pipelines. Additionally, you will assist with data curation, dataset creation and distillation, and take part in the training and enhancement of large language models through various workflows such as continuous pre-training, supervised fine-tuning (SFT), and reinforcement learning (RL). In this role, you will become proficient in software verification using formal methods in Rocq while enhancing quality practices through property-based testing techniques. This position is perfect for those who thrive on building real systems, learning rapidly, and operating at the intersection of research and engineering.Duration: 3 months (June 2026 through August 2026) On-site - Full-time

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

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.

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

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.

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.

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.

Job OverviewJoin Translation Empire PK as a Junior AI Engineer and play a pivotal role in advancing our AI-driven applications. We are looking for a proactive individual who possesses a foundational understanding of artificial intelligence and machine learning, eager to make a tangible impact in innovative projects.Key Responsibilities: Contribute to the design, testing, and deployment of robust AI/ML models. Engage in data preprocessing and conduct exploratory data analysis. Assist colleagues in evaluating and fine-tuning models. Work collaboratively with cross-functional teams to integrate AI functionalities. Maintain comprehensive documentation for code, processes, and experimental results.

Job OverviewJoin Translation Empire PK as an innovative AI Engineer, where you will play a pivotal role in designing and implementing cutting-edge machine learning models that propel our business forward. The ideal candidate will be tasked with developing, deploying, and monitoring AI systems across a range of exciting projects.Key Responsibilities: Design and develop robust machine learning models tailored for our business needs. Deploy AI solutions into production environments ensuring scalability and efficiency. Conduct thorough data analysis and optimize models for enhanced performance. Collaborate closely with engineering and product teams to align AI initiatives with business goals. Continuously monitor and maintain model performance, updating systems based on new data insights.

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.

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

As a Senior Technical Content Engineer (TCE) at Educative, you will play a crucial role in demystifying complex technical concepts for our learners. Your expertise will help create compelling and interactive course content that engages and educates.Key Responsibilities:Course Development:• Conduct thorough research and design interactive, text-based courses complete with practical programming assignments and projects tailored for engineering learners.• Review and provide constructive feedback on courses developed by peers, ensuring they meet Educative’s high standards for editorial and technical excellence, while effectively utilizing platform features to enhance learner engagement.• Stay abreast of the latest technical advancements to shape course strategy and ensure our offerings meet the evolving needs of our learners.Platform Expertise:• Cultivate a deep understanding of Educative’s platform capabilities to efficiently create courses and assist both internal and external authors in maximizing platform features.• Propose product features and improvements, guiding them through the phases of prioritization, design, and implementation.Team Development:• Engage in team-building initiatives including recruiting, mentoring new hires, and leading training sessions.

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.