Lediga jobb: Programverifiering
● 2024-10-30 - Uppsala universitet, Institutionen för informationsteknologi
Postdoktor Datajobb, Uppsala
● 2024-10-29 - Uppsala universitet, Institutionen för informationsteknologi
Doktorand i datalogi Högskolejobb, Uppsala
● 2024-09-10 - Uppsala universitet
Doktorand i beräkningsvetenskap Högskolejobb, Uppsala
● 2024-03-22 - Uppsala universitet, Institutionen för informationsteknologi
Doktorand i datalogi med fokus på automatiserad verifiering av numerisk kod Högskolejobb, Uppsala
● 2022-03-14 - Uppsala universitet, Institutionen för informationsteknologi
Biträdande universitetslektor i datavetenskap Högskolejobb, Uppsala
● 2021-11-11 - Kungliga Tekniska Högskolan
Doktorand inom deduktiv verifiering av säkerhetskritisk mjukvara Högskolejobb, Stockholm
● 2018-12-06 - Kungliga Tekniska högskolan,
Doktorand inom Deduktiv verifiering av säkerhetskritisk inbyggd Administratörsjobb (offentlig verksamhet), Stockholm
● 2018-03-23 - Uppsala universitet, Institutionen för informationsteknologi
Upp till 2 postdoktorer inom cybersäkerhet Datajobb, Uppsala
● 2018-03-15 - Uppsala universitet, Institutionen för informationsteknologi
Postdoktor inom kodoptimering och kodanalys med hjälp av maskini Datajobb, Uppsala
● 2018-03-14 - Uppsala universitet, Institutionen för informationsteknologi
Doktorand inom programanalys med hjälp av maskininlärning Administratörsjobb (offentlig verksamhet), Uppsala