Ihre Aufgaben Sie übernehmen Forschungsaufgaben zur Absicherung von Smart Contracts im Rahmen des ERC Starting Grant CONSEC (Secure Execution of Smart Contracts). Sie entwickeln und evaluieren Werkzeuge im Bereich Smart Contract Sicherheit (u. a. Static Analy…