<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">To whom may be interested,</span></div>
<div>
<div dir="ltr">
<div class="x_elementToProof x_ContentPasted0" style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<div><br class="x_ContentPasted0">
</div>
<div class="x_ContentPasted0">With this message I would like to bring your attention to a Postdoc vacancy with the following title and summary:</div>
<div><br class="x_ContentPasted0">
</div>
<div class="x_ContentPasted0"> Postdoc Position on Digitally Enforceable Data Sharing Contracts</div>
<div class="x_ContentPasted0"> </div>
<div class="x_ContentPasted0"> 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.</div>
<div class="x_ContentPasted0"> </div>
<div class="x_ContentPasted0">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/</div>
<div><br class="x_ContentPasted0">
</div>
<div class="x_ContentPasted0">For more information, contact me at l.t.vanbinsbergen@uva.nl.</div>
<div><br class="x_ContentPasted0">
</div>
<div class="x_ContentPasted0">Kind regards,</div>
<div><br class="x_ContentPasted0">
</div>
<div class="x_ContentPasted0">Dr. L. Thomas van Binsbergen,</div>
<div class="x_ContentPasted0">Assistant Professor,</div>
Informatics Institute, University of Amsterdam<br>
</div>
</div>
</div>
</body>
</html>