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):
IT Security Officer
Utrecht heeft jou nodig! Als Information Security Officer vertaal je beleid naar technische uitvoering. Dit is cruciaal voor het waarborgen van de informatiebeveiliging van onze inwoners. Je krijgt de kans om betrokken te zijn bij complexe projecten met de nieuwste technologieën en kunt jouw stempel drukken op innovatie. Solliciteer nu!
Digital Designer
Ben jij een Grafisch vormgever, UI-designer, Game-artist of gewoon een ‘self-proclaimed creative genius’, die op zoek is naar een leuke en uitdagende baan waarin je al je creativiteit kwijt kan?Je werkt samen met onze developers en UI/UX-designer aan onze Gamified Cybersecurity Challenges welke jij voorziet van de mooiste designs.
Cyber Security Trainer
"You know that feeling after you have been to the cinema and seen an exciting movie? It's the same after this training. I can only say that this is probably the BEST TRAINING that I've ever done!!!”
Are you ready for a challenge?
Senior Full Stack Developer
Als full stack developer bij Certified Secure maak je de mooiste cybersecurity challenges die onze deelnemers wereldwijd uitdagen en inspireren. Alle challenges zijn gebaseerd op actuele kwetsbaarheden, je komt dus telkens nieuwe technieken tegen, van machine learning tot web assembly, van Swift UI tot GCP.