[ 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