-
researchers within Amsterdam . Specifically, nearby experts from the CWI cryptology group and QuSoft will offer fertile collaborations on these topics. This is what you will do You are expected to: carry out
-
information; Logic, constraint solving and satisfiability (SAT, #SAT, SMT); Knowledge representation and reasoning (decision diagrams, tensor networks, DNNF); Assist in relevant teaching activities. Where you
Enter an email to receive alerts for network-"CWI" positions