1 web-programmer-developer-"https:"-"UCL"-"U"-"Bocconi-University"-"https:"-"https:" PhD positions at Uppsala universitet in Sweden

Up to 2 PhD Positions in Programming Languages and Program Verification

Uppsala universitet | Sweden | about 8 hours ago

include developing new automated program verification techniques specifically for such programs, as well as specification inference and fault localisation approaches that would make such verifiers practical