PhD Reseacher in Computing Sciences, Netherlands

Share



Sponsored Links
September 3, 2010

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: , ,

Sponsored Links
Sponsored Links

Scholarship Search

Warning: There is no need to provide bank account details or payment to any person or organization when applying for a scholarship or positions.Never give your bank account information, credit card or social security number to a prospective employer. Do not accept any offers to cash checks or wire money. If these details are requested for any job you see on scholarship-positions.com, please report the job to our quality team.

Important: Scholarship-Positions.com is not responsible for the content of any external websites linked to or referenced on this site.

Browse Scholarships

Search International Scholarships and Financial Aid Positions

Receive Scholarship Newsletters

Over 1,000,000 Students Searching Scholarships.

Recent USA Scholarships

Vanderbilt Postdoctoral Research at Vanderbilt University School of Medicine, 2012/13 USA 2012-2013 Fulbright NEXUS Regional Scholar Program, USA 2012 R G Menzies Scholarships for Australian Citizens, USA TLMI 4 Year College Degree Scholarship Program, USA 2012 2012-13 TLMI 2 Year College Degree Scholarship Program, USA

Recent UK Scholarships

RIBA Aedas Stephen Williams Scholarship in Architecture, 2012/13 RIBA Norman Foster Travelling Scholarship in Architecture, 2012 2012 Research Position in Pure Mathematics at University of Bristol, UK Postdoctoral Research Position in Synthesis and Analysis of Peptide-Based Porous Materials, UK Postdoctoral Research Position in Structural Engineering at University of Liverpool, UK 2012

Recent Germany Scholarships

PhD Studentship in Polymer Sciences at German Institute for Polymers, Germany Postdoctoral/ PhD Student Postions in Genome Biology at GRK1721, 2012 Germany Bucerius PhD Scholarship in Migration Studies, 2012 Germany PhD Position in Theoretical Physics at Humboldt University Berlin, Germany Doctoral – Postdoctoral Program in Mathematics Education in Germany 2012

Recent India Scholarships

2012 Summer Research Fellowships in Engineering at IIT Delhi, India The Ravi Sankaran Fellowship Program for Indian Students, 2012 Trinity College Dublin Scholarships for Postgraduate Students, Ireland 2012 2012 Henley Business School Scholarship India at University of Reading, UK POCE/POBE Scholarship Programme at Jawaharlal Nehru Centre for Advanced Scientific Research- Bangalore, India

Women Scholarships

Call for Applications: Women Scientists Scheme (WOS-C) Training, India 2012 HHL Scholarship for Women in Business, Germany 2012 University Hall St Andrews Graduates’ Association (UHStAGA) Scholarship, UK 2012 International Fellowships Programme for Women in Japan WIA Foundation Annual 2012-2013 Scholarship for Women, USA

Africa Scholarships

Postdoctoral Research Fellowship in Geology for Australian Citizens in Tanzania, 2012 2nd Joint Call Research Proposal in Population, Reproductive Health and Economic Development, 2012 The 2012 TechWomen Professional Mentorship and Exchange Program, USA Internship Programme at African Development Bank, 2012 Africa MPhil / PhD Research Internships at PLASS Institute for Poverty, Land and Agrarian Studies, South Africa

Scholarship Blog

Useful Links

Search in Worldwide Universities
Oxford 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