<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
  <head>
    <meta http-equiv="content-type" content="text/html;
      charset=ISO-8859-1">
  </head>
  <body bgcolor="#ffffff" text="#000000">
    Come and work with us!<br>
    <br>
    /Patrik<br>
    <br>
    <a class="moz-txt-link-freetext"
      href="http://wiki.portal.chalmers.se/cse/pmwiki.php/FP/FP">http://wiki.portal.chalmers.se/cse/pmwiki.php/FP/FP</a><br>
    <br>
    <a class="moz-txt-link-freetext"
href="https://site1.reachmee.com/I003/chalmers/ENG/vacdetail.aspx?commadseqno=142&amp;postback=vacancies.aspx">https://site1.reachmee.com/I003/chalmers/ENG/vacdetail.aspx?commadseqno=142&amp;postback=vacancies.aspx</a><br>
    <br>
    <div class="rm_jobad_text">
      <div class="rm_pageheader1">2 Assistant Professors in Functional
        Programming</div>
      <p>The Functional Programming group at Chalmers University is
        seeking two outstanding young researchers for four year
        Assistant Professor positions Ref 2011/231.</p>
      <p><strong>Group description<br>
        </strong>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.</p>
      <p>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.</p>
      <p>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<strong>. </strong>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 <a
          href="http://www.cse.chalmers.se/%7Ems/SSF10Final.pdf">http://www.cse.chalmers.se/~ms/SSF10Final.pdf</a></p>
      <p>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.</p>
      <p><strong>Job description<br>
        </strong>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.</p>
      <p>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.</p>
      <p>The positions are available from October 2011, although the
        start date is negotiable.</p>
      <p><strong>Required qualifications</strong><br>
        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.</p>
      <p><strong>Application procedure</strong><br>
        <em>The application shall be marked with Ref&nbsp;2011/231 and
          written in English. The application shall be sent
          electronically and be attached as <strong>three </strong>pdf-files,

          as below:</em></p>
      <ol>
        <li>Application:&nbsp; <br>
          - a first page containing name, reference number&nbsp;2011/231 and
          a list of all documents that have been enclosed,<br>
          - description of the applicant's research and pedagogical
          qualifications, as well as other qualifications,<br>
          - CV,<br>
          - complete list of publications,<br>
          - plans for future work within the area of the announced
          position, both scientific and educational, if appointed,<br>
          - two reference persons who can be contacted by Chalmers
          (describe association with them and give their contact
          addresses).</li>
        <li>letter of application detailing your specific qualifications
          for&nbsp;the position.</li>
        <li>Publications:<br>
          - copies of the applicant's best scientific publications (not
          more than 5),<br>
          - copies of a maximum of 5 other publications (such as
          pedagogy, and popular science) in support of pedagogical and
          other merits.<br>
          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).</li>
      </ol>
      <p><br>
        <strong>Application deadline: 2011-10-18</strong></p>
      <strong></strong>
      <p><strong>For questions, please contact:<br>
        </strong>Professor John Hughes, <a
          href="mailto:rjmh@chalmers.se">rjmh@chalmers.se</a><br>
        Professor Mary Sheeran, <a href="mailto:ms@chalmers.se">ms@chalmers.se</a></p>
      <p><span style="text-decoration: underline;">Department level:</span><br>
        Head of the Department, Catarina Coquand, <a
          href="mailto:catarina.coquand@chalmers.se">catarina.coquand@chalmers.se</a></p>
      <p>All reachable via Chalmers exchange: +46 31 772 10 00</p>
      <i>Chalmers University of Technology conducts research and
        education in engineering sciences, architecture,
        technology-related mathematical sciences, natural and nautical
        sciences &#8211; in close collaboration with industry and society. <br>
        <br>
        The strategy for scientific excellence focuses our eight Areas
        of Advance; Built Environment, Energy, Information- &amp;
        Communication Technology, Life Science, Materials Science,
        Nanoscience &amp; 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.<br>
        <br>
        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! <br>
        <a class="moz-txt-link-abbreviated"
          href="http://www.chalmers.se/en">www.chalmers.se/en</a></i> <span
        id="ctl00_ContentPlaceHolder1_ContactPersons"></span> </div>
    <p><span id="ctl00_ContentPlaceHolder1_sharingLabel"></span></p>
    <br>
    <br>
  </body>
</html>