www.acad.jobs : academic jobs worldwide – and the best jobs in industry
                
     
Position: Research Fellow/Senior Research Fellows in Logic x3
Institution: University College London
Department: Computer Science
Location: London, United Kingdom
Duties: The research may include: foundational work in classical, intuitionistic, modal, and substructural logic; proof-theoretic semantics, including primary and categorical approaches; foundational work in reductive logic and proof-search; applications of logical ideas to systems modelling; the development of tools for systems modelling, including dynamic, epistemic, deontic, and doxastic approaches, with case studies in security and policy modelling
Requirements: Applicants must hold, or be about to receive, a PhD in logic or a closely related area. We are particularly interested in applicants whose research interests include any of the following: the proof theory and model theory of classical, intuitionistic, modal, and substructural logic, reductive logic and proof-search, applications of logical ideas to systems modelling, tools for systems modelling, with case studies in security and policy modelling
   
Text: Research Fellow/Senior Research Fellows in Logic x3, - Ref:1879002 Click here to go back to search results Apply Now UCL Department / Division Computer Science Location of position London Grades 7-8 Hours Full Time Salary (inclusive of London allowance) Grade 7 £36,770 - £44,388 per annum or Grade 8 £45,610 - £53,757 per annum Duties and Responsibilities Applications are invited for several post-doctoral positions in Logic in the Programming Principles, Logic, and Verification (PPLV) group at UCL Department of Computer Science, working with Professor David Pym and his group. The posts are associated with EPSRC-funded projects and will involve collaborations with colleagues in France, Germany, the United States, and elsewhere in London and the UK. The research may include: foundational work in classical, intuitionistic, modal, and substructural logic, proof-theoretic semantics, including primary and categorical approaches, foundational work in reductive logic and proof-search, applications of logical ideas to systems modelling, the development of tools for systems modelling, including dynamic, epistemic, deontic, and doxastic approaches, with case studies in security and policy modelling. The PPLV group conducts world-leading research in logical and algebraic methods and their applications to program and systems modelling and verification. Funding for the posts is for 12 months, with the possibility to extend dependent on the number of appointments and/or more funding becoming available. Key Requirements Applicants must hold, or be about to receive, a PhD in logic or a closely related area. We are particularly interested in applicants whose research interests include any of the following: the proof theory and model theory of classical, intuitionistic, modal, and substructural logic, reductive logic and proof-search, applications of logical ideas to systems modelling, tools for systems modelling, with case studies in security and policy modelling. Appointment at Grade 7 is dependent upon having been awarded a PhD; if this is not the case, initial appointment will be at Research Assistant Grade 6B (salary £32,217 - £33,958 per annum) with payment at Grade 7 being backdated to the date of final submission of the PhD thesis. Further Details A job description and person specification can be accessed at the bottom of this page. To apply for the vacancy please click on the Apply Now button below. The successful candidate will join the PPLV group. Further information about PPLV can be found at http://pplv.cs.ucl.ac.uk/welcome/. For an informal discussion about this position, please contact Prof David Pym at d.pym@ucl.ac.uk. We particularly welcome female applicants and those from an ethnic minority, as they are under-represented within UCL at this level. UCL Taking Action for Equality We will consider applications to work on a part-time, flexible and job share basis wherever possible. Closing Date 15 Oct 2021 Latest time for the submission of applications 23:59 Interview date TBC Our department holds an Athena SWAN Silver award, in recognition of our commitment and demonstrable impact in advancing gender equality. This appointment is subject to UCL Terms and Conditions of Service for Research and Support Staff. Please use these links to find out more about UCL working life including the benefits we offer and UCL Terms and Conditions related to this job. Job description and Person specification Apply Now
Please click here, if the job didn't load correctly.
Your browser does not support iframes. Please click <a href="https://www.acad.jobs/job.php?t_id=J000352791&redirect" target="_parent" style="color:#7A7A7A">here</a>, if the job didn't load correctly.