Sort by
Refine Your Search
-
contribute to advanced research in discrete-event systems. We are an internationally renowned research group that views automation engineering as a key enabler for new methods and applications, driving and
-
us The High-Energy part of the Theoretical Subatomic Physics group performs research into elementary particle physics from model building and Dark Matter to formal Quantum Field Theory
-
model building and Dark Matter to formal Quantum Field Theory. Organizationally we are part of the division of Subatomic, High-Energy and Plasma Physics within the Department of Physics . We have a
Searches related to formal method
Enter an email to receive alerts for formal-method positions