Job Opportunity
Associate Research Scientist
Yale University
Department of Computer Science
There's a very good chance (almost certain, actually) that I will be
hiring an Associate Research Scientist into my research group. This
position is a "non-teaching faculty appointment" that is more-or-less
equivalent to an Assistant Professorship, but carries no teaching
responsibility.
I'm looking for someone that's interested in things like functional
programming, Haskell, type theory, formal semantics, partial evaluation,
program transformation, etc., and that also believes in implementing
his/her ideas. The position would begin in the Fall of '92 and is
intended to exist as long as the funding continues (legally Yale
prohibits me from making offers of this sort for more than 1 year).
The pay-scale is $34,000 -- $59,000 depending on the applicant's
qualifications and experience; the minimum requirement is a PhD in
Computer Science.
If you are interested, please send me a resume (on-line preferred)
along with a list of references. I hope to make a decision within
about a 6-week time-frame.
For those not familiar with functional programming research at Yale,
below is a list of faculty and graduate students, along with their
research interests.
Best regards,
-Paul
Professor Paul Hudak
Department Of Computer Science
Programming Languages and Systems Group
Yale University
Box 2158 Yale Station
New Haven, CT 06520
----------------------------------------------------------------------
Faculty:
--------
Paul Hudak (Professor)
Functional programming, Haskell design and implementation, type theory
and pragmatics, semantics-directed compilation, partial evaluation,
abstract interpretation.
Research Staff:
---------------
Charles Consel (Associate Research Scientist)
Partial evaluation, program transformation, abstract interpretation,
functional programming, semantics-directed compilation, object-oriented
programming.
Martin Odersky (Associate Research Scientist)
Type systems for programming languages, parametric type classes,
stateful functional programming -- language design, semantics, and
implementation.
John Peterson (Associate Research Scientist)
Compilation techniques for non-strict functional languages: closure
and non-strict data structure representations, programming
environments, low-level optimizations, separate compilation.
Sandra Loosemore (Research Software Engineer)
Programming tools and environments, compiler and debugger technology,
visual programming and program visualization.
Faculty with Related Interests:
-------------------------------
Young-il Choo
Formal semantics, parallel functional programming, models and logics
of concurrent computation, metalanguages for program transformation.
Marina Chen
Parallel functional programming, compilation and optimization
techniques for parallel machines, synthesis of parallel algorithms
and architectures from mathematical specifications.
Graduate Students (with MS/PhD thesis titles):
----------------------------------------------
Thomas Blenko
"Automatic Staging Transformations for Higher-Order Programming Languages"
Kung Chen
"Parametric Type Classes"
Juan Guzman
"On Expressing the Mutation of State in a Functional Language"
Siau-Cheng Khoo
"Parameterized Partial Evaluation"
Amir Kishon
"Semantics-Directed Program Execution Monitoring"
Sheng Liang
"Analysis Techniques for Optimizing Lazy Functional Programs"
Rajiv Mirani
"Using Annotations to Control Order of Evaluation in Functional Languages"
Eric Mohr
"Dynamic Partitioning of Parallel Lisp Programs"
Daniel Rabin
"Functional Programming Languages with Stores"
Raman Sundaresh
"Incremental Computation Via Partial Evaluation"
