Je hebt een klacht over de onderstaande posting:
Door Anoniem: Door Named: Ontwikkelaars moeten "formal verification" theorie kennen, goed testen en solide foutafhandeling kunnen toepassen. Formele methodes, ja daar hadden ze het 40 jaar geleden ook al over. Nog nooit iemand tegengekomen die zo werkt. Alleen de rivierafsluiting Maeslantkerinf bij Rotterdam is dacht ik ooit 'formeel bewezen', maar ben benieuwd of de nieuwe versie dat ook weer gaat worden. Het word ook niet behandeld in de gemiddelde ICT opleidingen. Natuurlijk is formele verificatie van heel je software overkill. Zolang je alle foutcondities afgaat en extra aandacht besteed aan het veilig inlezen van attacker-supplied data, dan kom je al een heel eind.
Beschrijf je klacht (Optioneel):
Cybersecurity Trainer / Full Stack Developer
Ben je toe aan een nieuwe job waarmee je het verschil maakt? Wil jij je security kennis graag delen en hands-on laten zien hoe cybersecurity in de praktijk echt werkt? Werk je net als wij graag samen met enthousiaste en gedreven collega's? Bij ons geen bureaucratie maar open communicatie en een werkomgeving gericht op samenwerking.
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?