coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Dundee Fellowships (Computational Logic/Functional Programming)

From: Ekaterina Komendantskaya <katya AT computing.dundee.ac.uk>
To: coq-club AT inria.fr, lfcs-interest AT dcs.ed.ac.uk, stp AT macs.hw.ac.uk, SPLS AT dcs.gla.ac.uk, blc AT cs.nott.ac.uk, functional-programming AT cs.st-and.ac.uk, hamming-members AT inf.ed.ac.uk, categories AT mta.ca
Subject: [Coq-Club] Dundee Fellowships (Computational Logic/Functional Programming)
Date: Thu, 6 Dec 2012 22:09:13 +0000

University of Dundee announces several permanent positions, with a
5-year starting period of a Research Fellowship.
One of the named priority areas is Computational Logic/ Functional
Programming / Verification.

For more details, see below or email me:
Katya Komendantskaya
<katya AT computing.dundee.ac.uk>

School of Computing
University of Dundee
Dundee Fellowship
Permanent position

Closing Date for applications: Wednesday 23 January 2013.

University of Dundee is advertising a series of permanent academic jobs
across the College of Arts & Science and Engineering, named Dundee Fellows.
The aim is to bring in a series of excellent academics onto permanent
contracts
(subject to the completion of 3 year probation) into any research area
within the
College. These staff will be labelled as Dundee Fellows during their
first 5 years,
over which time they will receive enhanced staff development and a
research focus
to their duties, while automatically moving to a regular academic
contract (lecturer,
senior lecturer, reader or professor) at the end of these 5 years.
These will be independent researchers (and not postdocs under supervision).
Their teaching load will start low, and will gradually increase over
the first 5 years,
to phase them into teaching.

As the University of Dundee moves towards its 25 year vision of becoming
Scotland’s leading University, we are actively investing in the next
generation
of our academic community. Our Dundee Fellows scheme offers exciting
opportunities to outstanding, high potential, early career researchers of any
age to establish themselves at the University of Dundee and develop towards
making a full and excellent contribution to research, teaching and leadership
in their chosen field.

Full details are available here: http://www.dundee.ac.uk/dundeefellows/

******************************************

Ekaterina Komendantskaya
Lecturer
School of Computing
University of Dundee
Dundee,
Scotland
DD1 4HN
Tel: (+44) 01382384820

[Coq-Club] Dundee Fellowships (Computational Logic/Functional Programming), Ekaterina Komendantskaya, 12/06/2012