PhD Opportunity in Verification of Security and Privacy in Modern Threat Landscapes: Theory and Practice