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
-
://mediatum.ub.tum.de/doc/1696192/aab7jokzk7x4paq7m2y9pa2p6.Wetzlinger-2022-NAHS.pdf Job Specifications For PhD applicants: Excellent Master’s degree (or equivalent) in computer science, engineering, or related
-
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
-
) and present your work at top conferences and journals in our field. Candidates should have completed their Master/Diploma studies in Computer Science, Mathematics, Mechatronics, Electrical Engineering