1 software-verification-postdoc PhD positions at Aarhus University in Denmark

Post Doc position with focus on Algorithmic Verification of Database Systems at Computer Science, Aarhus University

Aarhus University | Denmark | about 22 hours ago

fellow will conduct research on Algorithmic Verification of Database Systems with the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus of the position will