| Deadline |
Description |
|
2024-09-30
|
Tenure track position in Discrete Mathematics, Tampere University (Finland)
|
|
2024-08-27
|
Associate Senior Lecturer in Logic, Gothenburg (Sweden)
|
|
2023-05-02
|
PhD student position in Logic, Gothenburg (Sweden)
|
|
2023-02-28
|
Two Postdoc positions in Logic, Gothenburg (Sweden)
|
|
2022-10-01
|
DTU tenure track assistant/associate professorship in logic-based AI or algorithms and data structures
|
|
2022-06-19
|
One postdoc or PhD position in the Department of Computer Science, Reykjavik University
|
|
2022-02-28
|
PhD student position in Cyclic Proofs for Modal and Higher-order Logic, University of Amsterdam
|
|
2022-02-28
|
Senior lecturer in logic, University of Gothenburg
|
|
2022-01-31
|
PhD student position in theoretical philosophy, Stockholm University
|
|
2021-10-15
|
PhD position, Uppsala University
|
|
2021-05-31
|
PhD position in Logic, University of Gothenburg
|
|
2021-05-15
|
DTU Tenure track assistant/associate professor in discrete mathematics, algorithms or logic-based AI
|
|
2020-06-15
|
Two PhD positions in Logic, Gothenburg (Sweden)
|
|
2019-09-05
|
Fully funded PhD student position in logic and formal methods, Barcelona (Spain), Deadline: 5 Sep 2019
|
|
2019-04-28
|
Postdoc position in proof systems for modal fixpoint logics, Amsterdam
|
|
2019-04-27
|
PhD position in theory and applications of dependence logic, Helsinki
|
|
2019-04-19
|
PhD positions in proof systems for modal fixpoint logics, Amsterdam
|
