[PRL] Fwd: Candidate for postdoc position?

Matthias Felleisen matthias at ccs.neu.edu
Sat Aug 10 19:20:06 EDT 2013



Begin forwarded message:

> From: Martin Erwig <erwig at eecs.oregonstate.edu>
> Subject: Candidate for postdoc position?
> Date: August 10, 2013 6:13:55 PM EDT
> To: Matthias Felleisen <matthias at ccs.neu.edu>
> Cc: Martin Erwig <erwig at eecs.oregonstate.edu>
> 
> Hi Matthias,
> 
> I hope everything is going well for you. As part of a recently funded large NSF grant I have a postdoc position to fill and was wondering whether you know of any recently graduated PhDs in the area of programming languages who might be interested in that position (see position description below). The project is essentially about using the choice calculus as a formal representation for program editing to investigate operations (such as sophisticated undos) that can support exploratory programming.
> 
> I'd be grateful if you could forward the position description to potential candidates. 
> 
> Best,
> Martin
> 
> 
> ---
> 
> 
> A position for a postdoctoral scholar is available in the School of Electrical
> Engineering and Computer Science at Oregon State University. The individual
> working in this position will be conducting and leading research in the area
> of language design and domain-specific languages. Specific duties will include
> research to support exploratory programming through variations. The position
> is supported by the National Science Foundation under grant number
> IIS-1314384. The specific goals of the research project are spelled out here:
> 
> 	ExploratoryProgramming.org
> 	www.nsf.gov/awardsearch/showAward.do?AwardNumber=1314384
> 
> Some background information about the underlying theoretical framework of the
> choice calculus can be found here:
> 
> 	ChoiceCalculus.org
> 
> The successful candidate must demonstrate strong communication abilities and
> is expected to coordinate research with other members of the multi-university
> research team as well as help supervise junior members of the programming
> language group.
> 
> 
> Qualifications:
> 
> * Education:  Ph.D. in computer science
> * Experience: Strong background in programming language theory and functional programming
> * Skills:     Leadership skills, the ability to coordinate research activities, excellent oral and written communication skills
> 
> 
> Availability: 
> 
> The position can be filled immediately and is renewable on an annual basis for
> a total of up to three years.
> 
> 
> Application:
> 
> To apply, please email your CV to: erwig at eecs.oregonstate.edu
> 
> 
> For more information about the postdoc scholar appointment please see:
> gradschool.oregonstate.edu/postdocs




More information about the PRL mailing list