[Agda] Chalmers FP is hiring 2 Assistant Professors in Functional Programming: deadline 2011-10-18

Patrik Jansson patrikj at chalmers.se
Tue Oct 4 18:20:38 CEST 2011


Come and work with us!

/Patrik

http://wiki.portal.chalmers.se/cse/pmwiki.php/FP/FP

https://site1.reachmee.com/I003/chalmers/ENG/vacdetail.aspx?commadseqno=142&postback=vacancies.aspx

2 Assistant Professors in Functional Programming

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 
<http://www.cse.chalmers.se/%7Ems/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:/

   1. Application:
      - a first page containing name, reference number 2011/231 and a
      list of all documents that have been enclosed,
      - description of the applicant's research and pedagogical
      qualifications, as well as other qualifications,
      - CV,
      - complete list of publications,
      - plans for future work within the area of the announced position,
      both scientific and educational, if appointed,
      - two reference persons who can be contacted by Chalmers (describe
      association with them and give their contact addresses).
   2. letter of application detailing your specific qualifications
      for the position.
   3. Publications:
      - copies of the applicant's best scientific publications (not more
      than 5),
      - copies of a maximum of 5 other publications (such as pedagogy,
      and popular science) in support of pedagogical and other merits.
      The application should be sent electronically. Please use the
      button at the foot of the page to reach the application form. The
      files may be compressed (zipped).


*Application deadline: 2011-10-18*

**

*For questions, please contact:
*Professor John Hughes, rjmh at chalmers.se <mailto:rjmh at chalmers.se>
Professor Mary Sheeran, ms at chalmers.se <mailto:ms at chalmers.se>

Department level:
Head of the Department, Catarina Coquand, catarina.coquand at chalmers.se 
<mailto:catarina.coquand at 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.

The strategy for scientific excellence focuses our eight Areas of 
Advance; Built Environment, Energy, Information- & Communication 
Technology, Life Science, Materials Science, Nanoscience & 
Nanotechnology, Production and Transport. The aim is to make an active 
contribution to a sustainable future using the basic sciences as a 
foundation and innovation and entrepreneurship as central driving forces.

Chalmers has about 11,000 students and 2,500 employees. New knowledge 
and improved technology has characterised Chalmers since its foundation 
in 1829 in accordance with the testament of William Chalmers, and his 
motto: Avancez!
www.chalmers.se/en/



-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20111004/a35dc241/attachment-0001.html


More information about the Agda mailing list