News and Events:
These pages provide information about recent developments at or relevant to the ILLC (last update: 29 June 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 Institute for Logic, Language & Computation at the University of Amsterdam is looking for a PhD candidate researcher in the area of quantum cryptography, as part of Christian Schaffner’s NWO VIDI Project Cryptography in the Quantum Age.
The aim of the PhD project is to develop new quantum-cryptographic protocols (beyond the task of key distribution) and explore their limitations. An example of an active research is position-based quantum cryptography. Another aspect is to investigate the security of classical cryptographic schemes against quantum adversaries (post-quantum cryptography).
The successful applicant will work under the supervision of Christian Schaffner. The full-time appointment at ILLC will be on a temporary basis for a maximum period of four years (18 months plus a further 30 months after a positive evaluation) and should lead to a dissertation (PhD thesis). An educational plan that includes attendance of courses and (international) meetings will be drawn up.
Application deadline: 31 July 2015. For more information, see http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/15-215.html.
The Institute for Logic, Language & Computation at the University of Amsterdam is looking for a postdoctoral researcher in the area of quantum cryptography. The position is part of Christian Schaffner’s NWO VIDI Project Cryptography in the Quantum Age.
The aim of the project is to develop new quantum-cryptographic protocols (beyond the task of key distribution) and explore their limitations. An example of an active research is position-based quantum cryptography. Another aspect is to investigate the security of classical cryptographic schemes against quantum adversaries (post-quantum cryptography).
The successful applicant will work under the supervision of Christian Schaffner. The full-time appointment (38 hours per week) will be on a temporary basis, initially for one year with an extension for a further two years on positive evaluation. While this is primarily a research position, the successful candidate will have the opportunity to contribute to teaching activities.
Application deadline: 31 July 2015. For more information, see http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/15-216.html.
Amsterdam Data Science, an initiative of the University of Amsterdam (UvA), VU University Amsterdam (VU), Amsterdam University of Applied Sciences (HvA), and Centrum Wiskunde & Informatica (CWI) is looking for 14 researchers at the postdoctoral/PhD level. These positions are funded by the Amsterdam Academic Alliance (AAA), a joint initiative of the UvA and VU aimed at intensifying collaboration with each other and knowledge institutions in the region, to cement Amsterdam's position as a hub of academic excellence. These positions are partially co-funded by CWI, Faculty of Social and Behavioural Sciences of the UvA, HvA, ORTEC, Spinoza fund of Prof. Vossen, and VUmc.
For more information, see https://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/content/2015/04/
A Ph.D. position for 36 months is available at the University of Konstanz under Dr. Eleftheriou's supervision. The Ph.D. student will be amalgamated in the model theory group of the University of Konstanz and be expected to work on topics related to o-minimality. Students with some background in logic or model theory are most suited to apply. Start date: September 1, 2015 (flexible).
Funding is provided by the Young Scholar Fund of the German Excellence Initiative and a DFG Research Grant. It includes a salary for 36 months at standard DFG rates, plus full health and social benefits. There are no mandatory teaching duties. Knowledge of English language is required.
Deadline: June 15, 2015. For more information, see http://www.math.uwaterloo.ca/~pelefthe/PhD_position.html or contact Pantelis Eleftheriou at panteleimon.eleftheriouuni-konstanz.de.
The University of Southampton is delighted to invite applications for up to 35 fully-funded PhD studentships in the department of Electronics and Computer Science (ECS) tenable from 1st October 2015.
For more information, see https://www.jobs.soton.ac.uk/Vacancy.aspx?ref=526015FP
Applications are invited for a fixed-term postdoctoral position from October 1, 2015 to August 31, 2018 (35 months) associated with the Academy of Finland project, "Dependence and Independence in Logic: Foundations and Philosophical Significance", led by Professor Gabriel Sandu.
This is an interdisciplinary project which will focus on the systematic analysis of notions of dependence and independence that have emerged from recent work in logic (Independence Friendly-Logic, Dependence Logic, Independence Logic, Modal Dependence Logic, etc) in contrast to counterfactual notions of dependence/independence based on the work of Lewis and Stalnaker (closest possible world) and causal notions of dependence (Pearl).
The deadline for applications is August 20, 2015 at 15:45. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=6942 or contact Prof. Gabriel Sandu at sandumappi.helsinki.fi.
The University of Luxembourg has a vacancy in the CSC Research Unit of its Faculty of Science, Technology and Communication (FSTC) for a Postdoctoral position in Deontic Logic and Normative Systems. 2-year contract, 40 hours/week renewable up to 5 years in total after positive evaluation, starting in September 2015 (or later).
You will be part of the Individual and Collective Reasoning Group led by Prof. Leon van der Torre. Your main responsibility will be to advance the state of the art in deontic logic and normative systems. In addition, you will assist in teaching courses on deontic logic in the master of computer science and in the doctorate school, assist in the supervision of PhD and master students, and assist the editors of various handbooks.
Please apply online by June 30th, 2015 For more information, see http://emea3.mrted.ly/op52 or the website of the ICR Group at http://icr.uni.lu/, or contact Prof. Leon van der Torre (leon.vandertorreuni.lu).
The Chair of Philosophy of Language and Cognition at Ruhr University Bochum offers a postdoctoral position for a lecturer (100% or, resp., 66.67% according to TV-L E13) at the Department of Philosophy, beginning 1 October 2015 for 1 or, resp., 1.5 years. The candidate's research focus should be in the Philosophy of Language and Cognition and/or Neurophilosophy.
The successful candidate will be expected to actively work with empirical methods such as electroencephalography (EEG) to investigate research questions that are related to current controversies in the philosophy of language and cognition and the cognitive sciences. Practical training on EEG recording and analysis techniques will be provided if necessary. The successful candidate will be expected to teach 4 or, resp., 3 hours per week in our Philosophy and Cognitive Science study programs, to participate in the organization of workshops and conferences, to contribute to the drafting of grant proposals and to be involved in the academic self-administration.
Applications must be received before 1 July, 2015. Job ID: BO-2015-01-27-04. For more information, see http://www.ruhr-uni-bochum.de/phil-lang/jobs.html or http://www.stellenwerk-bochum.de/jobs-finden/jobsuche/anzeige/. or contact Professor Dr. Markus Werning (markus.werningrub.de) or, on formal issues, the office Mrs. Annika Dittmann (annika.dittmannrub.de).
The University of Liverpool, Department of Computer Science, invites applications for a Postdoctoral Research Associate Position in the EPSRC-funded project "Islands of Tractability in Ontology-Based Data Access". The position is available for three years starting July 1st, 2015.
The research associate will work under the supervision of Professor Frank Wolter in a joint project with Dr Boris Konev and Dr Andre Hernich. The topic is theory and practice of ontology-based query answering for expressive ontology languages focusing on classes of tractable ontology-based queries. Candidates should have a PhD in Computer Science, Logic, or Mathematics and relevant expertise in computational logic, complexity theory, database theory, or knowledge representation and reasoning.
For further details and application procedures, see http://www.liv.ac.uk/working/jobvacancies/currentvacancies/research/r-587876/
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 or a Postdoctoral 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 Doctoral Fellowship is open for candidates with a masters degree in philosophy or psychology. 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 Postdoctoral Fellowship is open for candidates with a PhD in philosophy or psychology. The stipend is for two years, and it should be taken up by October 1, 2015, but a later starting date is also possible.
Applications must be received before 25 July, 2015. For more information, see http://www.mcmp.philosophie.uni-muenchen.de/news/doc_fellows_hahn/index.html or contact Professor Ulrike Hahn (U.Hahnbbk.ac.uk).
Location: Calgary AB, Canada
The University of Calgary is pleased to offer the opportunity for a Fulbright Visiting Research Chair in Logic or the Philosophy of Science The visiting researcher will be a part of the Department of Philosophy and collaborate with a dynamic research faculty and graduate students. The Department of Philosophy is internationally recognized in logic and the philosophy of science and home to 22 professors, including a Tier 1 Canada Research Chair in the philosophy of biology. The scholar will offer a combined seminar for senior undergraduate students and graduate students in his or her area of expertise, and will participate in departmental and interdisciplinary research groups while pursuing his or her own research projects. *Specialization:* History and philosophy of science, mathematical and philosophical logic.
(Note: the Fulbright provides $25k support for one term, but we can provide an office etc. for two if you have additional funding, e.g., sabbatical salary. Application deadline is August 3. Must be a US citizen not living in Canada.)
For more information, see http://www.fulbright.ca/programs/american-scholars/primary-awards/science/
A postdoc position will be available at the Institute of Computer Languages of the TU Vienna within the project "Oligomorphic clones" of the Austrian Science Fund, held by Michael Pinsker.
The position will initially be for one year, but the project will be running until 4/2018 and prolongation of the position is negotiable. The starting date can be any time between 08/2015 and 12/2015. The monthly gross salary will be around 3500 Euros, and there will be generous travel support. Although the project will be carried out at the TU Vienna, there will be intensive collaboration with the Department of Algebra of Charles University in Prague. Requirements for the applicant are knowledge of and/or interest in universal algebra, model theory, and theoretical computer science.
For more information, see http://www.vcla.at/2015/05/. For informal inquiries, email marulagmx.at. More mathematical information on the project is available at http://www.dmg.tuwien.ac.at/pinsker/papers/oligo/oligo.pdf
The KWARC group at Jacobs University Bremen is looking for Ph.D. candidates and PostDocs in multiple MKM-related projects, e.g. OAF, OpenDreamKit.
Jacobs University Bremen is a private, English-speaking research university in Germany. The KWARC group conducts research on the representation and management of formal and informal knowledge in the STEM disciplines (Science, Technology, Engineering, and Mathematics). Our interests cover the whole range from formal to informal knowledge and include logics and foundations of mathematics, formalizing/verifying knowledge, informal and semi-formal documents (specifications, papers, web pages, etc.), domain-specific applications (spreadsheets, CAD, etc.), and knowledge management (search, user interfaces, system integration, etc.). We build systems that cover these diverse areas uniformly and integrate across domains, languages, and tools, always combining logical correctness, wide-range applicability, and large-scale interoperability.
For more information, see https://kwarc.info/node/12375. Interested candidates can introduce themselves or ask for further information by email to Prof. Michael Kohlhase at m.kohlhasejacobs-university.de.
The university of Umeå is looking for a Senior university lecturer in theoretical philosophy. The appointee’s tasks include teaching at first-cycle (undergraduate), second-cycle (Master’s) and third-cycle (doctoral) level, and also administrative work. Competence in Swedish is required one year after start date.
Applications must be received before 31 August, 2015. For more information, see http://www.umu.se/english/about-umu/open-positions?languageId=1