The Functional Programming group at Chalmers University is seeking two outstanding young researchers for four year Assistant Professor positions Ref 2011/231.
Group 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.
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 of domain specific languages like Lava and the Feldspar signal-processing language (embedded in Haskell, funded by Ericsson, the world's largest supplier of radio base stations). We combine strong links to industry with high academic standards, and thus receive funding from both basic and strategic research agencies. We are currently four professors (Hughes, Sheeran, Claessen, Jansson), five postdocs, and eight doctoral students; our new strategic grant will fund a significant expansion and a stream of visiting international researchers. The proposal that attracted the funding for these positions is available at http://www.cse.chalmers.se/~ms/SSF10Final.pdf
Although some changes have been made to the plan, the proposal gives a good indication of the research areas to which we expect successful candidates to contribute.
Job description
These are attractive four year full-time positions in
one of the strongest Functional Programming groups anywhere. You
will work at the cutting edge of research in Functional
Programming, and will strengthen your qualifications, both for
advancement in academia and for industrial research positions.
After two years, progress will be assessed. After four years, an
Assistant Professor who has been appointed in open competition
may, under certain circumstances, be considered for appointment
to a permanent position as Associate Professor.
You will be expected to take part in teaching and masters project supervision (to a maximum of 25%) and also in doctoral student supervision. The working language in the research group is English. The undergraduates are normally taught in Swedish, but the graduate level teaching is in English. You will gain experience of grant proposal writing, as we strive to find funding for our long term research. You will most likely be involved in industrial collaboration.
The positions are available from October 2011, although the start date is negotiable.
Required qualifications
We are looking for researchers with a strong record in
functional programming research and practice, preferably related
to domain specific languages, testing and/or automated
reasoning. You should have a doctorate in computer science
(normally completed at most five years before deadline for
application), and ideally also post-doctoral experience. We have
promised much in the above proposal, and you will be expected to
help us to deliver! You should have a strong publication record
for your academic age. We place particular emphasis on the
communication of research results and the quality of your
writing will strongly influence our assessment of you. Please
make sure to include your three best papers in your application.
Application procedure
The application shall be marked with Ref 2011/231 and
written in English. The application shall be sent
electronically and be attached as three pdf-files,
as below:
Application deadline: 2011-10-18
For questions, please contact:
Professor John Hughes, rjmh@chalmers.se
Professor Mary Sheeran, ms@chalmers.se
Department level:
Head of the Department, Catarina Coquand, catarina.coquand@chalmers.se
All reachable via Chalmers exchange: +46 31 772 10 00
Chalmers University of Technology conducts research and education in engineering sciences, architecture, technology-related mathematical sciences, natural and nautical sciences – in close collaboration with industry and society.