News and Events:
These pages provide information about recent developments at or relevant to the ILLC (last update: 5 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
A research position is available, tenable immediately, attached to a European Research Council (ERC) Advanced Grant obtained by Prof Michael Wooldridge. The project is entitled "Reasoning about Computational Economies" (RACE), and carries out work at the intersection of game theory, complexity, logic, and verification. Applicants must have, or shortly be expecting to obtain, a PhD in multi-agent systems, game theory, logic/model checking, or a closely related topic. The position is a full-time appointment, available for up to 28 months.
Applications are invited for up to ten fully-funded PhD studentships in the School of Computer Science at the University of Nottingham, starting on 1st October 2015.
Closing date for applications: 14th January 2015. For more information, see http://www.jobs.ac.uk/job/AJW968/
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
The Department of Computer Science at University College London (UCL) invites applications for a faculty position in the area of Programming Principles, Logic, and Verification. We seek world-class talent; candidates must have an outstanding research track record.
In Programming Principles, Logic, and Verification, our interests span theory and practice, including logic, semantics, language design, program analysis, program verification, systems verification, systems modelling, compilation, and theorem proving. We have outstanding connections with cutting-edge industry and excellent connections with other groups at UCL, including Systems and Networks, Information Security, and Software Systems Engineering.
6 Mar 2015
Closing Date 6 March 2015. Reference number: 1450731. Further details about UCL CS, the post, and how to apply may be found on UCL's Jobs site, at https://atsv7.wcn.co.uk/search_engine/. Or contact Prof. David Pym (Head of Programming Principles, Logic and Verification) at d.pymucl.ac.uk or Prof. John Shawe-Taylor (Head of Department) at j.shawe-taylorucl.ac.uk.
The Chair for Software and Systems Engineering (Prof. Stefan Leue) in the department of Computer and Information Science, has an opening for the position of a PhD student (preferred) or Post-Doc. The position may be interesting for a logician with strong interests in logic in computer science (e.g., temporal logics, model checking, program semantics, etc.). Proficiency in German is not a prerequisite for this position.
In the research group of Prof. Stefan Leue, we like to work on formal methods for software and systems modelling and analysis, with particular interest in applying formal methods research in practical settings. We have recently come up with the concept of causality checking and are developing tools for system safety analysis.
Applications must be received before 9 March, 2015. For more information, see the official job ad in German and English at http://www.uni-konstanz.de/stellenangebote/?cont=stellausw&seite=2015/
We would like to announce a post-doctoral position in the Departament of Mathematics of the University of São Paulo (Brazil) within the scope of the set-theoretic aspects of Banach spaces and related structures, to work in a joint project of Christina Brech and Piotr Koszmider (IM PAN, Warsaw) who will spend 3 months each year in São Paulo during the project. This position is for a period of 12 months, starting between April and September 2015.
Candidates interested in related fields such as applications of forcing in analysis or set-theoretic aspects of C*-algebras, or planning to develop their interests in these directions are welcome. The extended group includes Valentin Ferenczi, Eloi Medina Galego and Artur Tomita and other postdocs such as Dana Bartosova and Brice Mbombo.
The Philosophy Department at King;s College London is seeking an outstanding philosopher with research expertise and teaching experience in philosophy. Competence and ability to teach at all levels in one or more core areas of analytical philosophy other than moral philosophy (e.g. metaphysics, logic, epistemology, philosophy of religion) is required. Research interests in Late Ancient and / or Early Medieval Philosophy will be an advantage. This is a permanent post available from 1 September 2015.
The successful candidate will show evidence of excellence in research and will have the ability to teach to the highest professional standards at both undergraduate and postgraduate levels, including designing and convening of modules, lecturing, seminar teaching, providing formative feedback, supervising dissertations at all levels, and examining. She/he will have pastoral duties as a personal tutor for undergraduate and postgraduate students, and will undertake administrative duties as required by the Head of Department.
Closing date: 15 March 2015. Reference: THW/15/059639/102. Further details: https://www.hirewire.co.uk/HE/1061247/MS_JobDetails.aspx?JobID=57891.
The Faculty of Humanities at the University of Hamburg invites applications for a Junior Professorship in Theoretical Philosophy, to commence on 1 October 2015. This is a non-tenured, 6-year position.
We are seeking an outstanding philosopher with research expertise in theoretical philosophy to join our growing Philosophy Department. The successful applicant will have an AOS in one or more of the following fields: philosophy of logic, metaphysics, philosophy of action, or free will. The candidate should also be willing and able to contribute to the departmental research focus on Grounds, Causes, and Reasons.
The deadline for applications is 19 March 2015. The official job advertisement, including details on how to apply (and on legal matters), can be found here: http://www.uni-hamburg.de/uhh/stellenangebote/Gwiss_JP233_19-03-15_e.pdf. If you have any questions regarding the position, you can contact the head of the Department, Prof. Benjamin Schnieder (benjamin.schniederuni-hamburg.de).
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 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.
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.
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.
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.