Are you an aspiring computer scientist with a fascination for declarative programming, the Internet of Things or topics that intersect with this? Then join the Software Science group at the Institute for Computing and Information Sciences as a PhD candidate!

You will contribute to research on the various aspects of orchestrating IoT systems. Topics we study are embedded domain-specific languages, declarative programming styles such as functional programming and task-oriented programming, tierless programming, green computing, and system orchestration. Furthermore, we perform quantitative and qualitative empirical research on these techniques to answer questions regarding the usability, maintainability and evolve-ability of these novel methods.

The research in the department has led to several (open-source) tools that you will use as an object of study (among others). Examples of this are: Clean, a functional programming language, iTasks, a task-oriented programming framework for distributed web applications, and mTask, a task-oriented programming language for embedded devices.

As a PhD candidate, you will help further develop these systems and methods; a focus can be chosen depending on your own interest and background. Your teaching load will be up to 10% of your working time. You will be supervised by Dr Mart Lubbers. If you have any questions or would like to receive further details on this position, please feel free to contact us.

• You hold a Master's degree or equivalent in Computer Science or a closely related field, or expect to obtain such a degree soon.
• You have experience with declarative programming languages.
• You preferably have experience with programming embedded domain-specific languages, embedded devices or tierless programming.
• You are able to work both independently and as part of a team.
• You are proficient in English.
  
  If you are excited about this position but have not yet fully completed your Master's degree, please do not hesitate to apply or contact us.

Fixed-term contract: 4 years.

• We will give you a temporary employment contract (1.0 FTE) of 1,5 years, after which your performance will be evaluated. If the evaluation is positive, your contract will be extended by 2.5 years (4-year contract).
• You will receive a starting salary of €2,770 gross per month based on a 38-hour working week, which will increase to €3,539 in the fourth year (salary scale P).
• You will receive an 8% holiday allowance and an 8,3% end-of-year bonus.
• You will be able to use our Dual Career and Family Support Service. The Dual Career Programme assists your partner via support, tools, and resources to improve their chances of independently finding employment in the Netherlands. Our Family Support Service helps you and your partner feel welcome and at home by providing customised assistance in navigating local facilities, schools, and amenities. Also take a look at our support for international staff page to discover all our services for international employees.
• You will receive extra days off. With full-time employment, you can choose between 30 or 41 days of annual leave instead of the statutory 20.

Work and science require good employment practices. This is reflected in Radboud University's primary and secondary employment conditions. You can make arrangements for the best possible work-life balance with flexible working hours, various leave arrangements and working from home. You are also able to compose part of your employment conditions yourself, for example, exchange income for extra leave days and receive a reimbursement for your sports subscription. And of course, we offer a good pension plan. You are given plenty of room and responsibility to develop your talents and realise your ambitions. Therefore, we provide various training and development schemes.

As a PhD candidate, you will be affiliated with the Software Science group at the Institute for Computing and Information Sciences (iCIS) at Radboud University. The Software Science group employs approximately 60 members, comprising full, associate and assistant professors, postdoctoral researchers, and PhD candidates. The group has a long history in functional programming, task-oriented programming, (embedded) domain-specific languages, compiler technology, and distributed computing. You will pursue your PhD in a vibrant international research environment.