We also anticipate a position for a research programmer or system
scientist; the title will depend on the interests and qualifications of
the selected applicant, and compensation will be competitive with
comparable US academic positions. A research programmer would focus on
development of a compiler and related tools in support of the project
described above. An understanding of type theory and familiarity with
compilers is essential. Responsibilities of a system scientist would
include perhaps 50% of time spent developing software, but in addition
would include contributing to day-to-day management and the overall
research direction of the project, assisting with advising students, and
assisting with possible follow-on funding opportunities. A system
scientist should have a Ph.D. in computer science or a related field,
development experience with compilers, knowledge of type theory, and a
strong programming language research record. Expertise in some or all
of the following additional areas is helpful: security, program
analysis, databases, distributed and web systems, software design,
empirical user studies, and verification.
Interested applicants should send a CV and contact information for three
references to to jonathan.aldrich@cs.cmu.edu by January 15, 2012, though
the position will be open until filled.
__._,_.___
MARKETPLACE
.
__,_._,___
No comments:
Post a Comment