coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Andrew Appel <appel AT CS.Princeton.EDU>
To: coq-club AT inria.fr
Subject: [Coq-Club] Coq-related jobs at Princeton, Penn, Yale
Date: Fri, 5 Feb 2016 16:24:18 -0500 (EST)
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=appel AT CS.Princeton.EDU; spf=Pass smtp.mailfrom=appel AT cs.princeton.edu; spf=None smtp.helo=postmaster AT greenlight.cs.princeton.edu
Ironport-phdr: 9a23:D0qUARyDzwuFFcLXCy+O+j09IxM/srCxBDY+r6Qd0e4WIJqq85mqBkHD//Il1AaPBtWEragewLOK6+jJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6NyZ7tnLnuo9X6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD86Fpy8kVWqLjOq88ULZwDTI8Mmlz6te4mwPESF6m4HcGX3peuwJQDgyNuBjiRpr1mgDB8NJn2S+RMNHxS/YZdQn0vPQjcwPhlCpSb21xy2rQkMEl1K8=

The DeepSpec consortium has three different postdoc positions

(or research scientist, or research engineer) open at

Princeton University, the University of Pennsylvania, and Yale University.

Details here: http://deepspec.org/jobs/

[Coq-Club] Coq-related jobs at Princeton, Penn, Yale, Andrew Appel, 02/05/2016
- Re: [Coq-Club] Coq-related jobs at Princeton, Penn, Yale, 1337 777, 02/23/2016