PhD Candidate in Software Technology

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.