News and Events:
These pages provide information about recent developments at or relevant to the ILLC (last update: 21 July 2014). 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.
Items which are new or have been updated within the last week are marked "(New)" or "(Updated)".
Headlines Open Positions at ILLC
Headlines Open Positions, General
The successful candidate will be at the heart of a new research group whose aim is to promote the interaction between formal, logical, semantic, or/and computational modelling of language and cognition within the ILLC. To match these research tasks, the successful candidate will also be given a light teaching load in the MSc Logic, the MSc Brain and cognitive science, and/or the BSc/MSc Artificial Intelligence.
This position is part of the larger Dutch research consortium "Language in Interaction" (lead-organisation Radboud University, Nijmegen), which brings together researchers from nine different research institutions in the Netherlands, with complementary expertise in a highly interdisciplinary area of research. The position will be embedded within the ILLC within the Faculty of Science (FNWI) of the University of Amsterdam. The researcher will be appointed either in the Language & Computation or in the Logic & Language programme at ILLC, and will form a new interface between these. The position comes with a PhD fellowship.
Application deadline: 15 October 2014. For more information, see http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/14-220.html.
The PhD position is part of the larger Dutch research consortium "Language in Interaction". This research consortium brings together researchers from nine different research institutions in the Netherlands, with complementary expertise in a highly interdisciplinary area of research. This PhD project will be supervised by Prof. Dr. Johan van Benthem (ILLC) and Prof. Dr. Ivan Toni (Donders Institute, Radboud University Nijmegen).
TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program LogiCS. The LogiCS doctoral college focuses on interdisciplinary research topics covering
- computational logic, and applications of logic to
- databases and artificial intelligence as well as to
- computer-aided verification.
In the years 2014-2018, the doctoral college will admit 30 PhD students. 10 positions are reserved for female applicants. The positions are funded for a period of 3 years according to the funding scheme of the Austrian Science Fund. The funding can be extended for one additional year contingent on a placement at one of our international partner institutions.
For more information, see http://logic-cs.at/phd/
Ikerbasque, the Basque Foundation for Science has launched its annual call for attracting senior researchers to the Research Institutions in the Basque Country.
This call offers 15 permanent contract positions for experienced researchers within any of the Basque Research Institution (Universities, BERC - Basque Excellence Research Centres, CIC – Cooperative Research Centres, Biomedical institutions and Technology Corporations, among others).
Deadline: Wednesday 10 September 2014. For more information, see http://www.ikerbasque.net/
The Software Technologies Research Group at the University of Bamberg is offering one full-time PhD position (E13 TV-L, German public sector pay scale) available in the context of a new research project that will develop novel formalisms and techniques for software specification, verification and analysis for concurrent systems.
We target two not necessarily disjoint types of condidates: first, practitioners with a good knowledge of and experience with modern asynchronous and concurrent programming languages and APIs; second, theoreticians with basic knowledge in formal methods and theoretical computer science (e.g., formal semantics, automata, graph transformation systems, model checking, logics, and/or compiler construction).
A post-doc position is available from October 1 at the Department of Theoretical Computer Science of the Technical University Braunschweig. It runs till Match 2016 and is prolongable till 2018 (depending on availability of funds).
The topic is application of category theory in computer science, in particular algebra and coalgebra in automata theory.
For further information email Jiri Adamek J.Adamektu-braunschweig.de. As an illustration of the possible topics, we have recently presented a new proof of the Eilenberg Theorem. at https://www8.cs.fau.de/~milius/publications/files/ammu_fossacs2014.pdf: we intend to work further in this direction.
Date: Starting in Fall 2014Location: CNRS/LORIA, Nancy (France)Supervisor: Claire GardentResearch Topic: Natural Language Generation for the Semantic Web
The Research Group in Computational Linguistics, Synalp/LORIA in Nancy (France) invites applications for a three-year-funded PhD studentship in Computational Linguistics.
There is a growing need in the semantic web (SW) community for technologies that give humans easy access to the machine-oriented Web of data. Because it maps data to text, Natural Language Generation (NLG) provides a natural mean for presenting this data in an organized, coherent and accessible way. Conversely, the representation languages used by the semantic web (e.g., OWL ontologies and RDF data) are a natural starting ground for NLG systems. The aim of the PhD thesis will be to explore the interaction between the semantic web, the textual web and Natural Language Generation (NLG). More precisely, the goal will be to develop generic weakly supervised methods for generating text from semantic web data in particular, content selection and verbalisation methods.
The project will build on an ongoing collaboration between LORIA (Nancy, France), the KRDB group at (Bolzano, Italy) and Stanford Research International (USA), bringing together high level academic partners with internationally recognised expertise in both NLG (LORIA) and knowledge processing (KRDB, SRI).
Deadline: open until filled. For more information, see http://www.loria.fr/~gardent/phdtopic.html
We are recruiting to two full-time, permanent positions in the area of Cyber Security and Privacy. Our current expertise spans topic areas ranging from theory to applied, such as quantum cryptography, verification and program analysis, provable security and logical foundations, automated reasoning, security protocols and APIs, data provenance, social media privacy, mobile security, agent-based security, authentication and passwords. We are looking for outstanding researchers and educators to join our core security and privacy group, bringing expertise in new areas and helping us to consolidate and extend knowledge within the larger academic body of the School and the wider University.
Starting date: 1st October 2014 or as soon as possible thereafter. Salary: £38,511 - £45,954 (Lecturer); £48,743 - £54,841 (Reader). Closing date: 22nd Aug 2014.
An Elphinstone PhD Scholarships is available in philosophy of mathematics at the University of Aberdeen. This scholarship covers the entirety of tuition fees for a PhD student of any nationality commencing full-time study in October 2014, for the three-year duration of their studies. The candidate will be supervised by Toby Meadows and Øystein Linnebo on a project relating to set theory and formal theories of truth.
The project will exploit philosophical and mathematical resources to take insights from set theory into truth theory and vice versa. An ideal candidate will have experience in formal logic, metaphysics and philosophy of mathematics.
Applications must be received before Friday 6 June 2014. For more information, see http://www.abdn.ac.uk/cass/graduate/philosophy-342.php, or contact Dr. Toby Meadows at toby.meadowsabdn.ac.uk.
The Section for Mathematical Logic of the Universitaet Freiburg invites applications for an Assistant's position at level A13 or E13. Fulltime position, start date: 01.10.2014 The contract is a fixed-term contract for 3 years. The teaching load is four hours per week during the term in a field of mathematical logic or in the beginners' education in mathematics.
Prerequisites are a Ph.D. and possibly further research in set theory. Moreover, there is the possibility to obtain the habilitation degree. There is the possibility to prolong the contract by another three years. The position can be filled by October 1, 2014 or later.
Applications must be received before 25 July, 2014 and marked with the reference number 8839 . For more information, see http://www.uni-freiburg.de/administration/ or http://logik.mathematik.uni-freiburg.de/index_en.html, or email Prof. Dr. Heike Mildenberger at heike.mildenbergermath.uni-freiburg.de.
The Department of Computer Science of the University of Liverpool offers a number of PhD positions in the research fields pursued in the department. We have up to 3 positions available for home and EU students in EEECS for starting in October 2014.
Applicants are encouraged to visit http://www.csc.liv.ac.uk/research.html and study the pages of our research groups on Agents, Complexity Theory and Algorithms, Economics and Computation, and Logic and Computation, and to contact prospective supervisors to discuss a research topic before applying.
The deadline for this application round is Friday, August 1st. You can apply through http://www.liv.ac.uk/study/postgraduate/applying/. Please do not hesitate to ask sven.scheweliverpool.ac.uk or hannahfliverpool.ac.uk) if you have any questions.
Applications are invited for a PhD position at UCL's Department of Computer Science, in the Programming Principles, Logic, and Verification and/or Information Security Research Groups. The studentship is funded by UCL in connection with the EPSRC-funded project, 'Algebra and Logic for Policy and Utility in Information Security', involving teams from UCL, the University of Bath, and the University of Aberdeen, and the University of Exeter. The project is multidisciplinary, drawing upon logic, theoretical computer science, economics, and security management and policy.
The overall project has three main components. First, a basic mathematical foundation that will address utility theory from the perspective of algebraic theories of processes and their associated modal and substructural logics. This work will provide foundations for a systems modelling framework that both incorporates utility and is fully compositional. Second, formulations of industrial- and large-scale security policy design and decision-making informed by the concepts of the systems modelling framework. Third, agent- and game-based interpretations of the modelling framework described in the first part that will address the policy issues formulated in the third part. Depending on the academic strengths and interests of the successful candidate, the studentship may be associated with any of the three components of the project.
The studentship will be supervised by Prof. David Pym, and funded for a period of 4 years. The start-date for the studentship will be in September 2014. The deadline for applications is Monday 30th June 2014.
Applications are invited for a postdoctoral position in Wei Ji Ma's laboratory in the Center for Neural Science and Department of Psychology at New York University. The position is for two years, with the possibility of extension. Salary will be competitive and commensurate with experience and qualifications.
The long-range goal of the lab is to understand decision-making under uncertainty. The specific project is an NSF-funded one on how humans think ahead, decide, and learn in two-player, full-information games (such as chess, go, or tic-tac-toe). We will use human behavioral experiments, machine learning, eye tracking, and potentially fMRI to dissect the roles of heuristics, pruning strategy, and cognitive constraints in human play in a simplified, tractable game environment.
Applicants should have a Ph.D. in machine learning, artificial intelligence, game theory, computational neuroscience, or mathematical, perceptual, or cognitive psychology, and be familiar with at least one other of these fields. Experience with probabilistic models is required.
To apply, please send your CV, a description of why you are interested, and the contact information of two references to Wei Ji Ma. Consideration of applications will begin immediately and will end when the position is filled.
The AHRC-funded project 'Contemporary Scientific Realism and the Challenge from the History of Science' invites applications for a PhD studentship in integrated history and philosophy of science, commencing on 1st October 2014. The studentship includes three years’ Home/EU fees, plus three years' maintenance at RCUK rates.
The project will critically evaluate contemporary scientific realism by looking to a number of episodes in the history of science which pose problems for this position. The successful applicant will have a good degree, and have (or be working towards) a Masters in a relevant discipline. He/she will work closely with the PI (Peter Vickers) and the Co-I (Timothy Lyons), as well as interacting with members of a wider project network. This is an exciting opportunity, including the possibility of a full year working in the US with leading philosophers and historians of science.
There is no set deadline. However, we will consider applications on 1st July 2014 with a view to making the selection, so applications after that date won’t be guaranteed consideration. Full details are available at http://community.dur.ac.uk/peter.vickers/PhD+studentship+-+Durham.pdf.
The Data Semantics (DaSe) Lab at the Department of Computer Science at Wright State University seeks two or more PhD students to pursue research in applied or foundational aspects of Data Semantics, Semantic Web, Ontologies, Geo- or Earth Sciences. Funding includes a monthly stipend plus tuition costs.
The DaSe Lab (directed by Pascal Hitzler) is an internationally prominent research group with focus on foundations and applications of Semantic Web technologies. Lab members primarily contribute to ongoing research projects, but occasionally also get involved in teaching and administrative tasks. The new students will likely focus on research topics related to Data Science applications in the Earth Sciences.
The Department of Philosophy at the University of Sheffield has an opening for a Lecturer in Philosophy, fixed-term from 1 September 2014 to 31 August 2015. This is an ideal opportunity for a scholar with an outstanding research record and excellent teaching ability to join one of the leading philosophy departments in the United Kingdom. You will design and deliver modules in Philosophy, and contribute to postgraduate supervision.
Camdodates should have (or be close to completing) a PhD in Philosophy or a related subject area (or have equivalent experience), proven teaching ability, the ability to carry out high quality research and disseminate research findings. It is expected that you will teach *Reference and Truth* at 2nd year level, a 3rd year module related to your research, and one other module (to be determined).
Closing Date: 14 July 2014. For more information, go here: http://www.sheffield.ac.uk/jobs/ and search using reference number UOS008802.
The Birmingham CS theory group invites applications for PhD study at the University of Birmingham. We are a group of (mostly) theoretical computer scientists who explore fundamental concepts in computation and programming language semantics. This often involves profound and surprising connections between different areas of computer science and mathematics. From category theory to lambda-calculus and computational effects, from topology to constructive mathematics, from game semantics to program compilation, this is a diverse field of research that continues to provide new insight and underlying structure.
See our webpage, with links to individual researchers, here: http://www.cs.bham.ac.uk/research/groupings/theory/. Information about PhD applications may be found here: http://www.cs.bham.ac.uk/admissions/postgraduate-research/.