coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Faculty position at Portland State University

From: Andrew Tolmach <tolmach AT pdx.edu>
To: coq-club AT inria.fr
Subject: [Coq-Club] Faculty position at Portland State University
Date: Sun, 25 Oct 2020 14:00:15 -0700
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-pg1-f182.google.com
Ironport-phdr: 9a23:UgXyNxLyLhdH8iM/HNmcpTZWNBhigK39O0sv0rFitYgeKfvxwZ3uMQTl6Ol3ixeRBMOHsq0C27ad7P2ocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmTiwbalxIRi5ognctMkbipZ+J6gszRfEvmFGcPlMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3QqBWAzogM2Au+c3krgLDQheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4qx2ThLjlSUJOCMj8GzPisJ/kK1Urg+iqRJx3YDaZ5qYO+BicqPYZ94aRXZNUthXWidcAo28dYwPD+8ZMOtEqYnyukEOogWwBAKxGu3vzTtIhnrs0qIm0+QqDAbL3BAnH9IKtXTbtsn6NKcJXOCt0abJwi/PYO1L1jfg8YXFdA0qrv6QU7xqa8XR1VUvGB3fjlWWsYHoIjyb2+cOvmWb8eZtW/yjhnAopQx1ojWixMYhh5XXio8Ry13J9jl0zZgrKdCkTEN3fdypHZtOuyyHOYZ4Qt8vTmd1syg0zb0GvIS0fCkMyJk/3x7QdvOGf5KW7R3+SeacJypzinF9eL+nmRq+7Uytxvf/W8S0ylpGsDdJn9nWunwQ1BHf9NCLRuZz80u8wzqDyQDe5v9eLUwqiKbWKIQtz70tmpcVrE/NBDX5mF/sg6+Tbkgk+van6+DgYrj+o5+TLY50igXnPqQ2lcyzHP00MgYTU2WY5+iwzrLj/Ur+QLVFiv05jLPVv4zdJcQevqK5AglV3Zg/6xunETuqzNAVkWMEIV9FYh6LkZXlNlHULPzlDvqznUygkDJxyPDHOr3hDI/NLn/GkLr5YbZ97EpcyA8pwt9D55JZEakBL+/8W0PrqtPXEwI5PxSuw+n7ENV9yp8eWWWXD6CFN6PSqEaE6f4rI+mRf4AYoy39Kvgg5/72l3A1g14dfa+z3ZsWcn+0BPpmI1/KKUbr19wGCCIBuhc0ZO3sklyLFzBJNFioWKdpzzc3Eo+5RbvEQoWki7zJiDu8GphfbWBuElycV3rkatPXCL83dCuOL5o5wXQ/Xr+7Rtp5jE38hErB07Nia9Hs1GgAr5uyhsB596vemQxgrWUlXfTY6HmESiRPpk1NQjY32K5lpkksmE+Pwe51j+EKTIUOtcMMaR8zMNvn98I/C932XVifLNKASVLjWtr/RD9oHoh3zNgJbEJwXd6li0Kb0g==

Candidates in the areas of programming languages or formal methods are enthusiastically encouraged to apply for the following position:

POSITION ANNOUNCEMENT

Assistant Professor of Computer Science

The Department of Computer Science at Portland State University invites applications for several Assistant Professor positions. Exceptional candidates will also be considered for appointment at the rank of Associate Professor.

Candidates in all areas of Computer Science will be considered, with a preference for applicants who will enhance or complement our existing areas of research expertise and/or whose work is aligned with the strategic visions of the department or the Maseeh College. The expected start date for these positions is September 2021, but earlier or later dates can be negotiated.

Please see https://www.pdx.edu/computer-science/open-faculty-position for further information on applying.

[Coq-Club] Faculty position at Portland State University, Andrew Tolmach, 10/25/2020