Are you excited about developing high-performance software? Are you eager to contribute, in a team, to developing state-of-the-art, pioneering GPU software that accelerates (irregular) scientific computations?
We offer one fully funded ICT Developer position, for one year, on GPU accelerated search space exploration.
InformationVarious scientific applications, such as model checking, automated planning, reliability engineering and supervisory controller synthesis, rely on the exploration of large search spaces. At first glance, these computations seem unsuitable for GPU acceleration, as they are highly irregular. However, within the Parallel Software Development group (PSD, see
http://psd.win.tue.nl), which is part of the Software Engineering & Technology cluster (SET) of the Mathematics and Computer Science department, we have been conducting research on this topic for over a decade, and have achieved effective acceleration.
In the GUESS project, an important next step will be taken, involving symbolic reasoning about large search spaces using GPUs. We expect to achieve ground-breaking results, further pushing the state-of-the-art for the applications mentioned above. To achieve this, we are looking for an experienced GPU programmer who is eager to think outside the box, and address computations that are atypical for GPU programs. You will work within a research team dedicated to this topic. Within GUESS, two PhD students will conduct research on GPU accelerated supervisory controller synthesis, and you are expected to collaborate with them. Other team members work on related GPU techniques, hence you will very likely also work closely with them.
The GUESS project will primarily contribute to reliable and safe-by-construction supervisory controllers for infrastructural objects such as waterway locks, sluices, tunnels, bridges and roadside systems. On top of increased safety, the developed techniques also contribute to the easier and more affordable development and maintenance of such systems. In addition, the project is expected to contribute to automatically checking software correctness, which is a primary concern for many software development companies.