ICT Developer On GPU accelerated search space exploration

Introduction

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.

Job Description

Various 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.

Job Requirements

• A PhD degree, preferably in Computer Science, although a PhD degree in another field, such as mathematics or electrical engineering, is also possible.
• Experience in, and enthusiasm for, GPU programming, preferably for scientific software. You will be expected to work with CUDA C++. Experience with this language is not mandatory, but appreciated.
• A research-oriented attitude.
• Ability to work in an interdisciplinary team.
• Fluent in spoken and written English (C1 level).
• Knowledge of and experience in formal verification (model checking, automated reasoning) is highly appreciated, but not necessary.

If you are concerned that you don’t meet all the requirements sufficiently, but the job does excite you, then be sure to respond, we would love to look at your profile.

Conditions of employment

An exciting position within an international yet personal university. You are right in the middle of the students, on a green campus within walking distance of the central station. Besides beautiful architecture, you will find varied workplaces and excellent sports facilities. We also offer you:

• A monthly salary of minimum €3.378 to maximum €5.331 for full-time employment, depending on your knowledge and experience (scale 10 collective labour agreementfor Dutch Universities).
• In addition to vacation pay, a structural end-of-year bonus of 8.3%.
• A favorable arrangement for more holidays or a sabbatical.
• A selection model for additional fringe benefits.
• Working hours in consultation for an optimal work-life balance.
• Scope for your talent with advancement prospects and excellent development opportunities such as mentoring, workshops and coaching.
• Partially paid parental leave and reimbursement for commuting expenses, working from home and the internet.
• A generous employer contribution to the favorable ABP pension plan.

Here you can discover even more information about our conditions of employment. Build on your career at TU/e!

More information

Curious to hear more about what it’s like to work in IT to support academic research? Please view the video: https://www.youtube.com/watch?v=K9y1ri4JMS8&list=PLgFH4e_2r1xeReuOPs1Cfj4LzmA60KN2p&index=5

Do you recognize yourself in this profile and would you like to have more information about the position, please contact the hiring manager Anton Wijs, Associate Professor (A.J.Wijs@tue.nl).

For questions about the application process or the conditions of employment, please contact Karin Wels (HRServices.MCS@tue.nl).  

Are you inspired and would like to know more about working at TU/e? Please visit our career page.

Application

If you are interested, please use the ‘apply’ button to send us your CV and letter of application with your motivation and a description of your qualifications (e.g. a copy of your PhD certificate and a link to your PhD thesis).

Screening of candidates begins as soon as applications are received and continues until the position is filled. Where applicable, internal candidates will be given priority over external candidates where they are equally suitable.

We look forward to receiving your application!