Postdoc Position in Interpretable and Explainable AI at Universidad Carlos III de Madrid Universidad Carlos III de Madrid in Spain

Cornell University’s Department of Mathematics is inviting applications for a Postdoctoral Associate focused on mathematics , auto-formalization , and proof assistants such as Lean . The position centers on developing and administering a benchmark for auto-formalization of mathematics, contributing to a benchmarking dataset, organizing and quality-checking contributed data, building tools to support data creation, and supporting the Math+AI laboratory. This is a research-oriented postdoctoral ro...

PhD opportunity in Non-Classical Logical Reasoning and Large Language Models within the project Designing Artificial Reasoners for Communication (DesiRes) . The position is associated with the Institut de Recherche en Informatique de Toulouse (IRIT) and CNRS in France. The research focus is on combining formal reasoning methods with modern AI/LLM approaches, making it a strong fit for candidates interested in Computer Science , Mathematics , Information Technology , and related areas of Cognitiv...

Adelaide University Graduate Research School is advertising a National Industry PhD opportunity titled Data-Efficient Transformers . The project focuses on AI transformers and how they can be trained more effectively using small datasets , making it a strong fit for students interested in Computer Science , Mathematics , Artificial Intelligence , and related machine learning research. The PhD is hosted at the CommBank Centre for Foundational AI Research at the Australian Institute for Machine Le...

Hong Kong Polytechnic University’s Department of Computing is recruiting for several Postdoctoral Fellow / Research Associate / Research Assistant positions (full-time or part-time) on the project “Algorithms for databases and graphs: Scalable, trustworthy, and intelligent data analytics.” This opportunity is centered on computer science , with strong relevance to algorithms , databases , graphs , and data analytics . The project is led by Prof. Bo Li , who can be contacted for further informati...

PhD opportunities are available at Universidad Miguel Hernández (UMH) in the areas of Physical AI , Multi-Agent Systems , and 6G Networks . The project sits at the intersection of autonomous agents, networking, and cyber-physical systems, with research directions that may include embodied agents, edge-cloud continuum infrastructure, AI-network-control co-design, collaborative mobile robotics, and connected automated mobility. The positions are described as fully funded under the Spanish PhD empl...