--------------------------------------------------------------------------------------
3 Fully funded PhD positions in Software Technology at Radboud
University, Netherlands
--------------------------------------------------------------------------------------
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:
* programming languages
* compiler technology
* code generation
* runtime systems
* High-Performance-Computing
* Parallel Computing
to strengthen our group.
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 (www.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 ([email protected]) 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 ([email protected]) for details.
In *Heterogeneous 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
(www.cerebras.net). This
work will contribute to the new TEN-X initiative (mission10-x.org).
Please contact Sven-Bodo Scholz ([email protected]) for details.
We offer:
* a gross monthly salary starting from €2,434 in the first year,
step-wise increasing to
€3,111 in the fourth year.
* a 4 year full-time contract, subject to a successful performance
evaluation after 18 months.
* a stimulating work environment with excellent Dual Career and Family
Care Services.
= How to apply =
Applications should consist of a single pdf-file containing your CV, a
cover letter explaining
your motivation, and a letter of reference. We will consider
applications as they arrive until
the positions are filled. The deadline for applications is January 31 2022.
Please send your application to: [email protected].
_______________________________________________
clean-list mailing list
[email protected]
https://mailman.science.ru.nl/mailman/listinfo/clean-list
