Je hebt een klacht over de onderstaande posting:
Door _R0N_: Zover ik weet is er maar 1x bevestigd dat het 100% zeker is dat er geen bugs zitten in een stuk software. Dat stukje software, wat niet heel complex is was de originele Pacman. De originele Pacman _heeft_ een bug. https://errors.fandom.com/wiki/Pac_Man_-_Infamous_Kill_Screen_Bug Er is research naar formele verificatie https://en.wikipedia.org/wiki/Formal_verification (dat gaat natuurlijk all the way down - met bewezen compiler, op bewezen hardware ...) Avionics software is een gebied wat misschien niet bewezen bugvrij is, maar wel _extreem_ weinig bugs. Feynman in de beschrijving van de Space Shuttle. (https://www.ranum.com/security/computer_security/editorials/dumb/feynman.html Donald Knuth heeft ook wat (significante) software geschreven met _erg_ weinig bugs : The original source code for the current TeX software is written in WEB, a mixture of documentation written in TeX and a Pascal subset in order to ensure readability and portability. For example, TeX does all of its dynamic ...
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.
