Department of Software Systems
Additionally, more information is available on slides that are available with the linkbelow:https://drive.google.com/a/ieee.org/file/d/0Byw4AEomZK2edGJuNG5aR1RKcGs/view?usp=drivesdk
Applicants must have a master’s degree in computer science, informatics, or related studies. The focus of the PhD position will be conducting research and publishing peer-reviewed scholarly papers. The research will also comprise proof-of-concept prototyping. Additionally, the candidate will supervise master thesis projects that help to further the actual PhD topic. We aim to keep teaching obligation limited so that the the candidate has the necessary timetable available for research activities. The candidate is expected to know excellent English in spoken and written form.
Given the detected deficiencies of the current smart-contract lingua france, the main research question for this PhD position is: How to develop a smart-contract language that has the utility and suitability for legal use by industry practitioners?
The inherent suitability and expressiveness of smart-contract languages also has implications on the underlying enactment machinery. Blockchain-enabled smart contracts that employ proof-of-stake validation for transactions, promise significant performance advantages compared to proof-of-work solutions. For broad industry adoption, other important requirements must be met in addition. For example, stable backwards-compatible smart contract systems must automate cross-organizational information-logistics orchestration with lite mobile wallets that support simple payment verification (SPV) techniques.
Note that the application for this PhD position is under the section for information and communication technology. The link above also provides all other relevant information. Further inquiries may be asked by sending an email to firstname.lastname@example.org