Doctoral Student with a focus on scalable verification of quantum programs

Vill du arbeta med formell verifiering och programmeringsspråkstekniker tillämpade på kvantsystem, med stöd av kompetenta och trevliga kollegor i en internationell miljö? Vill du ha en arbetsgivare som satsar på ett hållbart medarbetarskap och erbjuder trygga, förmånliga arbetsvillkor? Välkommen att söka anställning som doktorand vid Institutionen för informationsteknologi, Uppsala universitet.