1 cognitive-radio Postdoctoral scholarships in Denmark

Postdoc and PhD positions to the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University

Aarhus University | Denmark | 4 days ago

. The ideal candidate has working knowledge of the Iris higher-order concurrent separation logic framework and in one or more of the topics covered by CPV (see above). The tasks of the postdoc consists of doing