-
, logical methods, programming languages, computer architecture, and security, to name but a few of the more prominent areas. The graduate school is home to more than 540 doctoral candidates in all fields
-
. In addition to the thesis, PhD students will receive training in research methods, knowledge transfer, and teaching as well as practical work in patient health care and physical performance testing
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions