Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
-
Field
-
automatic formal verification of cyber-physical systems. The Technical University of Munich is one of the top research universities in Europe fostering a strong entrepreneurial spirit and international
-
scholar will join the Computational Logic Center (CLC) within the department of computer science. The CLC performs research across programming languages, formal verification, and automated reasoning, and
-
Fonden we have several postdoc and PhD openings in the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University. The research topics at the Center
-
or dissertation, etc. 2. documentation that the criteria set out in the desirable requirements section have been met. Selection process The first stage of the competition procedure is formal verification
-
formal verification of automation systems. Engage in teaching at undergraduate and master's levels, if required. Collaborate with partners across academia, industry, and society. Qualifications PhD degree
-
. Contribute to research projects within discrete-event systems, supervisory control theory, and formal verification of automation systems. Engage in teaching at undergraduate and master's levels, if required