Logic List Mailing Archive

Postdoctoral position in resource reasoning, London (U.K.)

Research Associate/Senior Research Associate in Resource Reasoning
University College London -UCL Computer Science

Full Time : The appointment will be on UCL Grade 7-8. The salary range 
will be Grade 7 is £32,699 - £39,523 per annum, and for Grade 8: £40,618 - 
£47,915 per annum, inclusive of London Allowance.

We are looking for an outstanding researcher with expertise in: logic, 
resource reasoning, and program verification. Some interest in computer 
and/or information security may be advantageous.

The appointee will contribute to a research project on resource reasoning, 
which involves UCL, Imperial College, and Oxford University. The appointee 
will work with members of the Programming Principles, Logic, and 
Verification group, and may interact with other groups, including both 
Computer Systems and Networking and Information Security, at UCL. The 
researcher?s tasks may include the following: mathematical and theoretical 
work in logic, resource reasoning, and program verification; software 
development; and empirical activities.

The post is funded for two years in the first instance.

Candidates should have demonstrated a capability of conducting exciting 
world-class research in resource reasoning and related areas. They will be 
evaluated chiefly on their academic curricula and on the significance and 
novelty of their research to date.

Candidates for Research Associate (Grade 7) must hold an earned Ph.D. by 
the time of application or be in the process of earning one. A proven 
record of ability to manage time and delivering work on time is desirable.

Candidates seeking appointment at Senior Research Associate (Grade 8) 
level would need to have experience in leading small teams of researchers, 
an independent research reputation, with evidence of international 
recognition from publications in internationally recognized journals, 
invited talks at international workshops/conferences, and served on 
Programme and Steering Committees. They must also hold an earned Ph.D. and 
have relevant post-doctoral work experience.

UCL vacancy reference: 1396898

Applicants should apply online. To access further details about the 
position and how to apply please click on the ?Apply? button below.

If you have any queries regarding the vacancy or the application process, 
please contact Prof. David Pym, email:d.pym@ucl.ac.uk, telephone: +44 
(0)20 3108 1193.

Closing Date: 18 February 2014

UCL Taking Action for Equality.



--
Professor of Information, Logic, and Security

d.pym@ucl.ac.uk
www.cs.ucl.ac.uk/People/D.Pym
www.cs.ucl.ac.uk/staff/D.Pym/