The Software Technology Group is looking for three enthusiastic and outstanding PhD candidates in computer science or mathematics
Software has shaped every aspect of our modern lives. Ensuring that software is correct and secure, is both a major scientific challenge and an enterprise with enormous social relevance. Would you like to contribute to world-leading research on the use of models for design and analysis of software? Then you have a part to play as a PhD candidate in software technology.
The Software Technology Group is looking for three enthusiastic and outstanding PhD candidates in computer science or mathematics with a strong background in at least one of the following areas: programming languages, compiler technology, code generation, runtime systems, high-performance computing, parallel computing, or low-power computing.
As a PhD candidate in the Software Technology Group, you will actively contribute to the research group’s activities while spearheading in your chosen research topic. You will demonstrate the feasibility of your ideas in the context of open-source projects and present your ideas on international conferences and journals. If possible, you will also demonstrate your work to our industrial partners. Last but not least, you will be involved in contributing a modest proportion of your time (approximately 10%) to teaching.
Profile
- You hold an MSc or equivalent degree in computer science, mathematics or a closely related field.
- You are a keen team player but can also work independently.
- You are enthusiastic about programming languages and compiler technology.
- You are proficient in English.
We are
The Software Technology Group’s key driving force is the desire to combine programming language research with compiler technology and code generation techniques for creating practically useful software tools. We believe in HP3 technology: combining high productivity, high portability and high performance.
Long-term projects driven by our group include the Clean project, the SaC project, and the iTask system.
Our current focal points are: gradual programming, swarm computing, heterogeneous high-performance computing and sustainable and energy-efficient computing. With Gradual Programming, we aim to combine the flexibility of rapid prototyping with the type safety of strongly typed programming languages. We look into a radically new approach towards typing programming languages for increased productivity, correctness and sustainability. Please contact Peter Achten for details.
Swarm Computing refers to the idea of being able to, from a single source, perform programming, controlling, and computation on a dynamic and hybrid collection of computational units varying from CPUs, GPUs, FPGAs, TPUs, to IoT devices. Currently, we are particularly interested in Swarm Computing for sustainable IoT utilisation. Please contact Pieter Koopman for details.
In Low-Energy High-Performance Computing, we are interested in the generation of code for swarm computing systems aiming for unprecedented levels of efficiency in terms of both, runtime and energy efficiency. This includes mainstream accelerators such as GPUs and FPGAs as well as novel architectures such as Cerebras’ new architecture. This work will contribute to the new TEN-X initiative. Please contact Sven-Bodo Scholz for details.
Radboud University
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 24,000 students and 5,600 employees at Radboud University. And this requires even more talent, collaboration and lifelong learning. You have a part to play!
We offer
- Employment for 0.8 (5 year contract) – 1.0 FTE (4 year contract).
- The gross starting salary amounts to €2,443 per month based on a 38-hour working week, and will increase to €3,122 from the fourth year onwards (salary scale P).
- You will receive 8% holiday allowance and 8.3% end-of-year bonus.
- 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 (4 year contract) or 3.5 years (5 year contract).
- You will be able to use our Dual Career and Family Care Services. Our Dual Career and Family Care Officer can assist you with family-related support, help your partner or spouse prepare for the local labour market, provide customized support in their search for employment and help your family settle in Nijmegen.
- Working for us means getting extra days off. In case of full-time employment, you can choose between 29 or 41 days of annual leave instead of the legally allotted 20.
Additional employment conditionsWork 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.
Would you like more information?
For questions about the position, please contact Sven-Bodo Scholz, Full Professor at SvenBodo.Scholz@ru.nl. Alternatively, you can contact Peter Achten, Assistant Professor at P.Achten@cs.ru.nl
Practical information and applications
You can apply until 27 February 2022, exclusively using the button below. Kindly address your application to Sven-Bodo Scholz. Please fill in the application form and attach the following documents:
- A letter of motivation.
- Your CV including the contact details of a referee.
- A transcript of grades.
- A copy of master’s thesis (if available).
Based on the information provided, you can be invited to a one-week programming challenge. Upon successful completion of the challenge, you will be invited to an in-depth interview.
You would preferably begin employment as soon as possible.We can imagine you’re curious about our application procedure. It offers a rough outline of what you can expect during the application process, how we handle your personal data and how we deal with internal and external candidates.
We drafted this vacancy to find and hire our new colleague ourselves. Recruitment agencies are kindly requested to refrain from responding.