Sort by
Refine Your Search
-
Country
-
Employer
-
Field
-
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
-
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
-
of Environmental Health Sciences (NIEHS ) National Institute of General Medical Sciences (NIGMS ) National Institute of Mental Health (NIMH ) National Institute of Neurological Disorders and Stroke (NINDS ) National
-
, or machine learning is also appreciated. PhD: The candidate is expected to have some background in theoretical computer science, including some of the following areas: automata, logic, games, verification