Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- George Washington University
- CNRS
- Ghent University
- International Institute of Molecular and Cell Biology in Warsaw
- KU LEUVEN
- UNIVERSITY OF HELSINKI
- University of Basel
- Aarhus University
- Aix-Marseille Université
- Flanders Institute for Biotechnology
- Idiap Research Institute
- Inria, the French national research institute for the digital sciences
- Institute of Theoretical Physics
- Jagiellonian University Faculty of Philosophy
- Linköping University
- Stanford University
- Technical University of Denmark
- Technical University of Munich
- University of Minnesota
- Utrecht University
- VIB
- 11 more »
- « less
-
Field
-
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
-
(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
-
offering state-of-the-art study programmes grounded in research in a wide range of academic fields, Ghent University is a logical choice for its staff and students. RISLab at the Economics Department
-
most two pages, explaining your motivation, research goals and why you fit the advertised position. The workplace The Department of Computer and Information Science was founded in 1983, but its roots go
-
initiatives. The Department of Biochemistry and Molecular Medicine (BMM) of the George Washington University, School of Medicine and Health Sciences (SMHS), strives to deliver the highest quality
-
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 | about 2 months 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