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.
In the Software Technology group at Radboud University in Nijmegen, Netherlands, we are looking for enthusiastic and outstanding Computer Science or Mathematics students with a strong background in at least one of the following areas:
to strengthen our group. You should hold an MSc or equivalent degree, be a keen team player, but also be able to work independently. All our research and teaching is done in English; strong communication skills in written and verbal form are a must.
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 applicable, 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.
Our key driving force is the desire to combine programming language research with compiler technology and code generation techniques for creating practically applicable software tools. Our credo lies in HP3 technology: combining High-Productivity, High-Portability, and High-Performance.
Long-term projects driven by our group include the Clean project (clean.cs.ru.nl), the SaC project (sac-home.org), and the iTask system (clean.cs.ru.nl/ITasks).
Our current focal points are: Gradual Programming, Swarm Computing, Heterogeneous High-Performance-Computing, 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.
We offer:
Applications should consist of a single pdf-file containing your CV, a cover letter explaining your motivation, a transcript of your latest degree grades, a copy of your master's thesis (if available) and a letter of reference. The letter of reference can be supplied separately. We will consider applications as they arrive until the positions are filled. The deadline for applications is the 28 February 2022. 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.
Please send your application to Sven-Bodo Scholz.