News and Events:
These pages provide information about recent developments at or relevant to the ILLC (last update: 26 March 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 Logic and Theory of Science MA is a two-year program in English, run by the Department of Logic at E”tv”s Lorand University Budapest . Beyond a core curriculum in logic and formal approaches to the philosophy of science, we offer a wide range of advanced courses in logic, philosophy of mathematics, foundations of physics, logical methods in linguistics, philosophy of language, metaphysics, and formal models in social sciences. Students can choose a focus according to their own field of interest. The MA is research oriented, and most students continue with a PhD in logic or related fields.
The program is open to students with a BA or BSc degree in Philosophy, Mathematics, Physics, Computer Science, Linguistics, Social Science, and all related fields.
Application deadline: 24th Aug. 2015. For more information, see http://phil.elte.hu/logic/ma, or find us on Facebook at http://www.facebook.com/elte.logic. If you have further questions, please contact Andras Mate, the head of the department, at mate.andrasbtk.elte.hu.
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.
The successful candidate will participate in the activities of the ICR Group (icr.uni.lu) led by Prof. Leon van der Torre at the University of Luxembourg (year 1 and 2), and in the Department of ESPP at the University of Groningen led by Prof. Frank Hindriks (year 3 and 4). You will obtain a joint degree from both institutions (cotutelle). The goal of the PhD project is to develop and evaluate a conceptual, formal and computational framework for the analysis of collective reasoning and decision-making. The aim is to advance understanding of mutually beneficial and normatively appropriate choices in cooperative settings. Applications can concern expert panels and committee decision-making in general, and, for instance, central bank monetary policy committees, climate panels, medical ethical committees, and parliamentary committees in particular.
Interested candidates are invited to send their complete application before March 31, 2015. For more information, see http://emea3.mrted.ly/lli8
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
Applications are invited for a permanent appointment as Lecturer (above the bar) in Philosophy, UCD School of Philosophy. This is an academic teaching and research post within the School of philosophy.
The School has a particular need for undergraduate and postgraduate teaching and supervision in various aspects of analytic philosophy, including some of the following: epistemology (including social epistemology), logic, philosophy of language, philosophy of religion, philosophy of science, aesthetics, metaphysics, mind and action and moral theory. The range of further possible teaching is quite broad, including periods of the history of philosophy from mediaeval through Modern Philosophy to pragmatism and twentieth century analytic philosophy including Wittgenstein. It is also expected the appointee will contribute to the development of high quality research in analytic philosophy in the School through significant publications and research collaborations and the organisation of and contribution to workshops, seminars and conferences.
Please note, 1 or 2 posts may be offered following competition. It is envisaged an appointee will commence in post on 1 September 2015.
Closing date: 17:00hrs (GMT) on Monday 30th March 2015. For more information, see http://www.ucd.ie/philosophy/newsevents/
The term of the current Editor-in-Chief (EiC) of the ACM Transactions on Computational Logic (TOCL) is coming to an end, and the ACM Publications Board has set up a nominating committee to assist the Board in selecting the next EiC. TOCL was established in 2000 and has been experiencing steady growth, with 74 submissions received in 2014.
Nominations, including self nominations, are invited for a three-year term as TOCL EiC, beginning on July 1, 2015. The EiC appointment may be renewed at most one time. This is an entirely voluntary position, but ACM will provide appropriate administrative support.
The deadline for submitting nominations is March 30, 2015, although nominations will continue to be accepted until the position is filled. For further details, see http://tocl.acm.org/announcements/Call-for-Nominations.pdf
The Individual and Collective Reasoning (ICR) Group at the University of Luxembourg, and the Department of Ethics, Social and Political Philosophy (ESPP) at the University of Groningen is looking for a Doctoral candidate (PhD student) in Collective Reasoning.
The successful candidate will participate in the activities of the ICR Group (icr.uni.lu) led by Prof. Leon van der Torre at the University of Luxembourg (year 1 and 2), and in the Department of ESPP at the University of Groningen led by Prof. Frank Hindriks (year 3 and 4). You will obtain a joint degree from both institutions (cotutelle).
The goal of the PhD project is to develop and evaluate a conceptual, formal and computational framework for the analysis of collective reasoning and decision-making. The aim is to advance understanding of mutually beneficial and normatively appropriate choices in cooperative settings. Applications can concern expert panels and committee decision-making in general, and, for instance, central bank monetary policy committees, climate panels, medical ethical committees, and parliamentary committees in particular.
Reference number: F1-070075. Interested candidates are invited to send their complete application including before March 31, 2015. For more information, see http://emea3.mrted.ly/lli8.
The Department of History of Science and Ideas, Uppsala University, Sweden, is searching for students with a master degree and historical research interests of relevance for history of science.
The Office for the History of Science is a research unit within the Department of History of Science and Ideas. The 4-year PhD position is part of their research program that aims at investigating how modes of natural inquiry (of which science is just one) emerged and developed in their specific social and cultural milieus. A close study of techniques of knowledge production as well as reciprocal interactions between respective knowledge communities will enlighten the process of how, where and when a specific mode of natural inquiry called 'science' came into existence in the global past. The research project has a focus on global developments of late 17th until early 20th century.
Successful candidates will pursue their doctoral studies full-time and are expected to participate actively in departmental activities such as seminars, workshops, etc. The position might also entail teaching and other assignments, at the most 20% of full time. The working language in the Department is Swedish, in the Office it is English but research can be conducted in either English or Swedish. Basic reading understanding and oral knowledge of Swedish is expected within two years. The positions are available from 2015-09-01.
Deadline for submitting an application is March 31st, 2015. Reference number: UFV-PA 2015/133. For further information see http://www.uu.se/en/about-uu/join-us/details/?positionId=56567
Ikerbasque, the Basque Foundation for Science, has opened a call for postdoctoral researchers.
This call offres 15 contract positions for postdoctoral 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).
Applications must be received before 15 April, 2015. For more information, see http://www.ikerbasque.net/your_cv/insert_your_cv/research_fellows_2015_2.html Applicants interested in logic and theoretical computer science may contact Hubie Chen (hubie.chenehu.eus) with informal inquiries / for informal discussion.
The Department of Philosophy, Stockholm University, has one vacant PhD position in theoretical philosophy (logic, epistemology, philosophy of science, philosophy of language, philosophy of mind, metaphysics, as well as the history of these subdisciplines).
The duration of the position is four years. To be qualified for doctoral studies in Theoretical Philsophy you need a Bachelor's degree in Philosophy and at least 30 ECTS credits at advanced level (which should include a thesis).
You are welcome to apply until April 15, 2015. Ref. nr. SU FV-0632-15. For further details, see the full announcement here: http://www.philosophy.su.se/polopoly_fs/1.228010.1426158444!/menu/standard/file/. Further queries can be sent to Professor Peter Pagin, peter.paginphilosophy.su.se.
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 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
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 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.
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.