-
group investigates the mathematical foundations of programming and automated reasoning about software. Our research spans programming languages and type systems, program analysis and verification, logic
-
, the China Scholarship Council (CSC) and the DAAD have offered a joint programme to support Chinese postdocs since 2013. Who can apply? Outstanding graduates from Chinese Universities and institutes. What can
-
% international students in the MA program. The visual computing lab embraces its diverse culture, and is proud to host PhD students from over 10 different countries. Our lab language is English. The position is
Enter an email to receive alerts for computer-programmer-"https:" "https:" positions