analysis and verification

PhD Position in Programming language design, analysis and verification

July 22, 2020

Applications are invited for a PhD fellowship/scholarship at Graduate School of Natural Sciences, Aarhus University, Denmark, within the Computer Science programme. The position is available from 1 November 2020 or later. Title:Programming language design, analysis and verification Research area and project description:The Programming Languages group at the Department of Computer Science is looking for talented PhD students […]

Read More