[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]Dear all,There is currently a PhD position available at Radboud University Nijmegen (the Netherlands) in the area of /Higher-Order Term Rewriting with Logical Constraints/. The position is for four years, and comes with a competitive salary and very attractive employment conditions.
Interested students who either already hold a Master's degree in computer science, mathematics, or a related area, or who will complete such a degree before September, are encouraged to apply. The application deadline is 31 May.
*The project*As a PhD Candidate, you will conduct research into higher-order term rewriting systems with logical constraints. This project brings together two different areas of theoretical computer science: higher-order term rewriting and program analysis, and in particular analysis of functional programming languages. 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.
Term rewriting can be combined with a logical theory and logical constraints; for example, integer numbers and conditions such as (x > 1) ∧ (y ≠ x). With this approach, it is possible to model programs in common programming languages; in particular, higher-order term rewriting systems offer a natural model to analyse functional programming languages.
In this project, your task will be to develop techniques to analyse properties of higher-order term rewriting systems with logical constraints, and apply these techniques towards program analysis. You can build on several existing approaches, but will have a lot of 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....@cs.ru.nl.
*Work environment*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.
*What we expect from you* * you will be able to start before or in September; * you hold an Msc or equivalent degree in computer science, mathematics or a closely related field -- or will graduate from such a field before starting the PhD position; * you are able to work both independently and as part of a team; * you are proficient in English (knowledge of Dutch is not required).Preference will be given to candidates with some programming experience, but this is not required. Prior knowledge of term rewriting or implicit complexity is also a boon, but not required.
*What we have to offer* * employment: 0.8 - 1.0 FTE; * a maximum gross monthly salary of € 2,972 based on a 38-hour working week; * the gross starting salary amounts to €2,325 per month, and will increase to €2,972 in the fourth year; * in addition to the salary: an 8% holiday allowance and an 8.3% end-of-year bonus; * duration of the contract: you will be appointed for an initial period of 18 months, after which your performance will be evaluated. If the evaluation is positive, the contract will be extended by 2.5 years. * you will be classified as a PhD Candidate (promovendus) in the Dutch university job-ranking system (UFO); * you will be able to make use of our dual career service ( https://www.ru.nl/english/working-at/why-work-at-radboud-university-0/our-way-working-personal-approach/dual-career-service/ ) where our Dual Career Officer will assist with family related support, such as child care, and help your partner prepare for the local labour market and with finding an occupation; * For our employment conditions, see https://www.ru.nl/english/working-at/why-work-at-radboud-university-0/terms-employment/ . *How to apply*You can apply at https://www.ru.nl/werken-bij/vacature/details-vacature/?recid=1098786 , or ask for more information by e-mail to me ( c....@cs.ru.nl )
Note that the deadline for applications is set at 31 May, and the project can start immediately when a PhD candidate is hired, or later in discussion (but no later than September).
