Overview We are looking for a creative person with an excellent Bachelors or Masters degree, and a keen interest in functional programming. You should have carried out significant projects in a functional language, perhaps as a Bachelors or Masters thesis. We would like to see some concrete evidence of your activities in functional programming. For that, you could send us a published paper of your work, which constitutes a considerable merit, an extended abstract, a technical report, or a copy of your bachelors or masters thesis. The position is available from September 2011, although the start date is negotiable for the right person. Come and join us, and earn your doctorate in an exciting environment, helping to bring the dream of functional programming to fruition! The application shall be written in English and include the following items: The application shall be sent electronically as pdf or zipped documents.Please use the button at the foot of the page to reach the application form. If any material is not available electronically or cannot be transferred to pdf format, the material can be sent as a hard copy to Registrar. The applicants name and the reference number (2011/175) must be written on the first page of the application. Address: For more information about this position, contact Research level: Professor John Hughes Division level: Head of Software technology Björn von Sydow Doctoral education level: Deputy Head of Department: Dr. Jan Jonsson More information is available at the departmental homepagewww.chalmers.se/cse/EN/ All reachable via Chalmers exchange: +46 31 772 10 00
Our group is a leading centre of functional programming research, the source of the QuickCheck testing tool (awarded Most Influential Paper of ICFP 2000 by ACM SIGPLAN), the EQUINOX theorem prover and PARADOX model finder, and the Feldspar signal-processing language (embedded in Haskell, funded by Ericsson, the world's largest supplier of radio base stations). We also enjoy strong links with industry. We are currently four senior researchers (of whom three are professors), five postdocs, and eight doctoral students; our new strategic grant will fund a significant expansion and a stream of visiting international researchers.
Job description
Functional programming is enjoying an unprecedented surge of interest, with languages such as Erlang, Scala and Haskell seeing high-profile applications in companies large and small. A major reason is the much improved productivity that software developers can enjoy, by adopting functional programming. With intense competition from emerging economies, productivity improvements are vital if the West is to retain its software industry. We have secured a large, five-year strategic research grant to bring these benefits to two new areas: signal processing and low-level control in the system layer of products such as radio base stations for mobile broadband, and real-time automotive software built around the AUTOSAR standard. Our approach is to combine domain-specific languages embedded in Haskell or Erlang with rapid verification based on property-based testing (QuickCheck) and automated proof tools. Our work is carried out in close cooperation with industry, and has the potential to make a real impact in key industrial sectors.
Required qualifications
Registrar
Chalmers University of Technology
SE-412 96 Göteborg
Sweden
e-mail: rjmh@chalmers.se
Phone +46-(0)31-772 1001
e-mail: sydow@chalmers.se
Phone +46-(0)31-772 1040
e-mail: janjo@chalmers.se
Phone: +46-(0)31-772 5220
http://www.chalmers.se/cse/EN/news/vacancies
Please quote Scholarization.blogspot.com on your application when applying for this scholarship
0 comments:
Post a Comment