To whom may be interested, With this message I would like to bring your attention to a Postdoc vacancy with the following title and summary: 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-D... For more information, contact me at l.t.vanbinsbergen@uva.nl. Kind regards, Dr. L. Thomas van Binsbergen, Assistant Professor, Informatics Institute, University of Amsterdam