News and Events: Open Positions
These pages provide information about recent developments at or relevant to the ILLC. 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.
Headlines Open positions at ILLC
Headlines Open positions, general
Open positions at ILLC
Assistant professor in Computational LinguisticsDeadline: Monday 15 May 2017
The Institute for Logic, Language and Computation (ILLC) invites applications from excellent researchers in the field of Computational Linguistics / Natural Language Processing for a tenured Assistant professorship at the Faculty of Science of the University of Amsterdam (UvA). Depending on their level of seniority, candidates may instead be considered for an Associate professorship.For more information, see here or at www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/17-143-assistant-professor-in-computational-linguistics.html or contact Dr. Raquel Fernández at raquel.fernandez at uva.nl.
Postdoctoral researcher in Mathematical Logic and AIDeadline: Sunday 7 May 2017
The ILLC is looking for an exceptional postdoctoral researcher in the interface between Mathematical Logic and Artificial Intelligence, within the project 'The Logic of Conceivability [LoC]. Modelling Rational Imagination With Non- Normal Modal Logics' . This is a 5-year project (2017-2021) funded by the European Research Council, and led by Principal Investigator (PI) Prof. Franz Berto, Chair at the Department of Philosophy.For more information, see here or at www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/17-080-postdoctoral-researcher-in-mathematical-logic-and-ai.html or contact Prof. Dr. Franz Berto at f.berto at uva.nl.
Postdoctoral researcher in the Psychology of ReasoningDeadline: Sunday 7 May 2017
The ILLC is looking for an exceptional postdoctoral researcher in the interface between Logic and Cognitive Science, ideally in the area of the Psychology of Reasoning, within the project 'The Logic of Conceivability [LoC]. Modelling Rational Imagination With Non- Normal Modal Logics' . This is a 5-year project (2017-2021) funded by the European Research Council, and led by Principal Investigator (PI) Prof. Franz Berto, Chair at the Department of Philosophy.For more information, see here or at www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/17-081-postdoctoral-researcher-in-the-psychology-of-reasoning.html or contact Prof. Dr. Franz Berto at f.berto at uva.nl.
Open positions, general
(New) European Master's Programme in Computational Logic (EMCL)Deadline: Wednesday 31 May 2017
The EMCL is an international study programme offering as a joint degree within a consortium composed of four universities: Free University of Bozen-Bolzano (unibz), Technische Universität Dresden (TUD), Technische Universität Wien (TUW) and Universidade Nova de Lisboa (NOVA). EMCL provides the theoretical and practical knowledge required for professional practice in the wide interdisciplinary field having its roots in artificial intelligence, computer science, logic, linguistics and cognitive science. You will learn how to develop programs that enable computers to display behaviour that can be characterised as intelligent.For more information, see www.computational-logic.eu.
Stipendiary Lectureships in Logic, General Philosophy, & Moral Philosophy, Oxford (England)Deadline: Wednesday 3 May 2017
Two Stipendiary Lectureships in Philosophy University of Oxford http://www.jobs.ac.uk/job/AYM088/two-stipendiary-lectureships-in-philosophy/ Salary: £15,197 to £17,092 (depending on experience) Hours: Part Time Contract Type: Fixed-Term/Contract Closes: 3rd May 2017
Applications are invited for two Stipendiary Lectureships in Philosophy, tenable for 12 months from 1 September 2017 to 31 August 2018. These posts have been created to replace (a) Professor Arntzenius's college duties following his retirement, pending the appointment of a permanent replacement with effect from October 2018, and (b) Professor Child's college duties during a fixed period of sabbatical leave, and are non-renewable.
Each appointee will be required to provide seven hours of tutorials for the College per week, averaged over three eight-week terms, and to participate in the annual undergraduate admissions process, pastoral care of students and the administration of the subject in the college, including marking college examinations.
We expect the two appointees between them to cover all the following subjects, although no single candidate will be expected to cover all of these areas. The two appointments will be made in the light of that requirement:
Logic, General Philosophy, and Moral Philosophy, for first-year students.
Knowledge and Reality, and Ethics, for second-year students.
In addition, each appointee must be able to offer one or more other subjects from the list of options available to second-year, third-year, and fourth-year students. It might be an advantage to be able to teach Ancient Philosophy (preferably in Greek). The College has teaching needs in Plato's Meno and Euthyphro; Plato's Republic; Aristotle's Nicomachean Ethics.
The stipend will be in the range £15,197-£17,092 (depending on experience) plus a number of college benefits. The further particulars and application form can be downloaded from http://www.univ.ox.ac.uk, where further details about University College and the courses offered are also available.
The closing date for applications and the last date for receipt of references direct from referees is 12 noon (UK time) on Wednesday 3 May 2017.
Interviews are expected to take place during the week commencing 15 May 2017.
Please note that this post would not entitle the successful applicant to apply for a Tier 2 UK Visa, and thus any applicant should ensure that they have the legal right to work in the UK for the period of the lectureship.
University College is an equal opportunities employer. Applications are particularly welcome from women and black and minority ethnic candidates, who are under-represented in academic posts in Oxford.
Applications must be received before 3 May, 2017For more information, see www.jobs.ac.uk/job/AYM088/two-stipendiary-lectureships-in-philosophy.
Postdoctoral position (1y) in automata theory, Lyon (France)Deadline: Wednesday 19 July 2017
A one-year postdoctoral position is available at the Ecole Normale Supérieure de Lyon, LIP. The position is based in the Plume Team, currently composed of 12 permanent researchers and 12 postdocs/PhD students. The main topics of the team are the logical foundations of programming languages and the verification of formal systems. The topic of the postdoc is the study of good-for-games automata, an intermediate model between determinism and nondeterminism, with applications in verification and synthesis.
We are looking for candidates with expertise in one or several of the following fields: automata theory, games, logic, verification. Candidates should hold a PhD in theoretical computer science or mathematics, in relation with the above fields. The position is available from September 2017, with flexibility on the starting date.
Researcher positions (postdoc) in "Verification of Quantum Cryptography"Deadline: Thursday 1 June 2017
At the Quantum Cryptography Group, University of Tartu, we have two open postdoc positions on Verification of Quantum Cryptography.
We are starting a project in which we will develop methods for the
verification of proofs in quantum cryptography. Similar to what the
EasyCrypt tool does in classical cryptography. The scope of the project covers everything from the logical foundations, through the development of tools, to the verification of real quantum protocols.
The ideal candidate would have experience in:
* Theorem proving
* Verification of classical cryptography
* Quantum cryptography
* Quantum computation / communication
Of course, expertise in all those areas is very rare, so candidates who are strong in some of those areas and are interested in the others are encouraged to apply!For more information, see crypto.cs.ut.ee/Main/PostdocInVerificationOfQuantumCryptography or contact Dominique Unruh at unruh at ut.ee.
PhD student position in theoretical philosophy, Klagenfurt (Austria)Deadline: Wednesday 10 May 2017
A fixed-term pre-doc position (PhD-position for PhD student or advanced PhD student) is opening at the Department of Philosophy at the Alpen-Adria-University Klagenfurt.
Beginning of term: 1 October 2017, available for 4 years. Monthly salary: E 2,731 (gross). Duties: Teaching duties (in theoretical philosophy as well as introductory classes; standard teaching language is German), research (writing PhD and further research), other administrative and research-oriented activities in cooperation with the Department.
Postdoctoral research fellowship in algorithmic game theory, Warwick (England)Deadline: Monday 1 May 2017
A Postdoctoral Research Fellow position in the area of the algorithmic game theory is available for three years. The start date can be negotiated for the right candidate.
The position is in connection with an EPSRC research grant of Dr Marcin Jurdzinski and Dr Ranko Lazic on solving parity games in theory and practice. Parity games are an intriguing problem class, because they are simple to state and have proven to be resistant to countless attempts to classify their complexity. At the same time, algorithms for solving parity games play a paramount role in model checking, satisfiability checking, and synthesis. The main objective of the post is to pursue cutting-edge research on algorithms and solvers for parity games, as well as mean payoff, discounted payoff, and simple stochastic games.For more information, see www.jobs.ac.uk/job/AYH351/research-fellow-80056-037.
Postdoctoral positions (both senior and junior) in mathematics, Barcelona (Spain)Deadline: Wednesday 3 May 2017
The Barcelona Graduate School of Mathematics opens a call for 3 SENIOR postdoctoral positions in all areas of mathematics. The fellowships will be funded through the Maria de Maeztu Unit of Excellence Award (2015-2019).
The researcher will be offered a temporary contract (full-time, fixed-term appointment) by Centre de Recerca Matemàtica, as management entity of the BGSMATH, and hosted by one of the BGSMath research groups. Each fellow will be mentored by a senior researcher at the hosting group. Funding is available from Sept 1st, 2017 to June 30th, 2019.For more information, see bgsmath.cat/3-bgsmath-senior-postdoctoral-positions-2017-2019 or contact joan.bagaria at icrea.cat.
Postdoctoral position in solving parity games, Liverpool (England)Deadline: Friday 5 May 2017
We are looking for a motivated and enthusiastic individual to work on the project Solving Parity Games in Theory and Practice with Sven Schewe, John Fearnley, and Dominik Wojtczak. The project is in collaboration with the University of Warwick. Our vibrant team also includes a number of PhD students and international visitors.
You can enjoy developing theories, algorithms, and/or tools for solving parity games or related games, such as mean payoff games. You should have a PhD in Mathematics, Computer Science or relevant subject and an excellent track record of publications in theoretical computer science, automata- and game-theory, verification, synthesis, and/or tool development.For more information, see recruit.liverpool.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.display_form.
Two lectureships & one senior lectureship in Computer Science, Liverpool (England)Deadline: Friday 5 May 2017
The School of Electrical Engineering, Electronics and Computer Science invites applications for three academic positions in the Department of Computer Science. Two of the positions are at Lecturer level (grade 8) and the third is at Senior Lecturer/Reader level (grade 9).
The three posts available sit within our core areas of AI and Algorithms and within these we seek candidates with research expertise in one or more of the following topics: Machine learning, Human-robot interaction, or AI and law. The Department is involved in a number of collaborations within and outside the University and as such is also keen to strengthen its base in interdisciplinary research.For more information, see recruit.liverpool.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.display_form or contact Professor Katie M. Atkinson at K.M.Atkinson at liverpool.ac.uk.
Four lectureships & one senior lectureship in computer science, Swansea (Wales)Deadline: Monday 26 June 2017
Swansea University is intensifying its investments in Computer Science. It wishes to expand the scale, relevance and intellectual diversity of the subject. To this end the University has available 9 permanent academic posts at the rank of lecturer, senior lecturer and associate professor. For five positions the research focus can be in any area of Computer Science. The posts can enhance existing areas, or bring in new areas that resonate with the Department.
The Department would welcome applications from early career academics with a developing portfolio of research interests that that they believe have the potential to play a significant role in the future development of the discipline. Exceptional applicants with a more developed academic portfolio may be appointed to a higher grade.
More information on these positions can be found following the links to the University's web site:
4 Lecturers in Computer Science (Research) - http://www.swansea.ac.uk/personnel/jobs/details.php?nPostingId=4537&nPostingTargetId=7579&LG=UK
1 Senior Lecturer (Teaching) - http://www.swansea.ac.uk/personnel/jobs/details.php?nPostingID=4526&nPostingTargetID=7564&lg=UK
Or contact the Head of Department, Arnold Beckmann, who many will know through CiE: a.beckmann at swansea.ac.uk.
Four PhD student positions in philosophy of science, Hannover (Germany)Deadline: Sunday 28 May 2017
Leibniz Universität Hannover and Bielefeld University jointly seek to fill 4 Doctoral Candidate Positions (65% TV-L 13) in Ethics of Science and/or Philosophy of Science starting October 1st, 2017, within the Graduiertenkolleg (research training group) GRK 2073 "Integrating Ethics and Epistemology of Scientific Research". Initial appointment will be for 2.5 years. Given the successful extension of the GRK’s funding period, the position is renewable for another 6 months. Two of the positions are expected to be located at Leibniz Universität Hannover and the other two at Bielefeld University.
PhD student position in quantitative logics and automata, Dresden (Germany)Deadline: Thursday 11 May 2017
the DFG Research Training Group GRK 1763 'Quantitative Logics and Automata' offers 1 Position (fulltime, salary group E 13 TV-L) for a Doctoral Student. Applicants should be interested in performing high-quality research on the connection between quantitative logics and automata as well as their applications in verification, knowledge representation, natural language processing, or constraint solving. The start date is October 1, 2017.For more information, see lat.inf.tu-dresden.de/quantla/open-position.
PhD scholarships in computer science, Toulouse (France)Deadline: Tuesday 9 May 2017
The Institut de Recherche en Informatique de Toulouse (IRIT) offers a number of PhD scholarships on all topics in computer science, especially subjects such as logics for multiagent systems, logics of action, epistemic logic, and computational social choice. PhD contracts start between September and December. The scholarships last for three years.
The application process consists in first making contacts with a researcher at IRIT who will act as supervisor, prepare a scientific project together, and then pass an interview at the beginning of June. Candidates will be evaluated on the quality of their track-record, on the research project proposed, and on the coherence of the student profiles with both the research project and the supervisor(s) chosen.
Post-doc position on Distributional Semantics
Two-year post-doc position at the Computational Linguistic Laboratory (CoLing Lab: http://colinglab.humnet.unipi.it/) of the University of Pisa (with the possibility of further extensions).Topic of the research: distributional models of sentence comprehension and dynamic semantic representations.
Applicants should hold a PhD degree in computational linguistics, computational psycholinguistics, artificial intelligence, computer science, cognitive science or related field. Candidates with an interdisciplinary background are particularly encouraged to apply.