Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Carnegie Mellon University
- Delft University of Technology (TU Delft)
- Eindhoven University of Technology (TU/e)
- UNIVERSITY OF HELSINKI
- Umeå University
- University of Amsterdam (UvA)
- AALTO UNIVERSITY
- Jane Street Capital
- KU LEUVEN
- Tilburg University
- University of Bedfordshire
- University of Copenhagen
- University of Helsinki
- University of Mainz
- Aarhus University
- CEA Paris-Saclay
- CNRS
- Constructor Knowledge Labs gGmbH
- Empa
- Faculdade de Ciências da Universidade de Lisboa
- Fraunhofer-Gesellschaft
- Fundacio de Recerca Clinic Barcelona-Institut d'Investigacions Biomediques August Pi i Sunyer
- Inria, the French national research institute for the digital sciences
- King's College London
- NTNU - Norwegian University of Science and Technology
- NTNU Norwegian University of Science and Technology
- Queensland University of Technology
- Saarland University •
- Stockholm University
- University of Bergen
- University of Birmingham
- University of Bonn •
- University of East Anglia
- Vrije Universiteit Brussel
- 24 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
-
Position Description The Helsinki Logic Group is recruiting a PhD student interested in completing a PhD in mathematical logic. The position is part of the research project “Logic and Computation
-
The Helsinki Logic Group is recruiting a PhD student interested in completing a PhD in mathematical logic. The position is part of the research project “Logic and Computation over Semirings” funded
-
Primary Supervisor: Dr Jonathan Kirby Model theory is traditionally done with “classical first-order logic”, the logic which allows unlimited use of the operators AND, OR, NOT, with the EXISTS and
-
to trust. By contrast, symbolic approaches have reliability and explainability "built in", since they are based on logical reasoning. This motivates the development of neurosymbolic approaches as a way of
-
Position Description We are recruiting a PhD student interested in completing a PhD in set theory and logic. The position is part of the research project “Interactions between set theory and non
-
position within a Research Infrastructure? No Offer Description We are recruiting a PhD student interested in completing a PhD in set theory and logic. The position is part of the research project
-
We are recruiting a PhD student interested in completing a PhD in set theory and logic. The position is part of the research project “Interactions between set theory and non-standard logics” funded
-
quantum-logic techniques. Ultimately, the new clock will be compared with an optical strontium clock to search for temporal variations of the fine-structure constant and signatures of ultralight dark matter
-
Engineering » Computer engineering Engineering » Knowledge engineering Mathematics » Algorithms Mathematics » Mathematical logic Technology » Computer technology Technology » Knowledge technology Researcher