Post-doc position at UCL

Apologies for cross-postings.

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:[email protected], telephone: +44 (0)20 3108 1193. 

Closing Date: 18 February 2014

UCL Taking Action for Equality.



--
Professor of Information, Logic, and Security

[email protected]
www.cs.ucl.ac.uk/People/D.Pym
www.cs.ucl.ac.uk/staff/D.Pym/

_______________________________________________
Lprolog mailing list
[email protected]
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog