#forums.Thread#: CONTRATOS LABORALES
#forums.Author#: Carlos Perez Conde
#forums.Posted#: 2013-12-17 11:11:42.435523+01
PhD positions in Deployment of Parallel Applications on Multi-Core Platforms
Centrum Wiskunde & Informatica (CWI) has two vacancies in the Formal Methods research group for a talented PhD student on the subject of Deployment of Parallel Applications on Multi-Core Platforms.
Job description
You will work on the EU FP7 UpScale project ?From Inherent Concurrency to Massive Parallelism through Type- based Optimizations? (http://upscale- project.eu).
Multicore and many core technologies are the now standard way of improving hardware performance. However, exploiting the available concurrency is challenging for software written in current programming languages. UpScale's vision is to provide programming language support to efficiently develop applications that seamlessly scale to the available parallelism of manycore chips without abandoning the object-oriented paradigm and the associated software engineering methodologies.
UpScale will realise this vision by a breakthrough relying on a complete inversion of the current canonical language design: constructs facilitating concurrent computation will be default while constructs facilitating synchronised and sequential computation need to be explicitly expressed. UpScale will exploit this inversion for a novel agile development methodology based on incremental type-based program annotations specifying deployment- related information, and for innovative type-based deployment optimisations both at compile- and run-time. The targeted breakthrough will profoundly impact software development for the manycore architectures of the future. UpScale is therefore looking for a number of highly motivated, out-of-the-box thinkers interested in pursuing research in programming language design for multicore architectures, with an interest in programming language design, parallel computing, programming language theory, compilers and program optimisation.
Requirements
Candidates are required to have a Master?s degree in computer science or related fields, with a strong background in formal methods, software engineering, and concurrency theory. Candidates must have a promising record of independent academic research, and mastery of both theoretical as well as software systems and practical tool development skills. Further preferable qualifications for candidates include proven research talent, an excellent command of English, and good academic writing and presentation skills.
Terms and conditions PhD Student
The candidate will be appointed for an initial period of three years at CWI, followed by a final year appointment at the Leiden Institute for Advanced Computer Science (LIACS), Leiden University, where the candidate will receive his or her PhD degree. The final year appointment at LIACS is subject to satisfactory performance during the first three years, plus demonstrated evidence of the candidate's ability to complete his or her thesis within a year.
The terms of employment at CWI are in accordance with the Dutch Collective Labour Agreement for Research Centres ("CAO-onderzoeksinstellingen"). The gross monthly salary, for a PhD student on a full time basis, is ?2,057 during the first year and increases to approx. ?2,636 over the four year period, the latter is according to the Universities terms of employment. Employees are also entitled to a holiday allowance of 8% of the gross annual salary and a year-end bonus of 8,33%.
CWI offers attractive working conditions, including flexible scheduling and help with housing for expat employees.
Application
Applications can be sent before 20 January 2014 toapply@cwi.nl. All applications should include a detailed resume and a motivation letter.
For more information about the vacancy, please contact Prof. Dr. Frank de Boer, emailF.S.deBoer@cwi.nl. For more information about CWI, please visitwww.cwi.nl or watch our video ?A Fundamental Difference? about working at CWI.
About Centrum Wiskunde & Informatica
Centrum Wiskunde & Informatica (CWI) is the Dutch national research institute for mathematics and computer science and linked to the Netherlands Organisation for Scientific Research (NWO). The mission of CWI is to conduct pioneering research in mathematics and computer science, generating new knowledge in these fields and conveying it to trade, industry, and society at large.
CWI is located at Science Park Amsterdam. It is an internationally oriented institute, with 150 scientists from approximately 25 countries. The facilities are first-rate and include excellent IT support, career planning, training, and courses.
Research group
The Formal Methods group is a dynamic team of internationally recognized researchers who work on the theoretical and practical aspects of formal methods in software engineering and computer science. The activity in the group is a productive, healthy mix of theoretical, foundational, and experimental work in Computer Science, ranging in a spectrum covering mathematical foundations of models of computation, formal methods and semantics, implementation of advanced research software systems, as well as their real-life applications.
¿Recibe demasiados correos? Administre sus notificaciones en: http://aulavirtual.uv.es/notifications/manage
No hay comentarios:
Publicar un comentario