Master's Thesis: Formal Verification of Secure Auth

Een uitdagende masterthesis in een vooraanstaand bedrijf dat zich richt op de digitale transformatie van de gezondheidszorg. Je onderzoekt de mogelijkheden van formele verificatie om de beveiliging van een innovatief zorgportaal te verbeteren. Dit project biedt je de kans om samen te werken met ervaren professionals en toegang te krijgen tot een academisch onderzoekscentrum. Je zult betrokken zijn bij het ontwikkelen van oplossingen die de communicatie tussen zorgverleners verbeteren en de kosten in de Nederlandse gezondheidszorg verlagen. Dit is een unieke kans om je vaardigheden in een praktische omgeving te ontwikkelen en bij te dragen aan belangrijke technologische vooruitgangen. #J-18808-Ljbffr