[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Lecturer / Senior Lecturer / Reader
(equivalent to assistant / associate professor )
Full-time and open-ended
Research and Teaching Grade 7/8/9
Salary £35,845 - £40,322/£44,045 - £51,034/£52,560 - £59,135 per annum
Up to two positions are available
Closing date: 2 October 2020
Applications are welcome in research areas that complement the existing
strengths of the Formal Analysis, Theory and Algorithms section (FATA)
and the Glasgow Systems Section (GLASS). Relevant topics include
programming language foundations (including session types for concurrent
and distributed systems) and formal methods (including process algebras,
modelling and analysis of complex and reactive systems, model checking
and bigraphs).
The post-holder will develop, lead and sustain research of international
standard in Computing Science; contribute to teaching, assessment,
project supervision and curriculum design at undergraduate and
postgraduate levels; and participate in School management and organisation.
For appointment at Reader you will have an outstanding track record of
national and international distinction and leadership in research,
including publications, income, and awards, bringing external
recognition and distinction to yourself and the University.
Since 1957, when Glasgow became the first university in Scotland to have
an electronic computer, we have built a reputation for the excellence of
our Computing Science research and our graduates. Today, our School is
one of the foremost in the UK, setting itself the highest standards in
research, and research-led learning and teaching.
In the UK's 2014 independent research exercise, we are rated top in
Scotland for research impact with 68% of our impact judged world-leading
and 32% internationally excellent. In the overall research ranking, our
School was judged equal 16th amongst UK computer science departments,
rising to 10th position on research volume with 84% of all research
judged world-leading or internationally excellent. We are 6th in the UK
on research intensity-weighted GPA rank order (GPA * % returned).
Our School is ranked 7th in the UK in The Complete University Guide
2020. Glasgow Computing is renowned for research and teaching at the
intersection of theoretical and applied Computing, and our undergraduate
degree programmes are underpinned by a deep theoretical understanding.
93% of our undergraduates are in positive employment (91% in
professional destinations) and have a 20% higher salary than the average
(Destinations of Leavers from Higher Education 2016-17, DiscoverUni).
For more information, including the job description, see:
https://www.gla.ac.uk/explore/jobs, reference number 040665
https://www.gla.ac.uk/schools/computing/worldchangerswelcome
https://www.gla.ac.uk/schools/computing/research/researchsections/fata-section
For informal inquiries please contact Professor David Manlove
(david.manl...@glasgow.ac.uk)
Please note that the above positions require a Scottish Credit and
Qualification Framework level 12 (PhD) or equivalent in Computing
Science or closely related discipline, or equivalent as evidenced by
relevant teaching experience.
It is the University of Glasgow’s mission to foster an inclusive
climate, which ensures equality in our working, learning, research and
teaching environment.
We strongly endorse the principles of Athena SWAN, including a
supportive and flexible working environment, with commitment from all
levels of the organisation in promoting gender equity.
The University of Glasgow, charity number SC004401
