[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Postdoc Position at DePaul University
We invite applicants for a postdoc position at DePaul University, School of
Computing. The appointment is for a one academic year, with full
benefits, and is renewable for up to two years.
The postdoc will be working on the project NSF funded project: Relaxing
Soundness https://www.nsf.gov/awardsearch/showAward?AWD_ID=1617175 under PIs
James Riely and Radha Jagadeesan.
It would be desirable for applicants to have expertise in one or more of the
following:
+ Concurrency theory
+ Relaxed memory models
+ Distributed databases and data structures
+ Programming Languages
+ Automated theorem provers
Applications should include CV, statement of teaching interests, a
cover letter, and three letters of recommendation that, preferably, address
the candidate's teaching qualifications or potential.
Contact James Riely or Radha Jagadeesan for additional inquiries at {jriely,
rjagadeesan}@cs.depaul.edu
