Sort by
Refine Your Search
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 9 days ago
11 Nov 2025 Job Information Organisation/Company Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID Department DRH Research Field Economics » Other Other
-
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/1687691/ltbbjgwihiht96fqfeblxdyj7.ITSC22_CommonOcean.pdf Job Specifications For PhD applicants: Excellent Master’s degree (or equivalent) in computer science, engineering, or related disciplines
-
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