[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The Manticore project at the Rochester Institute of Technology (Rochester,
NY, USA) is offering 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 applicant will be expected to contribute to
this research effort, which will include both semantic foundations and
efficient implementations.
* Requirements: Ph.D. in Computer Science (completed or near completion)
* Apply via e-mail to Prof. Matthew Fluet <m...@cs.rit.edu> with:
- a CV
- a brief research statement
- the names of two people who can be asked for letters of recommendation
* Start date: immediate (ideally, by the end of the summer)
* Duration: 2 years
