News and Events:
These pages provide information about recent developments at or relevant to the ILLC (last update: 6 March 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 ILLC LoCo group is looking for a PhD candidate in Algorithmics. The position is in the area of Algorithms and Complexity and part of the ILLC’s research programme in Logic and Computation.
Research topics in this area include computational complexity, algorithms, Kolmogorov complexity, quantum computation, and (quantum) information theory. The day-to-day guidance of the candidate will be in the hands of Dr.L.Torenvliet. Prof.dr. H. Buhrman will act as formal thesis advisor. Ongoing projects in the group include investigations into structural properties of complexity classes, parameterized complexity, and Kolmogorov complexity, but the position is not necessarily tied to one project, and the candidate is welcome and encouraged to bring his or her own research interests in algorithmic subjects into the group.
Application deadline: 30 April 2014. For more information, see http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/14-054.html.
The Institute for Logic, Language & Computation (ILLC) at the University of Amsterdam, and the Centrum Wiskunde & Informatica (CWI) are looking for a PhD candidate in the area of quantum cryptography.
The aim of the PhD project is to develop new quantum-cryptographic protocols (beyond the task of key distribution) and explore their possibilities and limitations. The successful applicant will work under the supervision of Christian Schaffner.
Application deadline: 30 April 2014. For more information, see http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/14-055.html.
The Leibniz – DAAD Research Fellowship programme is jointly carried out by the Leibniz Association (Wissenschaftsgemeinschaft Gottfried Wilhelm Leibniz e.V.) and the German Academic Exchange Service (DAAD). Leibniz-DAAD fellowships offer highly-qualified, international postdoctoral researchers, who have recently completed their doctoral studies, the opportunity to conduct research at the Leibniz Institute of their choice in Germany.
Application Deadline: 7 March 2014. For more information, see https://ssl.daad.de/deutschland/stipendium/datenbank/de/
The 'Digging into Data project 'Legal Structures' is a joint project with Washington University (US) and the University of Amsterdam: Faculty of Humanities (ILLC) and Faculty of Law (ACLE). This postdoctoral project attempts to analyze the world's legal codes by focuses on machine coding of internal references in codes and laws. The intuition behind this approach is that fundamental differences among legal systems manifest themselves in the structure of the texts, and can be detected, parameterized, and visualized using computerized algorithms.
The project is looking for a postdoctoral researcher with an MA, MSc and PhD relevant to the subject, good programming experience, a background in computer science or artificial intelligence, and an interest in empirical legal studies and/or digital humanities. The postdoctoral researcher may be asked to do a limited amount of teaching, but no more than one class a week during one semester per academic year.
Application deadline: 20 March 2014. For more information, see http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/14-053.html.
The biannual two-year 'Master in Pure and Applied Logic' programme for 2014-2016, jointly organized by the University of Barcelona and Polytechnical University of Catalunya, is open for (pre) registration.
The Barcelona Logic Master caters in the most central aspects of advanced logic. Professors related to the Barcelona Master in Pure and Applied Logic come from various prominent Universities and Research Institutes in the area of Barcelona.
The Department of Computer Science at the University of Liverpool offers a number of PhD positions in the research fields pursued in the department. We have up to 15 positions available in EEECS, starting in the academic year 2014/15.
The deadline for this application round is Friday, February 28. While applications will be possible until all positions are filled, your chances will be increased by applying before this deadline.
For candidates interested in logic, they are encouraged to consult the webpages of and contact
- Davide Grossi (argumentation, modal logic) d.grossiliverpool.ac.uk
- Andre Hernich (database theory, querying, ontological reasoning) andrehernichliverpool.ac.uk
- Professor Michael Fisher (temporal logic) Mfisherliverpool.ac.uk
- Professor Wolter (description logics, modal logic) Wolterliverpool.ac.uk
- Professor van der Hoek (modal logic, epistemic logic, logic and games) wiebeliverpool.ac.uk
Textkernel is an informal and R&D-oriented software company based in Amsterdam, that specializes in multilingual information extraction, document understanding, web mining and semantic searching & matching in the Human Resources sector. We are looking for a Data & Quality Assistant in addition to our Data & Quality Team.
You will work together with the other team members, doing a variety of things: from simple data maintain tasks to more complex quality processes: you will work on different parts of our software and products. You can manage most of your working hours yourself, allowing you to combine studies and work easily, as well as orient on a future job in a innovative Language Technology company.
For more information, see http://www.textkernel.nl/jobs/data-quality-assistant/ or http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=5539, or contact Monica Haga-Schoonhoven (Team Lead Data Quality) at schoonhoventextkernel.nl.
The UvA Faculty of Humanities, Department of Philosophy, is looking for an assistant professor in the Philosophy of Science. The ideal candidate will have published and/or forthcoming contributions in A-class international peer-reviewed journals testifying a promising research profile.
For more information, see http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/14-056.html
The Newton International Fellowships are funded by the British Academy and the Royal Society and aim to attract the most promising early-career post-doctoral researchers from overseas in the fields of the humanities, the natural, physical and social sciences. The Fellowships enable researchers to work for two years at a UK research institution with the aim of fostering long-term international collaborations. The scheme is open to post-doctoral (and equivalent) early-career researchers working outside the UK who do not hold UK citizenship.
A new round of Newton International Fellowships has now opened. The closing date for applications is Monday 10 March 2014. Further details are available from the Newton International Fellowships website at http://www.newtonfellowships.org/.
Royal Holloway, University of London, invites applications for the position of Lecturer in Philosophy, tenable from 1 September 2014.
The College aspires to develop an approach unique amongst philosophy programmes in the UK insofar as it neglects arbitrary divisions within the discipline and connects it both to its own history and to related disciplines across the humanities and social sciences. We welcome applications from candidates able to contribute to these goals. For our expanding undergraduate programme we have teaching needs in ethics and in introductory logic but the AOS is open. We expect candidates to have an established record of research excellence, or demonstrable potential for such excellence, and to have a PhD in hand by 1 September 2014.
This is a full time and permanent post, available from September 2014 or as soon as possible thereafter. This post is based in Egham, Surrey, where the College is situated in a beautiful, leafy campus near to Windsor Great Park and within commuting distance from London.
Closing Date: Midnight, 12th March 2014. For more information, see https://jobs.rhul.ac.uk/ (vacancy reference: X0214/6838).
Birkbeck, University of London intends to appoint three permanent Lectureships in Philosophy from September 2014. The Areas of Specialization for these lectureships will be as follows: 1) Logic and Metaphysics; 2) History of Philosophy, including Ancient; 3) Open. An official call for applications will be made early in January 2014, with a deadline for applications on 3 February. Interviews will be held between 5 March and 10 March 2014.
For further information about the Birkbeck Philosophy department, go to http://www.bbk.ac.uk/philosophy/. For preliminary enquiries about these posts, contact Hallvard Lillehammer (Assistant Dean) at h.lillehammerbbk.ac.uk.
The Faculty of Historical and Cultural Studies at the University of Vienna, in cooperation with the Faculties of Life Sciences, Mathematics, Philosophy/Education and Physics, and the Doctoral Program 'The Sciences in Historical, Philosophical and Cultural Contexts' announces the award of up to 7 fully paid doctoral student positions (Category a) and up to 6 associate positions (Category b, for students with other basic support) for up to 4 years beginning 1 October 2014.
With the support of the Austrian Science Foundation (FWF), the University of Vienna offers a Ph.D. program, the aims of which are: to offer a structured interdisciplinary curriculum in History, Philosophy and Cultural Studies of Science with the collaboration of international visitors, and to make possible the joint supervision of dissertations by historians/philosophers of science and natural scientists/mathematicians.
Positions in the program are funded for up to 3 years; PhD students who complete 6 months stay abroad will be awarded a 4th year of support. Participation in the curriculum is required. Proposed research topics should be relevant to at least one of the topic areas of the DK program.
Applications are due by 17 March 2014. For more information, see http://dk-sciences-contexts.univie.ac.at/ or http://dk-sciences-contexts.univie.ac.at/application-2014-2018/.
The Vienna University of Technology intends to appoint a Professor of Formal Foundations of Artificial Intelligence at the Faculty of Informatics for a 5 year term. The applicant is required to have an outstanding academic record in the field of Artificial Intelligence, Knowledge Representation and Reasoning. In particular it is expected that he/she has made substantial scientific contributions to formal and logic-based approaches of artificial intelligence with a particular focus on computational aspects (such as complexity analysis, algorithm design and systems).
The Department of Mathematics and Statistics at the University of Helsinki invites applications for a tenured position as Professorship in Mathematics.
The deadline for applications is 25 March 2014. For more information, see http://www.helsinki.fi/recruitment/index.html?id=80619 or contact the Department Head, Professor Mats Gyllenberg, at mats.gyllenberghelsinki.fi.
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 one Assistant Professorship (non-tenure-track) and three Postdoctoral Fellowships, starting date: October 1, 2014 (or later).
We are especially interested in candidates who work in the following areas: modeling and simulation in philosophy, philosophy of statistics, philosophy of psychology, philosophy of the social sciences, philosophy of economics, formal epistemology, (formal or non-formal) philosophy of science, and (formal or non-formal) social epistemology. Applicants with a background in a formal, natural or social science are especially encouraged to apply.
The successful candidates 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.
Contact for informal inquiries:
Applications must be received before 25 March, 2014. For more information, see http://www.mcmp.philosophie.uni-muenchen.de/news/jobs_20140205/. Or contact Professor Stephan Hartmann at S.Hartmannlmu.de.
The Department of Logic and Philosophy of Science at the University of California, Irvine, invites applications for a tenure-track faculty position at the Assistant or Associate Professor level. AOS/AOC: Should include Philosophy of Physics. Funding for this position is contingent on budgetary approval.
Review of applications will begin March 30, 2014; applications received after this date may also be considered. For more information, see https://recruit.ap.uci.edu/apply/JPF02239.
A vacancy for a Scientific Assistant (0.5 fte, 2y) has arisen in the Institute for Formal Ontology and Medical Information Science (IFOMIS) at the University of Saarbruecken. The successful candidate will be required to contribute to ongoing research projects as well as to participate in designing and acquiring new ones. He or she is expected to collaborate in teaching at the Department of Philosophy (two hours per semester). The opportunity for writing a Ph.D. thesis is given.
Applicants must hold a university degree (B.A., M.A. or Diploma) in Philosophy, Computer Sciences, or Computer Linguistics by the start of appointment. Preferences will be given to candidates with competences in the areas of Logic and Ontology. Written and spoken competence in English is required.
Candidates should apply in writing by March 31, 2014. Please quote reference W816. For more information, see http://www.uni-saarland.de/fileadmin/user_upload/Campus/Service/.
The Department of Computer Science and Engineering at Chalmers University of Technology, Sweden, invites applications for 5 PhD positions in Formal Methods/Automated Reasoning (1), Functional Programming (1), Information Security (1) and Software/Web Security (2).
Expected starting date of positions: September 1, 2014. PhD student positions are limited to five years and normally include 20 per cent departmental work, mostly teaching duties. The selection of the specific research topic will take into account both the interests of the new PhD student and the research agenda of the respective group.
Application deadline: March 31, 2014. For more information, see http://www.chalmers.se/en/about-chalmers/vacancies/ (reference no. 20140026, 20140028, 20140029 and 20140054).
The Department of Philosophy, Communication and Media Studies of the University of Rome (Roma TRE) is seeking two postdoctoral researchers to work within a national research project funded for the period 2014-2017, and whose activities are led locally by Professor Mauro Dorato. The general topic of the project is 'Models and inferences in science. Logical, epistemological and cognitive aspects', and the two postdocs will be expected to do research on one or more issue related to this domain. Special interest will be devoted to the naturalistic viewpoint in the study of scientific models, inferential techniques in the empirical sciences and the applicability of mathematics in the sciences, especially physics.
The bursary will be for one year, and amounts to Eur. 22820 gross (approx. Eur. 1000-1100 p.m. after taxes). The deadline for application is April 8, 2014.
Details concerning the two posts and how to apply can be found online at http://host.uniroma3.it/uffici/ricerca/modulistica/. Unfortunately, the document is only in Italian. For any questions, get in touch with Silvia Chiappa (silvia.chiappauniroma3.it). For general inquiries on the project and the position, you can send an e-mail to Prof. Mauro Dorato (mauro.doratouniroma3.it).
The "Initial Training Network for Digital Cultural Heritage: Projecting our Past to the Future" (ITN-DCH), is the first and one of the largest Marie Curie fellowship projects in the area of e-documentation / e-preservation and Cultural Heritage protection. The Project started on the 1st of October 2013 and it's a consortium comprising of 14 full partners and 9 associate members covering the entire spectrum of European CH actors, ranging from academia, research institutions, industry, museums, archives and libraries.
The ITN-DCH project is seeking highly motivated and valuable researchers for PhD positions in the entire field of Digital Heritage. All the fellows are supposed to travel between the project partners and attend a series of complementary training courses, scientific workshops and summer schools.
Applications deadlines are in March/April 2014 but vary by position. The call for fellows is available on the ITN-DCH website at http://www.itn-dch.org/?page_id=120. For more information contact Dr. Marinos Ioannides at marinos.ioannidescut.ac.cy.
The department of computer science at the university of Leicester (UK) is offering an RA (post doc) position. The position is funded by EPSRC project "p-Automata - foundations for Probabilistic Model Checking". The research will focus on automata, stochastic games, and probabilistic temporal logic.
The position is for 20 months with a salary of £31,644 to £36,661 per annum depending on qualifications.
Ref Nr: SEN00442. The closing date for this post is midnight on 5 February 2014. For more information, see: http://www2.le.ac.uk/offices/jobs/opportunities/ or contact Nir Piterman (nir.piterman at le.ac.uk).
The Department of Philosophy at McMaster University invites applications for a Visiting Professorship in Russell and the History of Early Analytic Philosophy. McMaster University, which houses the Bertrand Russell Archives and the Bertrand Russell Research Centre, is one of the leading centres for research on Russell's philosophy.
The Visiting Professorships, one of which will be available each year, are intended for established scholars whose research would be benefited by access to the Bertrand Russell Archives for an extended period. They are tenable for either one or two semesters, and involve the obligation to present at least one paper in the Philosophy Department's Speakers Series and teach one fourth year undergraduate course also open to graduates, preferably on the history of analytic philosophy (although a different topic may be agreed upon with the Chair of the Department of Philosophy), while undertaking research in the Russell Archives. The stipend for teaching the course is up to $15,749.00: it is expected that successful applicants will be on research leave from their home university during the term of their Visiting Professorship and thus can rely on their regular leave salary for their main financial support.
The closing date for applications for 2014-15 is April 30, 2014. For more information, see http://oraweb.aucc.ca/pls/ua/ua_re3?ADVERTISEMENT_NUMBER_IN=28927.
Middlesex University London is offering a number of fully funded PhD research studentships across the university. These are three-year scholarships, covering UK/EU fees and offering a maintenance award.
The Foundations of Computing group, part of the School of Science and Technology, is keen to support qualified candidates who are interested in applying, and whose proposed research topics may be of interest to members of the Foundations Group. Interested candidates should contact one of the group members informally to discuss a possible project (candidates are asked to submit a personal research statement as part of their application). Successful candidates will be selected through a university-wide process.
The deadline for receipt of applications is 11.59pm GMT on 14th March 2014 For more information, see http://www.mdx.ac.uk/research/applications/fees/bursaries/comp-sci.aspx or http://www.cs.mdx.ac.uk/foundations/.
Prof. David Pym has three PhD scholarships available at UCL, in 'Supply Chain Security', 'Access control: models and compliance' and 'Algebra and Logic for Policy and Utility in Information Security'. Succesful candidates will be based in the Programming Principles, Logic, and Verification (PPLV) group and/or the Information Security group.
The three scholarships are all described at http://www.cs.ucl.ac.uk/vacancies.html. Application Deadline: Tuesday, April 1, 2014.