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/
L. Thomas van Binsbergen
Assistant Professor
Ana Oprescu
Assistant Professor
Tom van Engers
Full Professor (FDR)
I conduct research on AI & Law, with a particular focus on normative reasoning. Having a track record in AI & Law research going back to 1983, I have worked both on knowledge-driven as well as data-driven AI approaches.