Postdoktor inom praktiskt användbar verifiering för numerisk kod

Vill du forska inom automatiserad programverifiering, med stöd av kompetenta kollegor i en ledande internationell miljö? Vill du ha en arbetsgivare som satsar på ett hållbart medarbetarskap och erbjuder trygga, förmånliga arbetsvillkor? Då är du välkommen att söka anställning som postdoktor på Institutionen för informationsteknologi vid Uppsala universitet.