PhD position in Language-based Security

Job Posting: PhD position in Language-based Security

Utrecht University, Department of Information and Computing Sciences; Utrecht, Netherlands

Today, developers do not have the right tools to build secure systems. They develop critical software using programming languages and compilers that do not account for security or privacy. Therefore, attackers can too easily exploit software bugs as security vulnerabilities to bypass defenses and breach systems. By rigorously applying programming language techniques to security problems, language-based security provides a fundamental approach to building …

account attackers breach bugs build bypass compilers computing critical department developers exploit foundations information job job posting language languages netherlands privacy problems programming project security software systems techniques tools university vulnerabilities