PhD Reseacher in Computing Sciences, Netherlands
PhD Position in Utrecht University, Faculty of Science
Job Description: In general, programs perform analysis on user input in order to generate output tailored to user needs. In particular, compilers perform program analyses to check for correctness, provide good feedback on programming errors, and improve performance of generated programs. Such analyses are costly to perform, and at the same time, must often be done in short periods of time, for example because of its use in an interactive editing environment. Extensive analyses and fast execution of such analyses thus are two conflicting requirements.
The project aims to remedy the conflict between the desire to use program analyses and the desire to execute such analyses with sufficiently good performance; the project intends to exploit incrementality to achieve good performance for otherwise time consuming analyses. An incremental program reuses the results of a previous computation to speedily recompute a result when a small change in input is given to the program. The research problem arises because manually rewriting existing non-incremental solutions to an incremental version of the solution often is errorprone and difficult. The project will investigate the automatic generation of incremental programs from non-incremental programs, in particular for compilers and the program analyses which are done as part of the compilation process. The research will take place in the context of the Utrecht Haskell compiler (UHC) and the tools used to construct this compiler, in particular the UUAG Attribute Grammar system.
This project is funded by a research grant from the Netherlands ‘Organization for Scientific Research’ (NWO).
Requirements: We seek a highly motivated candidate holding a Master’s degree in computer science, with experience and interest in the area of programming language design, functional programming (in particular Haskell), and program analysis. Candidates are expected to have an independent working style and a good knowledge of English, which is an absolute must.
Conditions of employment
The candidate is offered a full time position for 4 years. The salary is supplemented with a holiday bonus of 8% and an end-of-year bonus of 8,3% per year. In addition we offer: a pension scheme, a partially paid parental leave, flexible employment conditions. Conditions are based on the Collective Labour Agreement Dutch Universities. The research group will provide the candidate with necessary support on all aspects of the project
Application Closing Date: 6 October 2010
Further Scholarship Information and Application
Scholarship Tags: Computer Science, Netherlands, PhD position
Scholarship Search
Important: Scholarship-Positions.com is not responsible for the content of any external websites linked to or referenced on this site.
Browse Scholarships
- Africa Scholarships
- Australia Scholarships
- Austria Scholarships
- Belgium Scholarships
- Canada Scholarships
- China Scholarships
- Denmark Scholarships
- France Scholarships
Recent USA Scholarships
The AIA Society Outreach Grant Program at Archaeological Institute of America, 2012 USA The Archaeology of Portugal Fellowship for International Students at AIA, 2012 USA 2013 Teaching Excellence and Achievement Program, USA International Leaders in Education Program for Indian Teachers, 2013 USA 2012-2013 Kathern F. Gruber Scholarship and Thomas H. Miller Awards, USARecent UK Scholarships
Kingston University Undergraduate International Scholarships, 2012 UK Overseas Research Scholarship (ORS) for Non-EU Applicants at University of York, 2012 UK Scholarship for Overseas Students (SOS) at University of York, 2012 UK Kingston University International Postgraduate Scholarships, 2012 UK 2012 Donner Scholarship at University of Cambridge, UKRecent Germany Scholarships
CGS Interantional Scholarships for Doctoral Program at University of Cologne, 2012 Germany Max F. Perutz International PhD Programme in Chromosome Dynamics, 2012 Germany PhD Positions in NanoBioTechnology at Center for NanoScience LMU, 2012 Germany PhD in Life Sciences at The International Giessen Graduate School for the Life Sciences, Germany Germany Postgraduate Training Program – 2012 Cycle (PhD studies in Germany)Recent India Scholarships
Kingston University Postgraduate Scholarships for Indian Students, 2012 UK 2013 Teaching Excellence and Achievement Program, USA Fulbright Foreign Language Teaching Assistant Program for Indian, 2013 USA 2013 Fulbright-Nehru Senior Research Fellowships for Indians, USA 2013-2014 Fulbright Teacher Exchange Program for US and Indian Students, USA and IndiaWomen Scholarships
Sloan MSc Women’s Scholarship at London Business School, 2013 UK 2012-2013The Saint Paul College Club, Inc. AAUW Undergraduate Scholarship, USA 2012 L’Oréal Canada for Women in Science Research Excellence Fellowships, Canada 2012 Gertrude M. Cox Scholarship at American Statistical Association to Study in USA, Canada 2012 Women in Games Scholarship at Vancouver Film School, CanadaAfrica Scholarships
2012-2013 South Africa Investec Scholarship for MBA Students, UK 2012-2013 Mandela Magdalene College Scholarship for South Africa, UK 2012 Call for Proposals: Grant Awards for Global Environmental Change Research, Africa CARTA Call for Applications for PhD Fellowships 2012-2013, Africa Africa Biosciences Challenge Fund Research Fellowship, 2012 AfricaScholarship Blog
Useful Links
Search in Worldwide UniversitiesOxford Laboratory Technology
Search Courses in Indian Universities
IndiaJobs.co.in, India Jobs Employment, Recruitment, Careers, Interview
Teaching, Professor Jobs in India
GRE Prep and Free Courses