[TYPES/announce] PhD and PostDoc positions in parallel FP at Rochester Institute of Technology

[Matthew Fluet]

The Manticore project at the Rochester Institute of Technology
(Rochester, NY, USA) is seeking applicants for both a PhD student
position and a 2-year post-doctoral research position.  The Manticore
project (joint with the University of Chicago) is exploring the design
and implementation of a functional programming language with a rich
collection of explicitly- and implicitly-parallel programming
features.  Our research thus far has delivered a compiler and runtime
system capable of demonstrating good parallel speedups on our 16- and
48-core test systems.  See http://www.cs.rit.edu/~mtf/manticore for
papers and more information.

The goal of our next stage of research is to develop declarative
language mechanisms for the controlled use of shared state and
nondeterminism in implicitly-threaded parallel programs in order to
increase their parallel efficiency.  The successful applicants will be
expected to contribute to this research effort, which will include
both semantic foundations and efficient implementations.

PhD application:
* Requirements: B.S. in Computer Science, Mathematics, or related field
* Apply to the RIT Golisano College of Computing and Information
   Sciences PhD Program:
   http://phd.gccis.rit.edu/academics/admissions
* Please also send via e-mail to Prof. Matthew Fluet <mtf at cs.rit.edu>
   copies of the following RIT Graduate Admissions materials:
   - Resume or CV
   - personal statement
* Priority deadline: January 15, 2012
   (but rolling admissions process)

PostDoc application:
* Requirements: Ph.D. in Computer Science (completed or near completion)
* Apply via e-mail to Prof. Matthew Fluet <mtf at cs.rit.edu> with:
   - a CV
   - a brief research statement
   - arrange to have two letters of recommendation sent to the same
* Full consideration deadline: March 1, 2012
   (position will remain open until filled)
* Start date: April 1, 2012 (or later)
* Duration: 2 years


-- 
============================================
Matthew Fluet
Assistant Professor
Department of Computer Science
Rochester Institute of Technology
102 Lomb Memorial Drive
Rochester, NY 14623-5608
Tel: +1.585.475.2854 ; Fax: +1.585.475.4935
mtf at cs.rit.edu ; http://www.cs.rit.edu/~mtf
============================================
CONFIDENTIALITY NOTE: The information transmitted, including attachments,
is intended only for the person(s) or entity to which it is addressed and
may contain confidential and/or privileged material.  Any review,
retransmission, dissemination or other use of, or taking of any action in
reliance upon this information by persons or entities other than the
intended recipient is prohibited.  If you received this in error, please
contact the sender (mtf at cs.rit.edu) and destroy any copies of this
information.