1 algorithm-sensor Postdoctoral positions at KU LEUVEN in Belgium

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for algorithm-sensor positions

PostDoc in Combinatorial Optimization (Proof Logging / Explanations)

KU LEUVEN | Belgium | 6 days ago

optimization algorithms (e.g., SAT solving, constraint solving, MaxSAT, SAT modulo theories, Answer Set Programming, (Mixed) Integer Programming, ...). We offer a fully-funded postdoc position, initially for 12

Searches related to algorithm sensor

Enter an email to receive alerts for algorithm-sensor positions