Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- George Washington University
- Nature Careers
- University of Southern Denmark
- Aarhus University
- CNRS
- Ghent University
- INSA Rennes
- KU LEUVEN
- Technical University of Munich
- UNIVERSITY OF HELSINKI
- University of Basel
- Aix-Marseille Université
- Ecole Normale Supérieure
- FUB - Free University of Berlin
- Flanders Institute for Biotechnology
- Idiap Research Institute
- Inria, the French national research institute for the digital sciences
- Institute of Theoretical Physics
- International Institute of Molecular and Cell Biology in Warsaw
- Jagiellonian University Faculty of Philosophy
- Nantes Université
- Stanford University
- UNIVERSITY OF VIENNA
- University of Minnesota
- University of Vienna
- Université Libre de Bruxelles (ULB)
- VIB
- 17 more »
- « less
-
Field
-
(at 23:59 UTC +2). Requirements A PhD in computer science or a related topic Prior experience in logical reasoning is essential Demonstrable research experience in SAT/ASP/SMT/MaxSAT Excellent English
-
The logic and learning (LOL) group is recruiting a postdoc partly funded by the ARC Prize Foundation . You will work with Associate Professor Andrew Cropper . We work on combining logical reasoning
-
20 Jan 2026 Job Information Organisation/Company Idiap Research Institute Research Field Computer science Researcher Profile Recognised Researcher (R2) Positions Postdoc Positions Application
-
applications for a postdoctoral position on logical foundations and formal methods for quantum programming languages. Topics of interest (non-exhaustive) : • Models of quantum computation (λ-calculi, term
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 18 days ago
6 Jan 2026 Job Information Organisation/Company Inria, the French national research institute for the digital sciences Research Field Computer science Researcher Profile Recognised Researcher (R2
-
14 Jan 2026 Job Information Organisation/Company Flanders Institute for Biotechnology Department VIB Center for AI & Computational Biology Research Field Biological sciences » Other Computer science
-
Description VIB.AI, the VIB Center for AI & Computational Biology, is a young research center dedicated to combining machine learning with in-depth knowledge of biological processes. Our mission is
-
10 Jan 2026 Job Information Organisation/Company CNRS Department Institut de Recherche en Informatique Fondamentale Research Field Computer science Mathematics » Algorithms Researcher Profile First
-
10 Jan 2026 Job Information Organisation/Company Aix-Marseille Université Research Field Computer science » Other Mathematics » Applied mathematics Mathematics » Computational mathematics
-
studies Religious sciences » Other Researcher Profile Recognised Researcher (R2) Positions Postdoc Positions Application Deadline 4 Feb 2026 - 23:59 (Europe/Warsaw) Country Poland Type of Contract To be