Lediga jobb: Verifieringsverktyg
● 2025-12-02 - Kungliga Tekniska högskolan, Skolan för elektroteknik och datavetenskap
Postdoktor inom formell verifiering av protokoll och säker kompilering Högskolejobb, Stockholm
● 2025-11-26 - Knowit AB (Publ)
Testare Datajobb, Stockholm
● 2025-11-25 - Kungliga Tekniska Högskolan
Forskningsingenjör inom UI-utveckling och test av säkerhetsanalysverktyg Elektronikjobb, Stockholm
● 2025-11-18 - Göteborgs universitet
Doktorandplats i formell verifiering av spatiala multiagentsystem Högskolejobb, Göteborg
● 2025-06-13 - Uppsala universitet, Institutionen för informationsteknologi
Forskningsassistent inom datavetenskap: programspråk Datajobb, Uppsala
● 2025-04-25 - Prevas AB
Senior FPGA Utvecklare Datajobb, Västerås
● 2025-01-07 - Uppsala universitet, Institutionen för informationsteknologi
Postdoktor inom beräkningsvetenskap med fokus på energieffektiv programvara Datajobb, Uppsala
● 2024-03-15 - Göteborgs universitet
Postdoktor i Formella Metoder för Correct-by-Design tekniker Högskolejobb, Göteborg
● 2024-03-04 - Göteborgs universitet
Postdoktor i Formella Metoder för Correct-by-Design tekniker Högskolejobb, Göteborg
● 2023-02-01 - Uppsala universitet, Institutionen för informationsteknologi
3 doktorander inom datavetenskap och inbyggda system Högskolejobb, Uppsala