[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Posted on behalf of Prof. Iulian Neamtiu. -- Moderator]
Two post-doc positions in program analysis and transformation
are available in Prof. Iulian Neamtiu's research group at the
University of California, Riverside.
PROJECT SCOPE
Program analysis and transformation for preventing, detecting and
mitigating cyber-attacks, on both traditional hosts (desktop/server)
and smartphones.
REQUIREMENTS
A Ph.D. in Computer Science and a strong publication record in one (or
more) of these areas: program analysis, program transformation,
software security. For example, type systems, model checking, static
analysis, dynamic analysis, binary/bytecode transformation. Research
experience in smartphones or empirical software engineering is a plus.
AVAILABILITY and DURATION
The positions are available immediately, and will remain open until
filled. The initial appointment will be for 1 year, and after that
renewable based on performance and funding availability.
SALARY
Annual salaries range from $39,264 to $49,884, depending on experience.
LOCATION
In sunny Riverside, California, about 1 hour east of Los Angeles and
1.5 hours north of San Diego.
APPLICATION AND FURTHER DETAILS
Please see
http://www.cs.ucr.edu/~neamtiu/postdoc-ad.html
