coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Andrew Tolmach <tolmach AT pdx.edu>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Faculty position at Portland State University
- Date: Tue, 7 Dec 2021 17:40:15 -0800
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=tolmach AT pdx.edu; spf=Pass smtp.mailfrom=tolmach AT pdx.edu; spf=None smtp.helo=postmaster AT mail-qv1-f49.google.com
- Ironport-data: A9a23:In0HTqvj4JjIw97gvJuiavYqoufnVAhfMUV32f8akzHdYEJGY0x3yjYdWGDQOaqNNGLxKt1/bN608EoDucfdx98xSQFo+S1EQiMRo6IpJ/zJdxaqZ3v6wu7rFR88sZ1GMrEsFC2FJ5Pljk/F3oPJ8D8sislkepKmULSdY3opGlc/IMscoUsLd9AR0tYAbeeRWFvlVePa+6UzCXf9s9JGGjp8B5Gr9HuDiM/PVAYw5TTSUxzkUGj2zBH5BLpHTU24wuCRroN8RoZWTM6bpF21E/+wwvsjNj+luu6TnkwiR7fTOU2XlCMTVfTzxBdFoSM23+AwM/90hUV/0W3Y2YAsjo8U5NrsGG/FPYWU8AgZewVfFyR3Nq1u4LPXZ3WzrKR/ymWXKSewnKg2ZK0xFdRAprwf7Xt13fcfMXUGag2Jr/mnxaqyDOhqnMUqasfxVL7zEFl0lWSDS6kyGMWbBf3ev4oAmm1h15laRqOGIZcNNm9GcjDrZjljOnM2AbQChsOWh1zrKmUN+BbIscLb+EDWxQ11laHzaZ/bJo3MSsJSkUKV4GnB+gzE7tghHIT34VK4HriE34cjXB8XWb7+0JW9//9uxUSNnykdVExQWly8rv20zEW5Xrqz7mR8FjUG9cAPGI6DF7ERnCFUZFacsg5aVtZNewH/wB/Y0bLaum51GUBdJgOsq7UaWAseXTA6kFKFgrsFwBQHXKK9ERqgy1tfkd9+1eX544PPie/ogDbpO+Xenbw=
- Ironport-hdrordr: A9a23:mdBSIaz7fHibpWoRa3xuKrPwO71zdoMgy1knxilNoHtuEvBw9vrOoB11726XtN98Yh8dcK67Sc29qALnhP1ICOAqVN/IMWWIhILCFvAG0WKN+UyGJ8SHzJ866U6+ScJDNOE=
- Ironport-phdr: A9a23:TvTvIhMNHrVUtvng5col6nblDRdPi9zP1u491JMrhvp0f7i5+Ny6ZQqDv6wr0wCCBN6TwskHotKei7rnV20E7MTJm1E5W7sIaSU4j94LlRcrGs+PBB6zBvfraysnAJYKDwc9rDm0PkdPBcnxeUDZrGGs4j4OABX/Mhd+KvjoFoLIgMm7yf2+94fRbghKizaxfL1/JwiqoAvMscUbnZFsIbsrxBvTpXtIdeVWxWd2Kl+Wgh3x+MS+8oN9/ipJo/4u+NJOXqv8f6QjULxXFy8mPHwv5M3qrhbMUw2C7WYBX2oMkxpIBw/F7AzmXpr0ryD3uPZx1DWcMMbrS70/RDas4LpxSBLwiCkIKzE3/27KhMJzgqxVvhWvqgdjw4PWZYGZKPp+cr/Dcd4cWGFPXtxRVytEAo6kc4YPCfcOPfxGoIjzulAAsxy+BQ2pBOz11jBIhmL90Kom0+QmFQHG2RYvEM4OsHnPtNX6KagTXfqrw6bV0DXOdvVb0iry54bUaB4uu+2MXa5ufsrLz0kiDwzLgFqfp4HqIT+Yy+sAvWaV4eRgUe+jlXMqph1srzSzxskhjpTFi4YVx13Y6Sl0woI4KN2mRUB7f9KpH4Vduz2cOoBrTM0iRGRotzw7yr0AoZO7ZDUFyZs9yxHBdvOHbo6F6Q/gWuaJOTp0mm5pdbalixux8UWs0PPwWtSw3VpQoSdIlsHAu3IN2hDJ98SKS/Rw8l2/1TuAzQzf9PxILEAymKHGMZAu2KQwmYAWsUnbHi/5hkH2jKiOe0Uh4Oeo6uDnbqz/pp+CKoN4kw/+P6sql8ClDuQ4NQ8OX2ef+euizrHs4Ur5QLBSgv03lKnWrozaKNwFqqKlBwJZyIUu5halAzu4zdgVmWMLIV1BdR6fiojmIVDOIPT2DfelhFSslS9mx+zBPr3lB5XCNGTMkLf6cLZl9kFdxxA/ws5C6JJJEr0BOu78WlfttNzECR80KxC7w+H+CNlkyoweXX+PDbSCPaPJsV6I4/ovLPOWaI8Uvjb9Mfkl6OT0gX83g19ONZWuiJAQcTWzGulsC0Sfe3vlxNkbQkkQuQ9rZermklCdGQJUY3O7VKJ0si08DIevBofrXoy9xrGNwXHoTdVtemlaBwXUQj/TfIKeVqJUAMp9CtdtgnoJWaXzEufJMDm2uB+8xrZ6fLK8EswwsJvi0J1s+bSWm01jszNzCMuZ3ieGSGQmxgs1
Candidates in the areas of programming languages or formal methods are
enthusiastically encouraged to apply for the following positions:
POSITION ANNOUNCEMENT
Assistant Professor of Computer Science
Portland State University
The Department of Computer Science at Portland State University
invites applications for four tenure-track Assistant Professor
positions. In addition to several other fields, we are particularly
interested in candidates with backgrounds in programming languages
and/or formal methods. The expected start date is September 2022,
but earlier or later dates can be negotiated. Review of applications
has begun and will continue until the positions are filled. For more details,
please visit https://www.pdx.edu/computer-science/open-faculty-positions .
- [Coq-Club] Faculty position at Portland State University, Andrew Tolmach, 12/08/2021
Archive powered by MHonArc 2.6.19+.