News and Events: Open Positions
These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
Headlines Open positions at ILLC
Headlines Open positions, general
Open positions at ILLC
(New) PhD position in Homotopy Type TheoryDeadline: Wednesday 15 March 2017
The position is part of a research project, The Computational Content of Homotopy Type Theory. The project is funded by the Netherlands Organisation for Scientific Research (NWO) under the TOP2 scheme.
The aim of the project is to develop a computational understanding of Homotopy Type Theory by using concepts from category theory and realizability.For more information, see here or at www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/17-058-phd-position-in-homotopy-type-theory.html or contact Benno van den Berg at bennovdberg at gmail.com.
Open position at ILLC: Data research analystDeadline: Friday 24 February 2017
The ILLC is looking to fill a position for a Data research analyst within the project Golden Agents: Creative Industries and the Making of the Dutch Golden Age. This is a 5-year NWO Groot project (2017-2021) funded by the Netherlands Organisation for Scientific Research (NWO), and carried out by a consortium consisting of a large number of universities, research institutes and national cultural heritage institutions such as the Rijksmuseum, the National Library of the Netherlands and the Netherlands Institute for History of Art.For more information, see here or at www.uva.nl/over-de-uva/werken-bij-de-uva/vacatures/item/17-009-data-research-analyst-for-the-project-golden-agents.html or contact Prof. Charles van den Heuvel at C.M.J.M.vandenHeuvel at uva.nl.
Open position at ILLC: Ontology specialistDeadline: Friday 24 February 2017
The ILLC is looking to fill a position for an Ontology specialist (‘Semantic Lead’) within the project Golden Agents: Creative Industries and the Making of the Dutch Golden Age. This is a 5-year NWO Groot project (2017-2021) funded by the Netherlands Organisation for Scientific Research (NWO), and carried out by a consortium consisting of a large number of universities, research institutes and national cultural heritage institutions such as the Rijksmuseum, the National Library of the Netherlands and the Netherlands Institute for History of Art.For more information, see here or at www.uva.nl/over-de-uva/werken-bij-de-uva/vacatures/item/17-008-ontology-specialist-for-project-golden-agents.html or contact Prof. Arianna Betti at ariannabetti at gmail.com.
Open positions, general
(New) PhD student positions in artificial intelligence, Manchester (England)Deadline: Friday 17 March 2017
PHD STUDENTSHIPS IN ARTIFICIAL INTELLIGENCE University of Manchester, UK Available for 2017 entry
Application deadline: 17 March 2017
The University of Manchester boasts one of the most innovative and successful schools of computer science in the world. Manchester saw the birth of computer science, with the creation of the world's first stored-program computer. We continue to work on pioneering research including cutting-edge image processing software, new technologies to exploit the power of the web, medical imaging software and low-power chip design.
In REF2014, the most recent research assessment, we were ranked in the top 5% in the UK (4th out of 89 submissions) based on GPA for Computer Science and Informatics. REF2014 also assessed that The University of Manchester is the best environment in the UK for computer science and informatics research, and 94% of our research was classed as "world-leading" (4*) or "internationally excellent" (3*). All of our impact case studies were ranked 3* and 4*, which puts us joint-top for research impact.
The School of Computer Science is pleased to announce the following fully-funded studentships for September 2017 entry:
THE JAMES ELSON STUDENTSHIP
The James Elson Studentship Award in Artificial Intelligence will provide an outstanding candidate with fees and an enhanced stipend to carry out a 3-year PhD research project relating to Artificial Intelligence, for September 2017 entry. This studentship has been established as a result of a bequest from James Elson, who passed away in 2012 after a long battle with cancer. Last year we awarded a James Elson Studentship in Cancer Research due to the nature of James' illness; this year the studentship focus is on Artificial Intelligence - the area of James' MEng dissertation whilst here at Manchester. The James Elson studentships are available for UK and EU nationals eligible to pay 'Home' fees. A list of eligible projects and further information about this studentship can be found on the School of Computer Science website:
The deadline for this studentship is Friday 17th March.
A number of School studentships are available for UK and EU nationals for both 3-year PhD and the 4-year CDT PhD programmes in Computer Science.
The 3-year PhD studentships pay all tuition fees and a stipend award for 3 years. Applicants must be eligible to pay 'home' fees. There will normally be opportunities to undertake some teaching, in the form of laboratory demonstration. A number of fees-only studentships are also available for international students. The School supports mid-year as well as the standard September entry point.
The 4-year CDT PhD studentships are offered through our Centre for Doctoral Training, and are available for applicants eligible to pay 'home' fees. The programme consists of an initial 'foundation period' of six months of taught components, followed by a 3.5 year period of focused PhD level research, carried out under the supervision of a PhD supervisor or team of supervisors.
Further information about these studentships can be found on the Funding section of the School of Computer Science website
For further information about PhD study, funding and admissions, please contact our Postgraduate Research admissions team: pgr-compsci at manchester.ac.uk or +44(0)161 275 0699.
Applications must be received before 17 March, 2017For more information, see www.cs.manchester.ac.uk/study/postgraduate-research/programmes/phd/funding or contact pgr-compsci at manchester.ac.uk.
Three PhD student positions on algorithmic techniques for automated planning, Delft (The Netherlands)Deadline: Tuesday 28 February 2017
The Algorithmics research group of Delft University of Technology offers three PhD positions on the development of algorithmic techniques for automated planning and scheduling.
The first PhD position is within the NWO TOP project LearnSDM, and focuses on combining machine learning and model checking to learn and evaluate models for sequential decision making. The second and third positions are position are within the NWO project FlexI, and concern developing algorithms for planning under uncertainty for optimizing flexible energy use in industry, and forstrategic decision-making regarding longer-term investments and trading, respectively.For more information, see www.alg.ewi.tudelft.nl/vacancies.
PhD student position in logic & security, London (England)Deadline: Tuesday 28 February 2017
Applications are invited for a PhD position at the Information Security Group of the UCL Department of Computer Science, funded by the Government Communications Headquarters (GCHQ). The successful candidate will also be a member of the Programming Principles, Logic, and Verification (PPLV) Group. The studentship is open only to UK nationals because of the funder's eligibility requirements. The start-date for the studentship will be no later than October 2017 (this cannot be delayed).
The successful candidate will develop logical and mathematical models of access control policies in physical and information systems, including the architectural and behavioural issues that affect the extent to which an implemented system complies with policies. The aim of the project is to develop a framework for modelling access control policies and their implementation in system architectures and will provide tools for reasoning about the circumvention of policies in the presence of behaviours that are driven by competing priorities.
Post-doc position on Distributional Semantics
Two-year post-doc position at the Computational Linguistic Laboratory (CoLing Lab: http://colinglab.humnet.unipi.it/) of the University of Pisa (with the possibility of further extensions).Topic of the research: distributional models of sentence comprehension and dynamic semantic representations.
Applicants should hold a PhD degree in computational linguistics, computational psycholinguistics, artificial intelligence, computer science, cognitive science or related field. Candidates with an interdisciplinary background are particularly encouraged to apply.
Postdoctoral fellowships in philosophy, Mexico City (Mexico)Deadline: Wednesday 1 March 2017
The Instituto de Investigaciones Filosóficas of the Universidad Nacional Autónoma de México (UNAM), offers postdoctoral research fellowships (one year, with possible renewal for a second year).
The deadline for applications is March 1st, 2017. All documents must be received by this date. The fellowship begins on September 1st, 2017. The starting date is not deferrable.For more information, see www.filosoficas.unam.mx/sitio/becas-posdoctorales-filosofia-unam-2017#en or contact Edgar González Varela at posdoc.iif at gmail.com.
University of Gdansk: Assistant Professorship in mathematical philosophyDeadline: Tuesday 28 February 2017
An Assistant Professorship (“adiunkt” in Polish terminology) in the Chair of Logic, Philosophy of Science and Epistemology is available at the Department of Philosophy, Sociology and Journalism, University of Gdansk, Poland. The position is to start some time between July 1 and September 1, 2017, for a fixed period of time with the possibility of extension. Decisions about the exact beginning date of the contract and the number of years will be made during the hiring process. The successful candidate will be expected to do research in mathematical philosophy, teach about 230 hrs per academic year, apply for external research funding, participate in the research activities of the Chair, in the life of the department, and in the administrative work as necessary.For more information, see wns.ug.edu.pl/sites/default/files/_nodes/komunikat/61840/files/note.pdf#page=4.
Associate Professorship in Automated Verification, Oxford (England)Deadline: Friday 3 March 2017
Applications are invited for the post of Associate Professor (or Professor) of Automated Verification to be held in the Department of Computer Science starting as soon as possible. The successful candidate will also be appointed as Fellow and Tutor in Computer Science at St. John's College.
The Department is seeking to recruit an Associate Professor in Computer Science, with a research specialism in automated verification and synthesis, ideally complementing existing expertise. This is an area of fundamental importance in the design, evaluation and construction of software and systems (design flaws in applications such as autonomous vehicles can have devastating consequences, for example). The Associate Professor?s research will focus on developing theories and techniques to ensure system correctness and employing them in novel application domains. The appointee will also contribute to teaching on the Department's highly successful undergraduate and graduate programmes.
Postdoctoral position in formal methods, Bordeaux (France)Deadline: Tuesday 11 April 2017
The Formal Methods group at LaBRI, Bordeaux University, is advertising a 1-year full-time postdoctoral position. The successful applicant will join a research group working on the project Delta (Défis pour la Logique, les Transducteurs et les Automates). The position will be open from January 2017 and applications will be considered until the position is filled.
Assistant Professorship in Theoretical Philosophy, Zuerich (Switzerland)Deadline: Sunday 19 February 2017
The University of Zurich invites applications for an Assistant Professorship Tenure Track in Philosophy with a focus on Theoretical Philosophy. The post should be filled by August 1, 2018. After two temporary three-year contracts it will become tenured, on the condition that the candidate successfully completes the evaluation process.