[TYPES/announce] Associate Professor Positions in Computer Science at the University of Southern Denmark

[Jacopo Mauro]

The Department of Mathematics and Computer Science at the University of
Southern Denmark, Odense, invites applications for a permanent position in
computer science, in the section of concurrency and logic, at the level of
associate professor. The proposed starting period is the first half of 2020.

Application deadline: 8 September 2019.

In the concurrency and logic section (https://concurrency.sdu.dk/), we
carry out research in programming languages and concurrent systems, with
the aim of improving the efficiency, reliability, and security of IT
systems as well as programming productivity. The successful applicant is
expected to have a PhD in computer science and a strong track
record of research at a high international level. We seek a candidate with
a strong background in at least one of the following areas:

   - Concurrency theory
   - Logical methods for computer science
   - Programming languages, including design, theory, and implementation.

In addition to research, the applicant must be able to teach and advise in
computer science at all levels as well as teach in a broad range of core
computer science areas at the undergraduate level. Fluency in English is
required. Knowledge of Danish is not a prerequisite for application.

Link for application, including the call with full details:
https://www.sdu.dk/da/service/ledige_stillinger/1051008

For further information, you can contact Associate Professor (e-mail:
mauro at sdu.dk, phone: +45 93 50 74 33).
-- 
Jacopo Mauro, Associate Professor
Department of Mathematics and Computer Science (IMADA)
University of Southern Denmark (SDU)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190816/48ec03ed/attachment.html>