[TYPES/announce] Postdoc Position at DePaul University

[James Riely]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20170518/209e16ca/attachment.html>