There is a funded PhD position on “Control flow verification and integrity of executed instructions for the protection of run-time data in Tokens, Internet-of-Things, Mobile Devices and Cyber Physical Systems”, supervised by Konstantinos Markantonakis.
More information can be obtained from https://www.findaphd.com/search/projectdetails.aspx?PJID=44472