Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Faculty position at Portland State University

view this post on Zulip Email Gateway (Oct 26 2020 at 11:18):

From: Andrew Tolmach <>
Candidates in the areas of programming languages or formal methods are enthusiastically encouraged to apply for the following position:


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 <> for further information on applying.

Last updated: Dec 05 2021 at 22:18 UTC