You cannot apply for this job anymore (deadline was 29 Apr 2019).
Browse the current job offers or choose an item in the top navigation above.
As a PhD candidate, you will work with Dr Cynthia Kop on the NWO-funded project ‘Implicit Complexity through Higher Order Rewriting’. The work will be carried out in collaboration with researchers in several European countries.
Computational complexity is the study of resources (typically time and space) required to algorithmically solve a problem. This area studies some highly elusive questions of theoretical importance, such as (but certainly not limited to) the famous 'Clay Mathematics Prize "million-dollar" problem'. Rather than analysing programs directly, the area of implicit complexity seeks to encode queries into calculi or logics. This allows methods from widely different areas to be brought to bear on the questions of complexity; inversely, this study can create new insights into the underlying logics.
In this project, you will use higher-order term rewriting as a method for analysing implicit complexity. Term rewriting is a formal system that can be used to specify algorithms. Its simple, rigorous definition makes it very suitable for formal analysis, and as a result, its properties are well studied. Higher-order term rewriting extends standard term rewriting with anonymous functions and binders as in the ?-calculus, thus providing a highly liberal class of systems. You can build on several existing approaches, but will have the freedom to define your own direction.
You will be supervised by Dr Cynthia Kop. If you wish to learn more, feel free to send an e-mail to C.Kop@cs.ru.nl.
Are you interested in our excellent employment conditions?
Faculty of Science
Strategically located in Europe, Radboud University is one of the leading academic communities in the Netherlands. It is a place with a personal touch, where top-notch education and research take place on a beautiful green campus, in modern buildings with state-of-the-art facilities.
The position is available in the Software Science group of the Institute for Computing and Information Sciences (iCIS) at Radboud University. Research at iCIS focuses on software science, digital security and data science. During recent evaluations, iCIS has been consistently ranked as the No. 1 Computing Science department in the Netherlands. Evaluation committees praised our flat and open organisational structure, our ability to attract external funding, our strong ties to other disciplines, and our solid contacts with government and industrial partners. The Software Science group is well known for its contributions to the mathematical foundations of software, formal methods, and functional programming.
Further information on The Institute for Computing and Information Sciences (iCIS)
Further information on the project ICHOR
Further information on Cynthia Kop
We like to make it easy for you, sign in for these and other useful features: