-
(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
-
(at 23:59 UTC +2). Requirements A PhD in computer science or a related topic Prior experience in SAT/ASP/SMT/MaxSAT is essential Any experience in model counting and a broader understanding of machine
-
. The candidate should hold PhD degree in microbiology, bioinformatics or related field, and good written and verbal communication skills in English are necessary. The postdoctoral position is for 4 years starting
-
The Water-Food Futures project aims to identify solutions that reduce water overuse and pollution while ensuring food security and the economic viability of food production. We study how tailored