Sort by
Refine Your Search
-
Listed
-
Field
-
(TQFTs), to study non-perturbative aspects of QFT. Projects are available in the study of formal aspects of generalized symmetries, semiclassical study of monopoles, and the applications of generalized
-
(Sweden) Participation in specialised training workshops and international conferences. How to apply* Website: Formal applications must be submitted through this link: https://www.findaphd.com/phds/project
Searches related to formal verification
Enter an email to receive alerts for formal-verification positions