News and Events:
These pages provide information about recent developments at or relevant to the ILLC (last update: 17 April 2015). 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 ILLC currently has one PhD position available at the Faculty of Science starting on 1 September 2015. Applications are now invited from excellent candidates wishing to conduct research in a research area within ILLC that fits naturally in the Faculty of Science.
Application deadline: 5 May 2015. For more information, see http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/15-125.html.
The ILLC has an opening for a 2-year Research Fellow (Experienced Researcher) position as part of the ESSENCE (Evolution of Shared SEmaNtics in Computational Environments) Marie Curie Initial Training Network (ITN), a four-year international collaborative research training project coordinated by the University of Edinburgh. This is a high-profile position that offers exceptional benefits ideally suited for top candidates.
ESSENCE conducts research and provides research training in various aspects of the evolution and negotiation of meaning within communities and computer networks. The research project supports 15 pre- and post-doctoral fellows that will work toward a set of different research projects within this overall theme, ranging from symbol grounding and ontological reasoning to game-theoretic models of communication and crowdsourcing.
For more information, see https://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/
One PhD position/studentship to study computational models of language and vision is available in the Language, Interaction and Computation track of the 3-year PhD program offered by the Center for Mind/Brain Sciences at the University of Trento (Italy). Possible research directions include: Compositionality in images; Methaphors in images; Searching for images through natural language queries; Language, vision and reasoning. The selected student will work closely with the research team of the ERC project COMPOSES.
For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=6745 or contact raquel.fernandezuva.nl.
Time: 12-48 monthsLocation: Mannheim, GermanyFunction: PhD/Postdoc researcherResearch Topic: Artificial intelligence
A position is currently open for a (highly motivated) PhD student or early Postdoc at the Data and Web Science (DWS) Group at the University of Mannheim, Germany, starting this fall (2015).
She/he will work on a project on entity-centric information extraction for the finance domain. The project will involve close collaboration with a local company that develops financial software, and will proceed under the direction of Prof. S. Ponzetto and Prof. H. Stuckenschmidt.
The aim of the project is to design and test new user-centric NLP-based methodologies and services for the personalized extraction of financial entities, events and relations from heteregenous data sources (webpages, financial feeds, corporate databases).For more information, please contact camilo.thornegmail.com
This is an announcement for a fully funded Ph.D. position in Logic in the Department of Philosophy, Linguistics & Theory of Science at the University of Gothenburg.
Note that the applications are due by 11:59 PM (Sweden time) May 4, 2015. For more information, see http://flov.gu.se/english/education/doctoral-studies-third-cycle/admission
Amsterdam Data Science, an initiative of the University of Amsterdam (UvA), VU University Amsterdam (VU), Amsterdam University of Applied Sciences (HvA), and Centrum Wiskunde & Informatica (CWI) is looking for 14 researchers at the postdoctoral/PhD level. These positions are funded by the Amsterdam Academic Alliance (AAA), a joint initiative of the UvA and VU aimed at intensifying collaboration with each other and knowledge institutions in the region, to cement Amsterdam's position as a hub of academic excellence. These positions are partially co-funded by CWI, Faculty of Social and Behavioural Sciences of the UvA, HvA, ORTEC, Spinoza fund of Prof. Vossen, and VUmc.
For more information, see https://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/content/2015/04/
The Munich Center for Mathematical Philosophy (MCMP) and the Chair of Philosophy of Science at the Faculty of Philosophy, Philosophy of Science and Study of Religion at LMU Munich seek applications for a Doctoral Fellowship.
The successful candidate has a background in cognitive science or philosophy and works on problems from the psychology of reasoning, judgment or decision-making. She or he will be part of a team of philosophers and psychologists led by Ulrike Hahn (Birkbeck and MCMP) and Stephan Hartmann (MCMP). The fellowship is sponsored by Ulrike Hahn's Anneliese Maier Research Award from the Alexander von Humboldt Foundation. The stipend is for three years, and it should be taken up by October 1, 2015, but a later starting date is also possible.
The successful candidate will partake in all of MCMP's academic activities and enjoy its administrative facilities and financial support. The official language at the MCMP is English and fluency in German is not mandatory.
Applications must be received before 22 April, 2015. For more information, see http://www.mcmp.philosophie.uni-muenchen.de/news/doc_fellows_2015/. Contact for informal inquiries: Professor Ulrike Hahn (U.Hahnbbk.ac.uk) and Professor Stephan Hartmann (S.Hartmannlmu.de).
The University of Bremen, Faculty of Mathematics and Informatics, invites applications for the permanent position of Full Professor of Theoretical Computer Science (W3).
The successful applicant will represent the field of Theoretical Computer Science in research and teaching and should have an excellent research and publication record in relevant subject areas such as Complexity Theory, Algorithmic Graph Theory or Complexity of Constraint Satisfaction Problems. She/he will teach undergraduate and graduate courses and is invited to participate in the supervision of student projects. Commitment to teaching, didactic innovation, and contributions to the internationalization of the University of Bremen are expected.
The successful applicant is expected to contribute to the university's research funding through the acquisition of research grants. A cooperation with associated research institutes such as the Center for Computing Technologies (TZI), the German Research Center for Artificial Intelligence (DFKI), and the German Aerospace Center (DLR) is encouraged.
Please send your application by April 24th, 2015, mentioning the application code P559/15. For more information, see https://www.informatik.uni-bremen.de/cms/detail.php?id=81914&language=en or contact the Dean of the Faculty for Mathematics and Informatics, Prof. Dr. Kerstin Schill (dekaninfb3.uni-bremen.de).
The Analysis Committee proposes to award at least one and up to three studentships equal to the full-time maintenance grant for an Arts and Humanities Research Council postgraduate studentship for the year 2015-016. The studentship is designed to support a promising philosopher who does not have other means of support (e.g. a temporary or permanent lectureship or a research fellowship) and to enable him or her to conduct full-time research. The funds are solely for maintenance and support of research, and not institutional overheads.
Candidates for the studentship should be pursuing research at a British university, at the beginning of their academic career, and, at the time of taking up the award, should have completed at least three and no more than 5 years of full-time research, or the part-time equivalent. Candidates may make a case for circumstances that exempt them from these eligibility criteria. The research should be on a subject which falls under the traditional concerns of Analysis. It is envisaged that the successful candidate will have recently completed a PhD or be very close to completion, and have a CV which would make him or her a strong contender for a Junior Research Fellowship or similar appointment.
Deadline for applications: 27 April 2015. For more information, see http://www.analysistrust.org/society/analysis/studentship.html
The Department of Philosophy, Logic and Scientific Method at the London School of Economics and Political Science seeks applications for a one-year LSE Fellowship in Philosophy.
The Department has teaching needs primarily in introduction to philosophy, argumentative writing, philosophy and the behavioural sciences and 20th century analytical philosophy. The successful candidate will have experience in these areas and be able to teach and do research in these areas and take on some academic administration. Candidates should have a relevant PhD at the time of appointment, possess excellent written and oral communication skills and have excellent teaching and research skills.
Reference nr 1458973. Applications must be received before 29 April, 2015. For more information, see http://www.lse.ac.uk/philosophy/blog/2015/04/03/. Informal enquiries about this post should be directed to philosophy-deptlse.ac.uk.
A full-time PhD position is available within an NWO project on probabilistic analysis of algorithms.
The position is within the group Discrete Mathematics and Mathematical Programming (DMMP) at the Department of Applied Mathematics. The project is funded by Netherlands Organization for Scientific Research (NWO) and is embedded in the University of Twente's Centre for Telematics and Information Technology (CTIT), the largest academic ICT research institute in the Netherlands.
The successful candidate should have a Master's degree in Mathematics, Computer Science, or a related field. A solid background in Discrete Optimization, Theoretical Computer Science, or the Analysis of Algorithms is highly appreciated but not a must as the candidate will be given the opportunity to follow courses in the LNMB PhD program during her/his first year.
Deadline for applications is March 15, 2015. The intended starting date is summer/spring 2015, the exact starting date is negotiable. For more information see http://www.utwente.nl/vacatures/?VacatureID=711594 or contact Bodo Manthey at b.mantheyutwente.nl.
There is an opportunity to apply for a 2-years fellowship in Torino University Mathematics Department in the field of Mathematical Logic with a focus in Descriptive Set Theory (to be meant with the broadest possible meaning).
Applications must be received before 5 May, 2015. The details on the application can be found at: http://www.train2move.unito.it/data/T2M_Callforproposals_2015.pdf, and the website on which one can gather all infomations is: http://www.train2move.unito.it/login.html. The deadline is 5th of may 2015. Those interested to apply can contact one of the following members of the logic group of the mathematics department in Torino: matteo.vialeunito.it, alessandro.andrettaunito.it or luca.mottorosunito.it.
The University of Luxembourg has the a vacancy in the Mathematics Research Unit for a Postdoc in Mathematics Area (Abstract Algebra, Functional Equations, Logic, Mathematics of Operations Research). Duration: 31 months, starting from August 1, 2015.
The position is open until filled. Details may be found at http://emea3.mrted.ly/l6mg, or at the webpage of Jean-Luc Marichal's working group, at http://wwwen.uni.lu/recherche/fstc/mathematics_research_unit/research_areas/.
The School of Computer Science at the University of Birmingham invites applications for PhD study.
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 ?-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.
For more information, see the webpage of the theory group at http://www.cs.bham.ac.uk/research/groupings/theory/ and the poster at http://www.cs.bham.ac.uk/research/groupings/theory/phdposter.html.
The Institute for Philosophy II at the Ruhr-University Bochum (RUB) invites applications for a PhD research position in the domain of nonmonotonic logics and formal argumentation. The position is part of a research project on formal argumentation and defeasible reasoning.
Duration: 4 years (incl. trial period). Starting date: 1. September 2015 (latest). Public salary TV-L 13, 65%. The candidate is supposed to have an MA degree (or equivalent) in philosophy, computer science or mathematics. Candidates with a background in formal logic and/or formal argumentation are preferred. Mastering the German language is not required.
Deadline for the application: 17 May 2015. For more information, see http://homepages.ruhr-uni-bochum.de/defeasible-reasoning/call-phd2.html.
The Computer Science Department of the Universitat Politecnica de Catalunya (UPC Barcelona-Tech) and the Barcelona Graduate School of Mathematics (BGSMath) invite applications for two PhD positions in the theory of computation.
The successful candidates will join the group of Albert Atserias to start their PhD studies in the areas of algorithms and computational complexity, and mathematical logic for the theory of computation. The students will be appointed by UPC as full-time students with a stipend and social security coverage for three years with the possibility of renewal for a forth year. Tuition fees will also be covered.
Deadline for applications is June 15, 2015. Check the details of the application procedure at http://www.cs.upc.edu/~atserias/AUTAR.html. Expected start date is in the fall of 2015.
The Computer Science Department of the Universitat Politecnica de Catalunya (UPC Barcelona-Tech) and the Barcelona Graduate School of Mathematics (BGSMath) invite applications for two postdoc research positions in the theory of computation.
The successful candidates will join the group of Albert Atserias to conduct research in the areas of algorithms and computational complexity, and mathematical logic for the theory of computation. The researchers will be appointed as full-time employees of UPC, with affiliations at the computer science department, and their positions will be for one year, with the possibility of renewal for a second year.
Successful candidates should have received or be about to receive a PhD degree in computer science and/or mathematics, with particular emphasis on the theory of computation or related areas (combinatorics, mathematical programming, mathematical logic, etc.). Their strong record of research should be proved by top-quality publications at the most prestigious conference venues (ICALP, FOCS/STOC, CCC, LICS, SODA, ...) and/or scientific journals.
Deadline for applications is June 15, 2015. Check the details of the application procedure at http://www.cs.upc.edu/~atserias/AUTAR.html. Expected start date is September 1st, 2015, but this is to some extent negotiable.
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.
LogiCS is a doctoral college focusing on logic and its applications in computer science. Successful applicants will work with and be supervised by leading researchers in the fields of computational logic, databases and knowledge representation, and computer-aided verification.
The University of Liverpool, Department of Computer Science, invites applications for a Postdoctoral Research Associate Position in the EPSRC-funded project "Islands of Tractability in Ontology-Based Data Access". The position is available for three years starting July 1st, 2015.
The research associate will work under the supervision of Professor Frank Wolter in a joint project with Dr Boris Konev and Dr Andre Hernich. The topic is theory and practice of ontology-based query answering for expressive ontology languages focusing on classes of tractable ontology-based queries. Candidates should have a PhD in Computer Science, Logic, or Mathematics and relevant expertise in computational logic, complexity theory, database theory, or knowledge representation and reasoning.
For further details and application procedures, see http://www.liv.ac.uk/working/jobvacancies/currentvacancies/research/r-587876/