Je hebt een klacht over de onderstaande posting:
Door Anoniem: Door Anoniem:Op het eerste gezicht lijkt het alsof er vooral om één functionaliteit wordt behandeld. Ofwel, bouw je een brok software waar deze functionaliteit in zit, dan geeft dit document handvatten om dat onderdeel bug vrij te bouwen. Maar ik beken onderhevig te zijn aan een TLDR (Too long, didn't read), dus ik kan ernaast zitten. Niet helemaal correct, ze hebben voor de bewijsvoering gefocussed op kleine, singlethreaded code geschreven in dafny. Er worden nog een aantal randvoorwaarden beschreven, maar vervolgens werkt de methodiek op iedere soortgelijke code. Wat ze wel beschrijven is dat er nog een stap te maken is bij complexe (miljoenen regels aan code) en multithreaded code. De stap die nog gemaakt moet worden is de methode om snel te kunnen bewijzen dat de verschillende brokken geverifieerde code samen te voegen zijn, en hiervoor ook te bewijzen dat deze foutloos werkt. LBRI (Long but read it) The LBRI made me smile. En nog bedankt voor de toelichting!
Beschrijf je klacht (Optioneel):
Junior DevOps Engineer
Certified Secure is op zoek naar een Junior DevOps Engineer. Deze functie is een stuk interessanter dan de term doet vermoeden! Om jou als potentiële nieuwe collega meteen te laten zien wat we doen hebben we speciaal voor jou een selectie gemaakt van een aantal leuke security challenges. Are you ready for a challenge?
Cybersecurity Trainer / Streamer
Toe aan een nieuwe nieuwe job waarmee je het verschil maakt? In de Certified Secure trainingen laat je deelnemers zien hoe actuele kwetsbaarheden structureel verholpen worden. Ook werk je actief mee aan de ontwikkeling van onze gamified security challenges. Bij het maken van challenges kom je telkens nieuwe technieken tegen, van Flutter tot GraphQL, van Elastic Search tot Kubernetes.
