[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
The Computer Science Department at Heriot-Watt University is looking for three
(permanent) assistant professors in Computer Science:
https://urldefense.com/v3/__https://enzj.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX/job/2282/?utm_medium=jobshare__;!!IBzWLUs!RAR69n8PBCGHUdYPgL-9WQBYlUePp8yf8ZS2FGT_7zHCFsVoQ_VWA7uk3tUyvIBFuzNZm0A7UXtcG5bElRnfpjI1weETSsTA$
Heriot-Watt is currently growing significantly in the area of verification,
programming languages, and theorem provers - and Scotland offers a great
environment for these topics in general (see e.g. the Scottish Programming
Languages
Seminar<https://urldefense.com/v3/__https://spls-series.github.io/__;!!IBzWLUs!RAR69n8PBCGHUdYPgL-9WQBYlUePp8yf8ZS2FGT_7zHCFsVoQ_VWA7uk3tUyvIBFuzNZm0A7UXtcG5bElRnfpjI1wVo1LqqU$
> or our recent summer
school<https://urldefense.com/v3/__https://www.macs.hw.ac.uk/splv/splv-2022__;!!IBzWLUs!RAR69n8PBCGHUdYPgL-9WQBYlUePp8yf8ZS2FGT_7zHCFsVoQ_VWA7uk3tUyvIBFuzNZm0A7UXtcG5bElRnfpjI1wbr1LF4-$
>).
There are also four more teaching-related
positions<https://urldefense.com/v3/__https://enzj.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX/job/2280/?utm_medium=jobshare__;!!IBzWLUs!RAR69n8PBCGHUdYPgL-9WQBYlUePp8yf8ZS2FGT_7zHCFsVoQ_VWA7uk3tUyvIBFuzNZm0A7UXtcG5bElRnfpjI1wVXiro8t$
>.
The deadline for application is August, 15.
Kathrin
Kathrin Stark
Department of Computer Science
Assistant Professor, Heriot-Watt University
________________________________
Founded in 1821, Heriot-Watt is a leader in ideas and solutions. With campuses
and students across the entire globe we span the world, delivering innovation
and educational excellence in business, engineering, design and the physical,
social and life sciences. This email is generated from the Heriot-Watt
University Group, which includes:
1. Heriot-Watt University, a Scottish charity registered under number
SC000278
2. Heriot- Watt Services Limited (Oriam), Scotland's national performance
centre for sport. Heriot-Watt Services Limited is a private limited company
registered is Scotland with registered number SC271030 and registered office at
Research & Enterprise Services Heriot-Watt University, Riccarton, Edinburgh,
EH14 4AS.
The contents (including any attachments) are confidential. If you are not the
intended recipient of this e-mail, any disclosure, copying, distribution or use
of its contents is strictly prohibited, and you should please notify the sender
immediately and then delete it (including any attachments) from your system.
