-
algorithms (e.g., SAT solving, constraint solving, MaxSAT, SAT modulo theories, Answer Set Programming, (Mixed) Integer Programming, ...). Selection process For more information please contact Prof. dr. Bart
-
Networks, and ICT Services & Applications. Your role We offer a dynamic postdoctoral research position who will join the TruX Research Group headed by Prof. Dr. Tegawendé F. Bissyandé. The successful
Enter an email to receive alerts for algorithm-development-"Prof.-Dr" positions