Two Postdocs in Computer Science for foundational research into 'legal tech'
We are looking for
We are looking for two postdoctoral researchers in computer science for foundational research into legal tech.
This is your chance to dig into the fundamental assumptions underlying computer science (CS), teasing out the implications they may have for real life applications, notably those of legal tech.
The combination of research into the theory of computer science and the opportunity to make a difference in the legal domain provides a unique opening for those willing to address the societal impact of both machine learning and self-
executing code, based on frontline research in the theory of computer science.
Both postdocs will be part of the cross-disciplinary research team of the ERC Advanced Grant project on Counting as a Human Being in the Era of Computation Law (COHUBICOL).
They will inquire into the architecture and foundational issues of :
One of the postdocs will focus on machine learning, the other on self-driving code.
Relevant research questions for the computer science team could, for instance, be :
On the side of machine learning :
How does this relate to the credibility and reproducibility crisis and the lack of theoretical rigour in applied ML research?
On the side of self-executing code (smart contracts or smart regulation) :
Turing thesis on undecidability, and Wolperts NFL theorems - coupled with the issues of, for example, undefined behaviour and floating point numbers?
or code- or data-driven architecture, with a demonstrated affinity with theoretical CS.
The Institute for Information and Computing Science (iCIS) is a renowned computer science research institute, hosting around 130 staff.
Each of its three research themes (Digital Security, Software Science, and Data Science) builds upon Radboud Universitys long-
standing tradition of combining cutting-edge research on the mathematical foundations of computer science with societally relevant problems that are susceptible to scientific solutions.
The overall objective of iCIS is to perform excellent scientific research and to have a positive impact in science and also in society both in terms of improved economic performance and in terms of social well-
being. iCIS not only aims to study technical aspects of software systems, but also their embedding in the environments in which they have to operate.
iCIS wants to have firm roots within the broad general university environment offered by Radboud University. This also explains the focus on formal modelling and analysis and distinguishes iCIS from computer science departments at technical universities, which typically have a more applied focus.
iCIS aims to contribute to the progress of computer science itself and also to the progress of science by ICT applications in other disciplines such as neuroscience, biology, law and medicine, i.
e. scientific areas in which Radboud University is particularly strong.
The Faculty of Science is a complete, student-oriented science faculty where research and education are closely related.
The faculty aims to be an academic community with an international profile, where staff members from different backgrounds can combine their talents with the common goal of being a leading faculty of science in Europe.
We want to get the best out of science, others and ourselves. Why? Because this is what the world around us desperately needs.
Leading research and education make an indispensable contribution to a healthy, free world with equal opportunities for all.
This is what unites the more than 22,000 students and 5,000 employees at Radboud University. And this requires even more talent and collaboration.