Sort by
Refine Your Search
-
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
-
Qualifications PhD in Computer Science, Software Engineering, FinTech Strong programming skills in Solidity and other smart contract languages Experience with blockchain platforms and development tools Proven
-
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