Lediga jobb: Programverifiering
● 2025-06-27 - Kungliga Tekniska högskolan, Skolan för elektroteknik och datavetenskap
Forskningsingenjör inom mikroarkitekturell säkerhet Datajobb, Stockholm
● 2025-06-10 - Uppsala universitet, Institutionen för informationsteknologi
Doktorand i datalogi med fokus på parametrisk flyttalsresonemang Högskolejobb, Uppsala
● 2025-04-29 - Kungliga Tekniska högskolan, Skolan för elektroteknik och datavetenskap
Forskningsingenjör inom mikroarkitekturell säkerhet Datajobb, Stockholm
● 2025-03-13 - Uppsala universitet, Institutionen för informationsteknologi
Postdoktor inom praktiskt användbar verifiering för numerisk kod Datajobb, Uppsala
● 2025-03-10 - Uppsala universitet, Institutionen för informationsteknologi
Doktorand i datalogi Högskolejobb, Uppsala
● 2024-12-05 - Uppsala universitet, Institutionen för informationsteknologi
Doktorand i beräkningsvetenskap Högskolejobb, Uppsala
● 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