[ 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

Reply via email to