Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* Fwd: [PVS] tenure track position in Theoretical Computer Science
       [not found] <9543BA1B6322744E9AB6C9933DFF9B3AFF68AD2C@PEXMB300A.vu.local>
@ 2016-07-08 10:17 ` Vladimir Voevodsky
  0 siblings, 0 replies; only message in thread
From: Vladimir Voevodsky @ 2016-07-08 10:17 UTC (permalink / raw)
  To: homotopytypetheory, Univalent Mathematics


[-- Attachment #1.1: Type: text/plain, Size: 814 bytes --]

Just in case that the following might be of interest to any of you:

> Begin forwarded message:
> 
> From: "Fokkink, W.J." <w.j.f...@vu.nl>
> Subject: [PVS] tenure track position in Theoretical Computer Science
> Date: July 7, 2016 at 4:50:08 PM EDT
> To: "p...@csl.sri.com" <p...@csl.sri.com>
> 
> 
>    Tenure track assistant/associate professor position in Theoretical Computer Science
> 
>    at the Department of Computer Science of the Vrije Universiteit Amsterdam
> 
> Deadline for application is August 31, 2016.
> 
> Further details can be found at
> 
>    http://www.vu.nl/nl/werken-bij-de-vu/vacatures/2016/16191.aspx <http://www.vu.nl/nl/werken-bij-de-vu/vacatures/2016/16191.aspx>
> 
> For informal inquiries please contact Wan Fokkink (w.j.f...@vu.nl <mailto:w.j.f...@vu.nl>).


[-- Attachment #1.2: Type: text/html, Size: 9144 bytes --]

[-- Attachment #2: Message signed with OpenPGP using GPGMail --]
[-- Type: application/pgp-signature, Size: 507 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2016-07-08 10:17 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <9543BA1B6322744E9AB6C9933DFF9B3AFF68AD2C@PEXMB300A.vu.local>
2016-07-08 10:17 ` Fwd: [PVS] tenure track position in Theoretical Computer Science Vladimir Voevodsky

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).