-
limited to): compositional contract-based design, compositional correct-by-design methods, specification formalism for expressing properties of ACPS, statistical verification, and runtime verification under
-
technologies, economics and policies either drive or constrain the growth of clean energy technologies. The PhD student or Postdoctoral researcher will use a combination of empirical research, statistical
-
of underground resources and have close collaboration with neighbouring sciences, such as mathematics, statistics, and economics. An explicit goal of the Engineering Geology research area is to develop and provide
-
. Research experience in the field of timber connections is a big merit. We value if you are skilled in experimental work, have experience from data processing, statistical analyses, and numerical analyses
-
, specification formalism for expressing properties of ACPS, statistical verification, and runtime verification under uncertainty. Information about the division and the department The Group for Safe and