Two PhD positions on the ChEOPS project in Twente and Eindhoven (Netherlands): Verified Construction of Correct and Optimized Parallel Software
University of Twente
Formal Methods and Tools (FMT)
Contact: Prof. Dr. Marieke Huisman (email@example.com)
Eindhoven University of Technology
Software Engineering & Technology (SET)
Contact: Dr. Ing. Anton Wijs (firstname.lastname@example.org)
You will be working on the ChEOPS project, a collaborative project between the universities of Twente and Eindhoven, funded by the Open Technology Programme of the NWO Applied and Engineering Sciences (TTW) domain.
In the ChEOPS project, research is conducted to make the development and maintenance of software aimed at graphics processing units (GPUs) more insightful and effective in terms of functional correctness and performance. GPUs have an increasingly big impact on industry and academia, due to their great computational capabilities. However, in practice, one usually needs to have expert knowledge on GPU architectures to optimally gain advantage of those capabilities.
At the Eindhoven University of Technology, we work on modelling GPU applications using a Domain Specific Language (DSL), formally verifying the correctness of the models, and automatically generating GPU code. At the University of Twente, we work on the structured optimization of GPU code, while ensuring that functional correctness is preserved. Existing formal verification techniques, model checking and code verification, are combined to create, for the first time, a complete end-to-end development workflow for GPU applications.
Two PhD positions are available to work on the following subprojects:
Subproject 1 (Eindhoven): DSLs for the design of GPU applications. This subproject involves the functional verification of the resulting models, as well as model-to-code generation.
Subproject 2 (Twente): Building model-to-code generation and the verification of optimizations in the form of code-to-code transformations.
We expect the two PhD students to collaborate closely within the project. In addition, there will be ample interaction with the members of the Model Driven Engineering section in Eindhoven on the model-to-code generation, and with the team building the VerCors tool set for verification of concurrent software in Twente.
For more information about the concrete subprojects, please contact: Marieke Huisman: email@example.com or Anton Wijs: firstname.lastname@example.org.
We are looking for two PhD students with an MSc degree (or equivalent) in Computer Science.
The candidates should be enthusiastic, and have a thorough theoretical background, a demonstrable interest in DSLs and model checking (subproject 1) or program verification (subproject 2) and knowledge about multithreaded programming (at least in Java/C/C++, experience with GPU programming is a plus).
We are looking for researchers with an independent mind who are willing to cooperate in our team. It is understood that he or she works on the topics listed above. Furthermore, we ask for good communicative and collaboration skills. Candidates should be prepared to prove their English language skills.
As a research outcome we expect publications, (prototype) tools, and a PhD thesis.
Intended starting date of the position: September 1, 2019.
Information and application
Please use the apply now button at the bottom of the page.
Your application should consist of:
The University of Twente. We stand for life sciences and technology. High tech and human touch. Education and research that matter. New technology which leads change, innovation and progress in society. The University of Twente is the only campus university of the Netherlands; divided over five faculties we provide more than fifty educational programmes. We have a strong focus on personal development and talented researchers are given scope for carrying out groundbreaking research.
We are an equal opportunity employer and value diversity at our company. We do not discriminate on the basis of race, religion, color, national origin, gender, sexual orientation, age, marital status or disability status. Because of our diversity values we do particularly support women to apply.
The faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) comprises three disciplines that shape Information and Communication Technology. ICT is more than communication. In almost every product we use mathematics, electronics and computer technology and ICT now contributes to all of societies' activities. The faculty works together intensively with industrial partners and researchers in the Netherlands and abroad and conducts extensive research for external commissioning parties and funders. The research which enjoys a high profile both at home and internationally, has been accommodated in the multidisciplinary research institutes: Mesa+ Institute, TechMed Centra and Digital Society Institute.Apprenez-en davantage
|Intitulé||2 PhD positions on the ChEOPS project in Twente and Eindhoven (Netherlands): Verified Construction of Correct and Optimized Parallel Software|
|Employer||University of Twente|
|Job location||Drienerlolaan 5, 7522 NB Enschede|
|Publié||mai 18, 2019|
|Date limite d'inscription||juin 30, 2019|
|Types d'emploi||PhD  |
|Domaines de recherche :||Informatique,   Sciences de l'information,   Algorithmes,   Intelligence artificielle,   Réseau de neurones artificiels,   Informatique et société,   Architecture informatique,   Communications informatiques (réseaux),   Infographie,    and 21 more. Cyber Security,   Informatique dans les mathématiques, les sciences naturelles, l'ingénierie et la médecine,   Informatique dans les sciences sociales, les arts, les lettres et les humanités,   Extraction de données,   Structures de données,   Bases de données,   Informatique distribuée,   Interactions homme-machine,   Systèmes d'information (informatique de gestion),   Systèmes d'exploitation,   Informatique parallèle,   Langages de programmation,   Informatique quantique,   Génie logiciel,   Théorie de calcul,   Sciences informatiques,   Conception de jeux,   Big Data,   Apprentissage automatique,   Vision industrielle,   Vision par ordinateur  |