Sort by
Refine Your Search
-
Category
-
Country
-
Program
-
Employer
- Ghent University
- George Washington University
- University of Oslo
- Carnegie Mellon University
- Delft University of Technology (TU Delft)
- University of Sheffield
- University of Vienna
- LINGNAN UNIVERSITY
- Eindhoven University of Technology (TU/e)
- Iowa State University
- Nanyang Technological University
- Umeå University
- University of Amsterdam (UvA)
- University of Glasgow
- Cornell University
- UNIVERSITY OF HELSINKI
- UNIVERSITY OF VIENNA
- University of Oxford
- AALTO UNIVERSITY
- Coastal Carolina University
- Copenhagen Business School
- Duke University
- EPFL
- ETH Zurich
- Erasmus University Rotterdam
- Indiana University
- Integreat -Norwegian Centre for Knowledge-driven Machine Learning
- Jane Street Capital
- KNAW
- KU LEUVEN
- Karolinska Institutet (KI)
- McGill University
- Research Center for Molecular Medicine (CeMM), ÖAW
- SUNY University at Buffalo
- Technical University of Munich
- The Ohio State University
- Tilburg University
- University of Bedfordshire
- University of Copenhagen
- University of Helsinki
- University of Mainz
- University of Michigan
- University of Minnesota
- University of North Texas at Dallas
- University of Notre Dame
- University of Texas at Austin
- University of Toronto
- University of Warsaw: Faculty of Mathematics, Informatics and Mechanics
- University of Washington
- Utrecht University
- Yale University
- 3IA Côte d'Azur
- Aarhus University
- American University
- Argonne
- Aston University
- Brandeis University
- Bryn Mawr College
- CEA Paris-Saclay
- CNRS
- Carleton College
- Chalmers University of Technology
- Charles University, Faculty of Mathematics and Physics
- Chinese Academy of Sciences
- Columbia University
- Constructor Knowledge Labs gGmbH
- Cori Institute of Molecular and Computational Metabolism
- ECE - Paris - Ecole d'ingénieurs
- Empa
- Erasmus University Rotterdam (EUR)
- Faculdade de Ciências Sociais e Humanas
- Faculdade de Ciências da Universidade de Lisboa
- Fraunhofer-Gesellschaft
- Fundacio de Recerca Clinic Barcelona-Institut d'Investigacions Biomediques August Pi i Sunyer
- Grenoble INP - Institute of Engineering
- Gustavus Adolphus College
- Hamline University
- Harvard University
- ICN2
- Indiana University Bloomington
- Inria, the French national research institute for the digital sciences
- Institute of Philosophy and Sociology Polish Academy of Sciences
- Institute of Physics, Polish Academy of Sciences, Warsaw
- King's College London
- Lancaster University
- Lancaster University;
- MACQUARIE UNIVERSITY - SYDNEY AUSTRALIA
- MARIA CURIE-SKLODOWSKA UNIVERSITY IN LUBLIN
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Macquarie University
- Mines Paris-PSL
- NTNU - Norwegian University of Science and Technology
- NTNU Norwegian University of Science and Technology
- Nanjing University
- National University of Singapore
- North Carolina State University
- Oak Ridge National Laboratory
- Princeton University
- Queen Mary University of London
- Queensland University of Technology
- 90 more »
- « less
-
Field
-
15th October 2026 Languages English English Norsk Nynorsk English PhD position - Logic and Artificial Intelligence (LAI) Apply for this job See advertisement UiB - Knowledge that shapes society UiB
-
-theoretic tool to apply to the theories. We know how to extend some of these dividing lines to positive logic, but so far ranks have not been studied in positive logic. This PhD project will aim to develop
-
it in the context of AI systems. The goal of this PhD is to investigate how concepts from the causality literature can improve the explainability of logical reasoning systems, as a possible component
-
Engineering » Computer engineering Engineering » Knowledge engineering Mathematics » Algorithms Mathematics » Mathematical logic Technology » Computer technology Technology » Knowledge technology Researcher
-
determined not only by how precisely they can measure frequency, but also by how strongly their transitions respond to changes in the fundamental constants. This PhD project aims to develop a new type of
-
Candidates should have a PhD in Electrical Engineering, or a closely related field. A strong practical embedded hardware background is essential, including experience in several of the following
-
-flow security, program logics and neurosymbolic AI. The project is exceptionally well-resourced, including substantial funding for access to state-of-the-art AI models and computing infrastructure. We
-
on the ‘logical’ layer of heterogeneous integration — partitioning a system into functional chiplets and dies, specifying cross-die interfaces, and establishing the system-level architecture that determines what is
-
) An examination of some of the philosophical problems (those in logic, epistemology, metaphysics, and ethics, e.g.) found in a selection of Plato's dialogues. Teaching Qualification Requirements: Applicants must
-
complements departmental strengths in topology, algebraic topology, analysis, partial differential equations, geometric analysis, probability, logic, formal methods, and experimental mathematics will be given