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
Postdoctoral researcher Language in InteractionDeadline: Sunday 10 September 2017
This postdoc position is part of the larger Dutch research consortium 'Language in Interaction', sponsored by a large grant from the Netherlands Organisation for Scientific Research (NWO). The goal is to understand both the universality and the variability of the human language faculty from genes to behaviour. The postdoc will be part of a team working on the question "The nature of the mental lexicon: How to bridge neurobiology and psycholinguistic theory by computational modelling?", and will focus on the problem of how to learn word vector representations that encode the combinatorial properties of words required to account for complex linguistic phenomena.
The postdoctoral researcher should have a PhD degree (or equivalent) in (computational) linguistics, or another relevant field of study, and a strong background in syntax, formal semantics and/or parsing. Knowledge of methods in distributional semantics and machine learning for Natural Language Processing is desirable, as is previous experience with vector space models of semantic compositionality.For more information, see here or at www.uva.nl/en/content/vacancies/2017/07/17-377-postdoctoral-researcher-language-in-interaction.html or contact Dr. Willem Zuidema at zuidema at uva.nl, or Dr Raquel Fernández at raquel.fernandez at uva.nl.
Open positions, general
(New) PhD student position in game theory, Paris (France)Deadline: Monday 4 September 2017
The Laboratory of Mathematical Economics at the Université Panthéon-Assas in Paris is offering one funded PhD position in Economics in the fields of Game Theory, Epistemic Game Theory, Interactive Epistemology, or some other topic related to Game Theory to be agreed with the candidate.
Applicants need to be holder of a Master's degree preferably in Economics or Mathematics, obtained prior to the contract's starting date (end of September 2017).
(New) Imperial College Research Fellowships in Computing, London (England)Deadline: Tuesday 29 August 2017
The Department of Computing at Imperial College London invites talented early career researchers to apply for Imperial College London Research Fellowships. This scheme is comparable to an Assistant Research Professorship and provides funding for 4 years to conduct independent research within the research environments of our department, college and the entire cohort of successful fellows. The fellowship offers a competitive salary and attractive research package, support for mentoring, career management, and development opportunities.
The department values to receive strong proposals in all research areas in or pertaining to Computer Science, in foundational or more applied aspects of the discipline. Applicants need to identify a host, who is a permanent member of our academic staff. We therefore encourage prospective applicants to contact potential hosts to discuss an application and proposed fellowship proposal with them.For more information, see www.imperial.ac.uk/research-fellowships/information-for-applicants or contact the Director of Research at doc-dor at imperial.ac.uk.
(New) PhD student position in correct parallel algorithms, Leiden (The Netherlands)Deadline: Sunday 27 August 2017
The Faculty of Science, Leiden Institute for Advanced Computer Science (LIACS) is looking for a PHD candidate for the project 'Correct Parallel Algorithms'. This project aims at creating a framework for the rapid development of correct Parallel Algorithms through the use of Computer-Aided Verification.
We offer a full-time one year term position with the possibility of three-year renewal based on performance. Our individual choices model gives you some freedom to assemble your own set of terms and conditions. Candidates from outside the Netherlands may be eligible for a substantial tax break. All our PhD students are embedded in the Leiden University Graduate School of Science. www.graduateschools.leidenuniv.nl . Vacancy number: 17-311.For more information, see werkenbij.leidenuniv.nl/vacatures/phd-posities/17-311-phd-candidate-correct-parallel-algorithms-.html or contact Assistant Professor Alfons Laarman at a.w.laarman at liacs.leidenuniv.nl.
(New) Ada Lovelace PhD student position in Mathematics & Computer Science, Muenster (Germany)Deadline: Sunday 1 October 2017
The Faculty for Mathematics and Computer Science of the Westfälische Wilhelms-Universität, Muenster, Germany, invites applicants for the Ada Lovelace PhD Position in Mathematics and Computer Sciences (75%, 13 TV-L).
The Ada Lovelace PhD position programme was initiated by the program for female professors (Professorinnenprogramm II) of the state Nordrhine-Westfalia to promote gender equalization for junior scientists. The position comes with additional resources for travelling and material expenses. The position is temporary for three years. The regular weekly working time is 39 hours and 50 minutes. The candidate is expected to graduate within three years.For more information, see www.uni-muenster.de/Rektorat/Stellen/ausschreibungen/st_20172107_sk16.html or contact mathdek at uni-muenster.de.
PhD student positions and postdoctoral fellowships in logic and topos theory, Como (Italy)
Applications are invited for Ph.D. studentships and post-doctoral fellowships at the Department of Science and High Technology of the University of Insubria in Como, Italy. We particularly welcome candidates who wish to work in areas represented within the Department, including logic and topos theory.
The deadlines are the 1st of September 2017 for the Ph.D. studentships and the 8th of September 2017 for the post-doctoral fellowships. More details are available at the following pages:
PhD studentship in verification of security & privacyLocation: Guildford, EnglandDeadline: Wednesday 30 August 2017
The University of Surrey has an opening for a PhD Studentship researching formalism and (semi)-automatic tools based on non-classical logics, for the verification of systems’ security and privacy in modern threat landscapes.
The student will be registered with University of Surrey and join a team of researchers at Surrey Centre for Cyber Security, and will be supervised by Dr. Ioana Boureanu, in collaboration with Prof. Steve Schneider. The PhD studentship is aimed at focusing on the software development of the aforementioned (semi)-automatic tools. However, a move towards (more) theoretically-centred work in this space is also possible.For more information, see jobs.surrey.ac.uk/vacancy.aspx.
1 postdoctoral position and 1 research assistant position in "Language in Interaction", Nijmegen (The Netherlands)Deadline: Sunday 10 September 2017
These positions are part of the larger Dutch research consortium 'Language in Interaction', sponsored by a large grant from the Netherlands Organisation for Scientific Research (NWO). The goal is to understand both the universality and the variability of the human language faculty from genes to behaviour. The postdoc and research assistant will be part of a team working on the question "Variability in language processing and in language learning: Why does the ability to learn language change with age? How can we characterise and map individual language skills in relation to the population distribution?", and wil focus on using variability in learning ability to investigate why second-language acquisition can become harder in adulthood. Both positions will be based at the Donders Institute - Centre for Cognition, Faculty of Social Sciences, Radboud University, Nijmegen, Netherlands.
The postdoctoral researcher should have a PhD degree (or equivalent) in the cognitive neuroscience of language learning or of human memory, or in a closely-related field of study, and be familiar, ideally, with running MRI experiments and with analysing MRI data (including DTI data), with carrying out psycholinguistic and/or learning experiments, with research on individual differences, and with testing children.
The research assistant should have completed, with good grades, a Bachelor's or (Research) Master's degree in psychology, linguistics, cognitive neuroscience, or a closely-related field of study, be familiar, ideally, with running experiments with human subjects (MRI experiments and/or behavioural experiments in psycholinguistics and/or human memory and/or individual differences), and have experience with testing large numbers of participants. Experience with testing children would be especially welcome, as would experience with analysis of large datasets on behavioural and/or neuroimaging measures.
PhD student position in automated theorem proving, Paris (France)Deadline: Sunday 29 October 2017
We are offering a PhD position on the integration of automated provers in proof assistants at the Laboratory on Specification and Verification (LSV) of the University Paris Saclay, starting 1st January 2018.For more information, see rewriting.gforge.inria.fr/grant.html.
Seventeen PhD student and postdoctoral positions in "Limit of Variability in Language", Potsdam (Germany)Deadline: Wednesday 20 September 2017
The Collaborative Research Center SFB 1287 'Limits of Variability in Language: Cognitive, Grammatical, and Social Aspects' in Potsdam, Germany, invites applications for 17 positions for PhD candidates and Postdocs available from July 2017 for a duration of four years (subject to funding commitment).
Language users exhibit a high degree of variability at all levels of the linguistic system, language use, and language development and change. By exploring the systematicity and the limits of variability in linguistic behaviours, the main focus of the CRC will be on identifying the constraints of the underlying linguistic system. Several projects will jointly evaluate the limits, relations, dependencies, and commonalities of different types of variability across a range of linguistic phenomena from the perspectives of (A) language interaction and change, of (B) language processing, and of (C) grammatical systems.For more information, see www.uni-potsdam.de/sfb1287/vacancies.html.
(Updated) Jobs in natural language processing at a company in Oxford
Semmle is a software development company built on groundbreaking research in compilers and data analysis, developed by a team from the University of Oxford. The company is looking for an expert in data analysis with a strong background in natural language processing (including sentiment analysis) to automate the interpretation of software engineering data.For more information, see semmle.com/careers.
PhD student position in Deontic Logic
We are searching for an exceptionally talented and motivated student to join our team as PhD student in the logic group. The ideal candidate should have or be about to obtain an excellent Masters degree (or comparable) in one of the following fields: Mathematics, Computer Science or Philosophy. Competencies in one or several of the following areas would be a plus: Structural proof theory, Deontic logic, Modal logic, Philosophical logic (in particular formalisation of philosophical texts), Implementations.
Willingness to work in an interdisciplinary environment consisting of logicians and indologists is a must. The successful candidate will be an affiliated PhD student in the doctoral program Logical Methods in Computer Science (LogiCS) at the Vienna University of Technology.
PhD student position and postdoctoral position in program logics, Erlangen (Germany)Deadline: Sunday 10 September 2017
In the Theoretical Computer Science group (Chair Computer Science 8) at the Friedrich-Alexander-Universität Erlangen-Nürnberg, we have a PhD and a postdoc position available in the DFG-Project "A High Level Language for Programming and Specifying Multi-Effect Algorithms", which is concerned with monad-based semantics and program logics for side-effecting iteration and recursion. The technical part of the project proposal can be made available on request.
The project is supervised by Sergey Goncharov and Lutz Schröder. The positions are in the TV-L E13 or E14 pay scale depending on qualification of the applicant; the project duration is three years.