Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
focuses on Sonic Efficacy in Global Southern Asia. Sonic efficacy in global Southern Asia employs immersive ethnography and participant observation, sound studies and sensory anthropology methods to pursue
-
10.08.2021, Wissenschaftliches Personal Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions