Deadline: 1 September 2011
Open to: Bachelors or Masters degree holders with a keen interest in functional programming
The Department of Computer Science and Engineering at the Chalmers University of Technology, Sweden offers BSc- and MSc- and PhD-level education in a broad range of subjects: Algorithms, Computer Security, Dependable Computer Systems, Distributed Systems, Formal Methods, Integrated Electronic System Design, Interaction Design, Language Technology, Logic, Networks and Software Engineering.
The CSE education includes almost 150 courses offered to around 20 different programmes at two universities – Chalmers and University of Gothenburg.
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.
A large, five-year strategic research grant to bring these benefits to two new areas has been secured: 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.
Eligibility
Creative people with an excellent Bachelors or Masters degree, and a keen interest in functional programming are suitable for this position.
You should have carried out significant projects in a functional language, perhaps as a Bachelors or Masters thesis and present some concrete evidence of your activities in functional programming. For that, you should send 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.
Application
- An application of a maximum of one A4 page containing your specific qualifications for the position
- Attested copies of education certificates, including grade reports and other documents
- Curriculum Vitae
- Letters of recommendation and name of reference persons (optional)
- The application shall be sent electronically as pdf or zipped documents. CLICK HERE 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:
Registrar
Chalmers University of Technology
SE-412 96
Göteborg
Sweden
Further information
For more information about this position, contact
Research level:
Professor John Hughes
e-mail: rjmh@chalmers.se
Phone +46-(0)31-772 1001
Division level:
Head of Software technology Björn von Sydow
e-mail: sydow@chalmers.se
Phone +46-(0)31-772 1040
Doctoral education level:
Deputy Head of Department: Dr. Jan Jonsson
e-mail: janjo@chalmers.se
Phone: +46-(0)31-772 5220