News and Events:
These pages provide information about recent developments at or relevant to the ILLC (last update: 17 April 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/
Within ILLC, the SLPL Lab, led by Dr Khalil. Sima'an, is seeking to attract three-year postdoctoral researchers in Statistical Machine Translation. In March 2014 the SLPL Lab. consists of 6 PhD candidates, 1 postdoctoral researcher and a programmer. The SLPL Lab still has 5 vacancies among which multiple postdoctoral positions on two projects: STW DatAptor, and NWO-VICI.
- Conduct research in SMT on, e.g., domain adaptation, semantic factors in SMT, paraphrasing, (hierarchical) reordering models, MT evaluation or statistical learning in SMT;
- present and publish research findings together with team members in proceedings and journals;
- program and test the developed algorithms in prototype systems and make these usable for other team members;
- assist in guiding PhD and MSc students working on topics in Computational Linguistics at large;
- while this is primarily a research position, the successful candidate will be expected to also make a small contribution to teaching.
Application deadline: 1 June 2014. For more information, see http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/14-078.html.
The ILLC is looking for two PhD candidates in statistical machine translation with interest in meaning-preserving statistical models. Both PhD positions are part of a VICI project within the Statistical Language Processing and Learning (SLPL) Lab, lead by Dr. Khalil Sima’an and part of the Language and Computation research programme. Research topics in the SLPL Lab. include statistical machine translation, paraphrasing, parsing, morphology and machine learning for language processing.
Application deadline: 18 May 2014. For more information, see http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/14-137.html or contact Dr. Khalil Sima'an at k.simaanuva.nl.
The Institute for Logic, Language & Computation (ILLC) at the University of Amsterdam is looking for a PhD candidate. It is the intention of the ILLC to embed this position in the newly founded Joint Research Center in Logic (JRC), a collaboration project between the University of Amsterdam and the Tsinghua University in Beijing. For this reason, the project must meet at least one of the following criteria:
- the topic of the project falls within the scope of the current programmes of the JRC;
- the project can be co-supervised by an ILLC staff member and a researcher in Beijing.
Application deadline: 15 May 2014. For more information, see http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/14-137.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.
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 European PhD Program in Computational Logic (EPCL) is jointly offered by four leading European universities in the field: The Free University of Bozen-Bolzano (Italy), the Technische Universität Dresden (Germany, coordinator), the Technische Universität Wien (Austria) and the Universidade Nova de Lisboa (Portugal). The program involves three years of PhD study in two of the partner universities and leads to a joint doctoral degree.
The upcoming application deadline is 30 April 2014. For more information, see http://www.epcl-study.eu/content/call/call.php
Location: Roskilde University, Denmark
Roskilde University (RUC) invites applications for a 3 year PhD scholarship associated with the research group Programming, Logic and Intelligent Systems (PLIS) of the Department of Communication, Business and Information Technologies (CBIT). The scholarship will be jointly financed by CBIT and a 4-year research project, Hybrid-Logical Proofs at Work in Cognitive Psychology. The project is interdisciplinary and combines competences from philosophy, psychology, and logic. The position should be filled by 15 August 2014 or as soon as possible thereafter.
Submission deadline: May 9, 2014. For more information, see http://www.job-i-staten.dk/SearchResults/
Applications are invited for a paid PhD student position at the University of Tübingen with a focus on theoretical and/or experimental pragmatics. The position is part of an international research cluster and the candidate is expected to actively engage in national and international cooperation with like-minded researchers from this cluster.
Applicants should have a strong interest in the study of language and a solid background in a relevant field with a documented expertise in at least one, ideally several of the following:
- formal semantics / pragmatics
- experimental semantics / pragmatics
- computational cognitive modeling of language processing (e.g., Bayesian / probabilistic modeling)
Submission deadline: April 21, 2014. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=5650 or contact mchfrankegmail.com. Please note that this concerns a different position than the ones advertised here before.
A one year postdoc position in Mathematical Logic is available at the Department of Philosophy of Utrecht University in The Netherlands. The position is part of the research project "The power of constructive proofs", which is a five year project on proof theory and constructive mathematics, funded by the Netherlands Organisation for Scientific Research.
We are looking for a talented and dedicated researcher with a PhD in mathematics or computer science. The research carried out in the project belongs to the area of mathematical logic, and the applicant should have a background in this field. A background in proof theory or algebraic logic is highly recommended. The deadline for applications is May 1, 2014.
Description of the project:
Constructive mathematics is the part of mathematics that is concerned with explicit constructions. Research in this area roughly falls into two categories: the development of mathematics according to constructive principles, and the study of constructive theories in general. This project falls in the second category.
It focuses on the structure of constructive proofs. Constructive proofs appear everywhere in mathematics, and, because of their computational content, are increasingly relevant in this era of computing. The project aims to find and explain the characteristics of such proofs. It thus approaches constructive mathematics from the proof-theoretic point of view, and tries to establish which and in which way properties of proofs, such as for example skolemization and unification, change when moving from a classical to a constructive context. Thus this is a project in proof theory, with connections to various other areas in mathematical logic.
For more information about the project and application procedure, please visit http://www.uu.nl/NL/Informatie/sollicitanten/Pages/Vacatures.aspx (item "Postdoc position in Mathematical Logic") or contact Rosalie Iemhoff at R.Iemhoffuu.nl.
One PhD position and one postdoc position are available in the ERC project Epistemic Protocol Synthesis at LORIA in France, preferably starting on 1 September 2014.
In the logic of information change it is common to have an input state of information and a well-described action, and then to compute the resulting new state of information. In epistemic protocol synthesis the focus is different: given an input state of information and an output state of information, and some 'rules for engagement' (allowed protocol), find (synthesize) the epistemic protocol transforming the input into the output. Areas of specific interest are protocols for secure communication, protocol languages, and agency. The project goal is epistemic protocol synthesis for synchronous and asynchronous multi-agent systems, by way of using and developing dynamic epistemic logics, i.e., logics of change of knowledge.
The subject of the studentship is programming language semantics and implementation. The specific topic for the studentship will depend on the interests and expertise of the potential candidate. Possible topics are: language-based privacy and security, type systems, probabilistic programming, interactive theorem proving, logics and applications, program analysis tools.
The position is available immediately. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=5696 or contact Marco Gaboardi at m.gaboardidundee.ac.uk.
The Department of Philosophy, Linguistics and Theory of Science at the University of Gothenburg announces a two-year Postdoctor position in Logic. The candidate's specific research is expected to enhance and complement areas of research carried out by the Logic group within the Department of Philosophy, Linguistics and Theory of Science. These areas include, but are not limited to: metamathematics of arithmetical and set-theoretical systems, interpretability theory, axiomatic theories of truth, dependence logic, and logical constants.
The closing date for the Logic Postdoctor position is May 19, 2014. For more information, see http://www.gu.se/english/about_the_university/
At the Department of Philosophy (Theoretical Philosophy / Prof. Dr. Thomas Müller) of the University of Konstanz there is currently a vacancy for a Full-time Post-Doc Position (Salary Scale 13 TV-L), as part of the new research project "Agency and (quantum) physics", a three-year interdisciplinary project funded by the Templeton World Charity Foundation under their "Power of information" theme.
We are looking for a talented and dedicated young researcher with a strong PhD in a relevant area of philosophy (other relevant backgrounds may be considered) and with proven research capabilities, who is willing to work in an active interdisciplinary team. The research carried out in the project includes links to physics, computer science, logic and philosophy of science, and some background in these fields is a plus. Fluency in English is required.
The project will start in May 2014. Applicants should be willing to travel between Konstanz and Innsbruck on a regular basis, and to help in organizing the project's public activities. The position will be granted initially for 12 months, with an option for an extension of up to a total of 36 months. In principle the position can be divided into two half-time positions.
The deadline for applications is 20 April 2014. For more information, see http://www.uni-konstanz.de/stellenangebote/?cont=stellausw&seite=2014/
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 ESSENCE (Evolution of Shared SEmaNtics in Computational Environments) Marie Curie Initial Training Network is offering six Early-Stage Researcher (pre-doctoral) positions (36 months), to start in September 2014. This is a rare opportunity to be involved in a highly prestigious European training network for outstanding applicants in an emergent and important research area, led by internationally leading groups in their fields!
ESSENCE conducts research and provides research training in various aspects of translating human capabilities for negotiating meaning to open computational environments such as the web, multi-robot systems, and sensor networks. The network will support 15 pre- and post-doctoral fellows who 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.
The application deadline for these posts is 24th April 2014. For more information or pre-applications, see http://www.essence-network.eu/hiring. Please contact Dr Michael Rovatsos (mrovatsoinf.ed.ac.uk) for informal enquiries.
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.
The Faculty of Philosophy and Education of the University of Vienna announces the position of a Full Professor of Analytical Philosophy with Special Emphasis on Philosophy of Language (full time, permanent position under private law).
The successful candidate has her/his main area of specialisation in analytic philosophy, primarily in the philosophy of language. Additional areas of competence or specialisation in other fields of philosophy - e.g. in logic, metaphysics, epistemology, history of analytic philosophy, or practical philosophy - are desirable. In addition to being active in research, the successful candidate will contribute to the department's teaching program on all levels (Bachelor, Master, Teacher Training, PhD). The chair is located in the Department of Philosophy. The University of Vienna expects the successful candidate to acquire, within three years, proficiency in German sufficient for teaching in Bachelor programmes and participation in committees.
Applications in German or English should be submitted no later than (extended deadline) April 30th, 2014, with reference 2014/Phil-P-ASP. For more information, see http://personalwesen.univie.ac.at/fuer-mitarbeiterinnen/professorinnen/job/.
Roskilde University (RUC) invites applications for a 3 year PhD scholarship jointly financed by RUC and the research project Hybrid-Logical Proofs at Work in Cognitive Psychology, which is funded by the Velux Foundation (veluxfoundation.dk). The goal of this project is to use formal logic to investigate psychological reasoning tests, in particular what are called False-Belief tests. The project is interdisciplinary and combines competences from philosophy, psychology, and logic.
Applications must be received on or before Friday May 9, 2014. For further information, please contact Associate Professor Torben BraÃ¼ner, e-mail: torbenruc.dk or see the full announcement on: http://www.ruc.dk/en/job/phd/.
The Department of Philosophy, Lingustics and Theory of Science announces three fully funded PhD-positions, one in each of the subjects Theoretical Philosophy, Logic, and Theory of Science. The positions are proper employments, subject to the favourable conditions of standard Swedish social benefits, such as e.g., paid parental leave. The first day of employment is September 1, 2014.
The successful applicant will be expected to work on a research-subject for which we can provide highly skilled supervision. The successful candidate is expected to be highly skilled (both orally and in writing) in English.
A complete application must be submitted no later than Monday May 12, 2014. The full announcement may be found at http://www.flov.gu.se/english/education/doctoral-studies-third-cycle/. The announcement for specifically the Logic position may be found at http://www.gu.se/english/about_the_university/.
You will have a PhD or equivalent and an outstanding international research track-record in Computational Linguistics. You will join internationally known researchers and teachers in such fields as Critical Discourse Analysis, Corpus Linguistics, Literacy Research, Language Teaching, Learning and Assessment, Cognitive Linguistics, Stylistics, Pragmatics, English Language Study, Phonetics and Sociolinguistics.
You will pursue a high-profile research agenda, lead bids for external research funding and produce publications at a level appropriate for a very strong submission to the next Research Excellence Framework. You will supervise MA and PhD students, and teach on undergraduate and postgraduate modules. You will need to travel occasionally for the delivery of short distance courses.
This post is expected to start 1 September 2014. Closing Date: Sunday 18 May 2014. For more information, see https://hr-jobs.lancs.ac.uk/Vacancy.aspx?ref=A964. Informal enquiries may be made to Professor Elena Semino, Head of Department, e.seminolancaster.ac.uk.
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/.
The Centre for Logic and Analytic Philosophy at KU Leuven invites applications for two full-time positions, as a postdoctoral research fellow (1) and as a PhD fellow (1), as part of a research project on Knowledge First Virtue Epistemology, which is funded by a KU Leuven OT and an FWO grant (PI: Christoph Kelp) and will run until 2017/18.
The candidate will be part of Christoph Kelp's research group and will work on topics related to the project. At present, there are two doctoral students working in the research group. Additional hires on doctoral and postdoctoral level are expected. The members of the research group will work closely together and are expected to actively contribute to the project and to activities at the Centre for Logic and Analytic Philosophy.
Applications must be received before 30 May, 2014. For further information please visit the project website at http://christoph-kelp.com/knowledge-first-virtue-epistemology/.
The faculty of computer science in Bozen-Bolzano (Italy) has two openings at the level of research fellow / assistant professor (RTD-a), associated to the KRDB research centre.
The research activity of the KRDB centre is focused on knowledge representation and database theories and technologies for semantic-based intelligent information system design, integration, access, and navigation.
According to the current Italian legislation, the RTD-a position is a necessary prerequisite to start the tenure track (RTD-b) leading to associate professor. The contract is for 3 years, and the salary is up to 59000 € p.a. gross including all the benefits and the bonuses. There is some teaching duty to be performed at the BSc or MSc level.
For more information, see http://www.unibz.it/en/organisation/vacancies/research/nonpermanent/ For further questions and more detailed information, please do not hesitate to ask prof. Enrico Franconi at franconiinf.unibz.it. The call will close at the end of May 2014.
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.
Two PhD positions are available in the "Verification" team in LIAFA, Paris.
The first PhD position is on 'Software verification', specifically concurrent programs verification. Programs present several complex features that make their analysis very complex: concurrency, synchronisation, recursion, procedure calls, pointers, manipulation of integer and real variables, etc. Thus, the objective of this thesis is to investigate and develop new techniques, algorithms and tools for software analysis and model-checking that can deal with all these complex features.
The second PhD position is on 'Model-checking for malware detection'. Emulation based detection techniques for malware can only check the program's behavior in a limited time interval, whereas signature based systems are easy to get around. To sidestep these limitations, virus detectors need to use analysis techniques that check the behavior of the program in a static way, i.e. without executing it. The object of this thesis is to develop such new model-checking and static analysis techniques for virus detection.
The positions are available immediately. Candidates must have a master in computer science. The candidate must send a CV, university grades, recommendation letters, and a motivation letter to Tayssir Touili (touililiafa.univ-paris-diderot.fr).
For more information, see the LIAFA site at http://www.liafa.univ-paris-diderot.fr/index_en.php or the webpage of Tayssir TOUILI at http://www.liafa.jussieu.fr/%7Etouili/.
The Algorithms Research Group is offering a fully funded D.Phil. studentship in Oxford University's Department of Computer Science. The position is associated with the Royal Society project "Structure of Rational-Valued Functions on Discrete Domains", led by Stanislav Zivny. The goal of this project is to understand the structure of separable rational-valued functions on discrete domains that appear in the context of valued constraint satisfaction problems.
There is no deadline for applying. We will continue to process applications until a suitable candidate is found, and candidates are therefore recommended to apply as soon as possible. For more information, see http://www.cs.ox.ac.uk/news/762-full.html
The University of Bordeaux proposes a funded PhD position on the verification of asynchronous distributed systems. The PhD position must start in 2014 and will take place at LABRI, France, with proposed subject 'High-Quality Abstractions for the Verification of Asynchronous Distributed Systems'.
Candidates should hold a Master degree in Computer Science (ideally with courses in formal verification, theoretical computer science and mathematical structures for CS) or equivalently have graduated from a Computer Science Engineering School with a strong background in theoretical computer science.
Required documents are:
* a detailed curriculum vitae
* a copy of the master or the PhD diploma
* a reference letter by their master supervisor.