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 <tolmach@pdx.edu>
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 <https://www.pdx.edu/computer-science/open-faculty-position> for further information on applying.

view this post on Zulip Email Gateway (Dec 08 2021 at 08:50):

From: Andrew Tolmach <tolmach@pdx.edu>
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 .


Last updated: Jan 25 2022 at 01:11 UTC