News and Events: Open Positions

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.

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).

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.

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.

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.

Dear All,

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:

http://www4.uninsubria.it/on-line/home/naviga-per-tema/didattica/post-lauream/dottorati-di-ricerca/articolo14089.html

http://www4.uninsubria.it/on-line/home/naviga-per-tema/servizi/servizi-per-la-ricerca/opportunita-di-ricerca-presso-luniversita-degli-studi-dellinsubria/assegni-di-ricerca-senior.html

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.

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.

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.

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.

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.

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.

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.