Aarhus University is offering Postdoctoral and PhD Positions at the Center for Basic Research in Program Verification (CPV) at Department of Computer Science. The positions are supported by an ERC Advanced Grant and a Villum Investigator Grant, with research focusing on program verification, semantics, type theory, Rocq formalization, and related areas. Applicants should have a …
