Postdoc Position on Digitally Enforceable Data Sharing contracts
The University of Amsterdam (UvA) is looking for a Postdoctoral Researcher in the area of programming languages, formal methods, and distributed systems. The goal of the research is to enable the integration and automatic enforcement of high-level contract specification within distributed systems for data exchange and federated data processing. Possible outcomes are: (domain-specific) software languages, system architecture designs, and prototypes for verifying contract specifications, language implementations, and auditing/monitoring components. The offered contract is for a minimum of 12 months. The closing date is the 25th of June. The ideal starting date the 1st of August.
The full vacancy text and application procedure can be found here: https://vacatures.uva.nl/UvA/job/Postdoc-Position-on-Digitally-Enforceable-Data-Sharing-Contracts/771937302/