News and Events:
These pages provide information about recent developments at or relevant to the ILLC (last update: 3 May 2016). 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 SLPL Lab, led by Professor Khalil Sima'an, is part of the Language and Computation Programme at the ILLC. The SLPL Lab is seeking to attract a postdoctoral researcher in Statistical Machine Translation for a fixed term of two years. SLPL currently has 7 PhD candidates, 3 postdoctoral researchers and two research assistants working on five ongoing externally funded projects, including a Vici, H2020 QT21, ITN EXPERT, an Open Competition and an STW project.
Prospective candidates should hold a PhD degree in statistical natural language processing or a related research area with experience in statistical machine translation, as well as proven experience in and affinity with programming and empirical experimentation with text (parallel) corpora. While this is primarily a research position, the successful candidate will be expected to also make a minor contribution to teaching.
Application deadline: 15 May 2016. For more information, see http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/.
The ILLC currently has two PhD positions available at the Faculty of Science, starting on 1 September 2016. Applications are now invited from excellent candidates wishing to conduct research in an area within ILLC that fits naturally in the Faculty of Science. Closing date for applications: 15 May 2016.
For more information, see https://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/ or contact the Chair of the Selection Committee, Professor Robert van Rooij, at R.A.M.vanRooijuva.nl.
We are looking for a postdoctoral researcher who will join the research group of Prof. Sonja Smets. Preference will be given to a candidate who is active in one of the following areas:
- Logic and its applications to formal epistemology or multi-agent systems. In particular we are interested in the use of logical methods to study the dynamics of information. Topics of interest can relate to belief revision theory, social network theory, epistemic game theory, truth approximation or formal learning theory.
- Logic and its applications in the area of quantum mechanics or quantum information theory. In particular we are interested in quantum logic and its use in quantum information theory (e.g. logics used for the formal verification of quantum information protocols).
For more information, see https://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/
Beginning in September 2016, VU Amsterdam will offer an international bachelor programme in Philosophy, Politics and Economics (PPE). The J.S. Mill College, with its own venue on the VU Amsterdam campus, will form its social and intellectual community. The PPE programme (www.vu-ppe.nl) is a joint initiative of three faculties of VU Amsterdam: the Faculty of Humanities, the Faculty of Social Sciences, and the Faculty of Economics and Business Administration. The PPE programme seeks candidates for four fully funded PhD positions with full employment benefits. As one of the four PhD candidates-lecturers PPE you will teach courses within the college, play an active role in the PPE-community, and conduct research that results in a PhD dissertation. The gross yearly salary starts at €30.500,- in the first year and increases to its maximum of €38.772,- in year four of the appointment (based on 1.0 fte appointment).
Deadline: Sunday 13 March 2016. For more information, see http://www.vu.nl/en/employment/vacancies/2016/16041.aspx
Two open PhD positions are available in the project 'Justifications and Non-classical Reasoning' in the Logic and Theory Group of the Institute of Computer Science at the University of Bern.
We are looking for students with a strong background in logic (mathematics, computer science, or philosophy) who want to further develop their knowledge and skills in epistemic and non-classical logic.
The salary for the position is approximately 50,000 Swiss Francs per year.
The Tilburg Center for Logic, Ethics and Philosophy of Science (TiLPS) at Tilburg University, The Netherlands, invites applications for a four-year PhD position (1,0 fte) in philosophy of science, starting 1 September 2016 or later this year.
The PhD position is funded by the European Research Council (ERC), through a Starting Investigator Grant for the research project 'Making Scientific Inferences More Objective' (principal investigator: Prof. Dr. Jan Sprenger). Candidates must hold a MA/MSc degree or equivalent by the time of appointment. Apart from philosophy graduates, candidates with degrees in other relevant disciplines (e.g., mathematics, psychology) are welcome if they can demonstrate a high level of familiarity with philosophy of science.
The deadline for applications is 8 May 2016. Shortlisted candidates will be informed by 12 May, and skype interviews will be held on 17 and 18 May. Candidates will be notified as soon as possible thereafter. For more information or to apply online see http://www.tilburguniversity.edu/about-tilburg-university/working-at/wp/.
Tthe Center for Philosophy of Time in Milan is looking for a PostDoc researcher who has a research specialism in temporal issues with respect to at least one of the following areas: metaphysics, philosophy of mind, philosophy of language and philosophy of science. We will be looking for an analogous profile in a second call. Ideally we aim at making one hire with an area of research specialism in the metaphysics of time, and one hire with an area of research specialism in temporal aspects within philosophy of mind. PhD is strongly preferred.
The call is out till 10 May 2016. The position will start on 1 June. Duration of the grant is 14 months. Neat salary slightly over 1.850 € per month. The second call will be out in the next weeks, and the position will start in September or October.
You can find the complete text of the call at http://www.unimi.it/ricerca/assegni_ricerca/99818.htm and further details about the job at http://www.centreforphilosophyoftime.it/news/
The group "Theoretical Computer Science / Parallel Computing" at the Department of Informatics of Karlsruhe Institute of Technology (Germany) is inviting applications for a fixed-term full-time position of a PhD Student / Research Assistant (m/f) (pay grade 13 TV-L) starting on or after July 1st, 2016 (the exact date is negotiable).
The research group is primarily concerned with the development of algorithms for problems from network science, combinatorial scientific computing, and applied optimization. In the focus of this position are research projects on parallel graph algorithms that work well both in theory and in practice. Further responsibilities as part of the position include the supervision of bachelor and master students and possibly TA duties. As such, a decent knowledge of German is desirable.
To receive full consideration, submit your application by May 12, 2016. For more information, see http://parco.iti.kit.edu/ and the detailed announcement at http://parco.iti.kit.edu/Stellenausschreibung-ParCo-english-web.pdf (PDF).
The Centre for Information Modelling - Austrian Centre for Digital Humanities at the University of Graz has two open positions, which are to be filled from 1 July 2016:
(1) University Assistant with doctorate (30 hours/week; limited to 5 years), focusing on independent scientific research in the subject area of "Digital Humanities", especially in the area of Computational Linguistics or Information Science and their application to humanistic research data data.
(2) University Assistant without doctorate (20 hours/week; limited to 4 years), focusing on independent scientific research in the subject area of "Digital Humanities", especially in the areas of "Digital Scholarly Edition" or "Digital Diplomatics".
The application deadline is May 13, 2016. Details on content, requirements and application procedure can be found in the documents or the website: http://informationsmodellierung.uni-graz.at/de/neuigkeiten/detail/article/
Tilburg University seeks to appoint a full professor of philosophy, addressing contemporary issues about human nature and culture. We look for a colleague who is able to inspire our students and strengthens our teaching, who is engaged in original research and contributes to a stimulating environment for graduate students and faculty. It is a full time appointment for an indefinite period.
Tilburg University has a focus on the Social Sciences and Humanities. Its motto is 'Understanding Society'. The School of Humanities has departments in communication- and information sciences, cultural studies, and philosophy, and the responsibility for the liberal arts and sciences program of University College Tilburg. The Department of Philosophy is responsible for undergraduate and graduate majors in philosophy and for courses that assist students from other programs in developing their reflective skills on moral issues, humanity, science and society.
The application deadline is May 16, 2016. For more information, see https://career012.successfactors.eu/ or contact the Dean of Tilburg School of Humanities, Prof. Dr. Willem B. Drees, e-mail: w.b.dreestilburguniversity.edu or the Head of the Department of Philosophy, Dr. Frans van Peperstraten, e-mail: f.t.vpeperstratentilburguniversity.edu.
The university of Birmingham is looking for a Postdoctoral Research Fellow to work on an EPSRC-funded project "Recursion, Guarded Recursion and Computational Effects".
The researcher will work with Paul Blain Levy (principal investigator) and Neelakantan Krishnaswami (co-investigator) as part of the Theoretical Computer Science group at the University of Birmingham, to investigate fine-grained typed calculi and operational, denotational and categorical semantics for languages that combine either guarded or general recursion and type recursion with a range of computational effects. This will build on existing work such as call-by-push-value and Nakano's guarded recursion calculus. The position lasts from 1 October 2016 until 30 September 2019.
The closing date is at 22 May 2016. Reference: 54824. You can read more and apply for the job at http://tinyurl.com/projguarded. Informal enquiries can be made to Dr Paul Levy (P.B.Levycs.bham.ac.uk).
Within the research unit Computation with Bounded Resources at the University of Innsbruck, Austria there is an opening for a 2 year position as postdoctoral researcher or a 3 year position as PhD student. The position is funded by the ANR-FWF project "The fine structure of proof systems and their computational interpretations" (FISP for short). The research unit is part of the Computational Logic Group of the Department of Computer Science.
The objective of FISP is to apply the powerful and promising techniques from structural proof theory to central problems in computer science for which they have not been used before, especially the understanding of the computational content of proofs, the extraction of programs from proofs and the logical control of refined computational operations. Its primary objective is to build new concrete computational interpretations of proof systems based on the techniques developed in the STRUCTURAL project (2011-2013).
Applications must be received before 31 May, 2016. Further information is available from the Project FISP page at http://cl-informatik.uibk.ac.at/research/projects/, or by contacting Prof. Georg Moser at georg.moseruibk.ac.at.
Selection of foreign candidates not resident in Brazil for Master or PhD in the PPGF (Programa de PÃ³s-GraduaÃ§Ã£o em Filosofia) is open up to May 31st. No need to come on location to submit an application. Details can be found here http://www.ppgf.ifcs.ufrj.br/wp-content/uploads/2016/03/Edt_ESTR_2016.pdf
The Research Foudation of the State of Rio de Janeiro (FAPERJ) is also offering research grants for a stay of 4 to 12 months including airticket for foreign students doing their PhDs outside of Brazil http://www.faperj.br/?id=18.4.2. Deadline is May 12.
The Scuola Normale Superiore (SNS) invites expressions of interest from qualified academics in the field of Logic, and announces the possible opening of one position in its Classe di Scienze Umane at the full professor level.
SNS seeks candidates with a proven record of achievements in logic and a high international profile. Applicants should have a strong interest in the philosophical aspects of logic and in the philosophy of mathematics, so as to integrate their own teaching with Philosophy and History of Philosophy courses offered at the Scuola. Knowledge of Italian is highly appreciated.
The deadline for applications is the 31st of May 2016. For more information, see http://en.sns.it/bando/professorship-logic-scuola-normale-superiore-pisa-italy
The Chair for Software and Systems Engineering (Prof. Stefan Leue), in the department of Computer and Information Science at the University of Konstanz (Germany), has an opening for the full-time position of a Research Assistant/PhD Student (Salary Scale 13 TV-L). The position may be interesting for a logician with strong interests in computer science in general and logic in computer science (e.g., temporal logics, model checking, program semantics, etc.) in particular.
The position is primarily geared towards PhD candidates, but in exceptional circumstances post-doctoral candidates can be considered as well. Competency in German is not a prerequisite.
The group of Prof. Dr. Stefan Leue likes to work on formal methods for software and systems modeling and analysis, with particular interest in applying formal methods research in practical settings. They have recently come up with the concept of causality checking and are developing tools for system safety analysis.
Deadline for applications: 18 April 2016. For more information, see http://www.uni-konstanz.de/stellenangebote/?cont=stellausw&seite=2016/ (scroll down for the English version) or contact Prof. Stefan Leue at Stefan.Leueuni-konstanz.de.
The Department of Philosophy, Linguistics and Theory of Science at the University of Gothenburg has openings for a doctoral studentship position (one or several) in Computational Linguistics. This would be a fixed-term employment (48 months), starting 2016-09-01.
The Centre for Linguistic Theory and Studies in Probability (CLASP) is based in the Department. CLASP is devoted to research and advanced training in the application of probabilistic modelling and machine learning methods to core issues in linguistic theory and cognition. It also addresses topics in dialogue and linguistic interaction. As the position is funded in part by a research grant from the Swedish Research Council, the successful candidate should write her or his doctoral thesis within one of CLASP's core areas, and the research should fit in within the research programme of the centre.
Closing date: 2016-05-19. Reference number: UR 2016/335. For more information, see http://www.gu.se/english/about_the_university/.
Looking for a Ph.D. thesis that combines computer security and mathematics? IRISA, the computer science laboratory of Rennes in France, seeks to hire an outstanding Ph.D. student to perform research in the field of formal modeling and analysis of security.
The position is within the project entitled "Attack-Defense Trees for Computer Security: Formal Modeling of Preventive and Reactive Countermeasures". Attack-defense trees constitute a methodology to represent how an attacker may compromise a system and how a defender can protect it against potential attacks. The project's objective is to increase the expressive power of attack-defense trees by integrating reactive countermeasures into the formalism.
We offer a three year appointment funded by the French Ministry of Higher Education and Research. The successful candidate will participate in the activities of the Embedded Security and Cryptography (EMSEC) research team co-led by Prof. Dr. Gildas Avoine and Prof. Dr. Pierre-Alain Fouque. The student will be supervised jointly by Dr. Barbara Kordy and Prof. Gildas Avoine.
Applications will be considered on a rolling basis until the position is filled. For more information, see http://people.irisa.fr/Barbara.Kordy/vacancies.php or http://people.irisa.fr/Barbara.Kordy/vacancies/PhD_16.pdf, or contact dr. Barbara Kordy at barbara.kordyirisa.fr.
The Mathematics Research Unit of the University of Luxembourg has obtained a large grant from the Fonds National de la Recherche Luxembourg for its PhD programme and opens up to 9 positions for PhD candidates.
Starting date: 1 September 2016 or later. Applications received on or before 10 May 2016 will be treated with priority.
For more information and an application form, see http://emea3.mrted.ly/116rn
The Department of Mathematics at the University of Salerno invites applications for a three-year postdoctoral position in Mathematical Logic. The position is co-funded by the Horizon 2020 project 'SYSMICS' and involves a commitment of 20% of time for project assistance duties. The research focus in on: algebraic logic, many-valued logics, and substructural logics. The net salary is approximately 1450 euros per month.
Applicants are expected to have a strong background in mathematics and logic, the ability to conduct collaborative mathematical research, and the potential for excellence in research. Good written and oral English skills are required. The postdoctoral fellow will work within the logic group of the department and will be in contact with researchers in more than 20 universities participating in the project.
The deadline for applications is the 10th of May. Details on content, requirements and application procedure can be found at: http://logica.dmi.unisa.it/lucaspada/745-postdoc. For further inquiries please contact Dr. Luca Spada (lspadaunisa.it).