-
on Topological methods in Discrete Mathematics and conduct research related to problems in Combinatorics, Graph theory and aspects of the Constraint Satisfaction Problem (CSP) with emphasis on topological methods
-
methods for lattice models., e.g., dynamical mean-field theory or variational Monte Carlo Good communication skills (oral and written) in English Informal inquiries about the position can be sent to Jan
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions