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
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) 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.
(New) 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.
(New) Postdoctoral fellowships in history & philosophy of science, Jerusalem (Israel)Deadline: Saturday 1 April 2017
The Edelstein Center for the history and philosophy of science, technology and medicine at the Hebrew University of Jerusalem invites applications for Postdoctoral Fellowships for the academic year 2017-2018. Applications are welcome from those who have Ph.D. in the history or philosophy of science or in the physical, life, or social sciences, obtained not earlier than 30 September 2012, or those who expect to be awarded a Ph.D. by September 2017.
Fellows are expected to dedicate their time to research (and acknowledge the support of the Center in any relevant publication or lecture), to attend the Center regularly (office space is provided), and to participate throughout their fellowship in the Center's activities, such as colloquia, discussion groups, conferences and workshops. In addition, fellows are expected to contribute actively to the Center by initiating activities such as discussion groups or workshops. In the application, candidates should specify in what way they intend to contribute to the Center during their fellowship.For more information, see edelstein.huji.ac.il/awards-and-scholerships/postdoctoral-fellowships-2016-2017 or contact edelstein.center at mail.huji.ac.il.
(New) Senior Visiting Fellowships in History and Philosophy of Science, Jerusalem (Israel)Deadline: Saturday 1 April 2017
The Edelstein Center for the history and philosophy of science, technology and medicine at the Hebrew University of Jerusalem invites scholars with seniority in the history and philosophy of science to spend up to 3 months (except during the summer vacation) at the Center in order to carry out their research and interact with the Israeli community of researchers in these fields.
Senior Fellows are expected to dedicate their time to research (and acknowledge the support of the Center in any relevant publication or lecture) and to participate throughout their fellowship in the Center's activities, such as colloquia, discussion groups, conferences and workshops. In addition, the Senior Fellows are expected to contribute actively to the Center by initiating activities such as discussion groups or workshops, for which the Center will provide organizational assistance and possibly partial funding. In the application the candidates should specify clearly in what way they intend to contribute to the Center during their fellowship.For more information, contact edelstein.center at mail.huji.ac.il.
(New) PhD student position in formal verification of sensor networks, Liverpool (England)Deadline: Monday 17 April 2017
The Department of Computer Science at the University of Liverpool offers a PhD position, commencing in October 2017, and associated with the Science of Sensor Systems Software research programme. This position is available to both UK and EU students, and we are looking for outstanding candidates with either a first class degree or a distinction at masters level in Computer Science or Mathematical Logic, together with the desire to undertake PhD study on the formal verification for wireless sensor networks.For more information, see www.csc.liv.ac.uk/~michael/S4_PhD_2017.html.
Postdoctoral position and PhD student position in "Oligomorphic clones", Vienna (Austria)Deadline: Saturday 15 April 2017
A postdoc and a PhD position are now 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 positions are to be filled as soon as possible. The duration of the postdoc position is one year, with possible prolongation. Requirements for the applicant are a clear commitment to science and interest in (some of) the topics of the project: universal algebra, model theory (homogeneous structures), Ramsey theory, constraint satisfaction. Although the project is carried out at the TU Vienna, there will be intensive collaboration with the Department of Algebra of Charles University in Prague.
LSE Fellowship in Logic (1y), London (England)Deadline: Monday 17 April 2017
At the London School of Economics and Political Science, the Department of Philosophy, Logic and Scientific Method seeks applications for a one-year LSE Fellowship in Logic.
This is a fixed term appointment for 12 months, starting from 1 September 2017. The post holder's primary responsibility will be to teach introductory and advanced courses in logic for undergraduates and MSc students. These courses cover deductive logic, formal reasoning involving probability, and set theory and further (e.g., modal) logic.
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 student or postdoc position in description logic, Bremen (Germany)Deadline: Friday 31 March 2017
The University of Bremen, Department 3 (Mathematics and Computer Science), invites applications for one Research Assistant / Postdoc / PhD Student position in Computer Science. The position is associated with the research group "theory of artificial intelligence", led by Carsten Lutz, which carries out research on description logic, ontology languages, database theory, and logic in computer science.
The position is suited for Postdocs as well as for PhD students and can be used for scientific qualification (PhD, habilitiation). The successful candidate will reinforce the research group both in teaching and research. (S)he is expected to support the introductory lectures on theoretical computer science given by the group. Depending on qualification, it is also possible to offer own lectures.
Postdoctoral research fellowship on category theory, North Ride NSW (Australia)Deadline: Friday 31 March 2017
The category theory group at Macquarie is currently advertising a two-year Postdoctoral Research Fellowship to work on a project entitled "Enriched categories: new applications in geometry and logic". The position is expected to start in the second half of this year.For more information, see jobs.mq.edu.au/cw/en/job/500525/postdoctoral-research-fellow or contact Richard Garner at richard.garner at mq.edu.au.
PhD and PostDoc position in "Data, Knowledge, Society", Hamburg (Germany)Deadline: Thursday 6 April 2017
A PhD position (3 years, full-time) and a PostDoc position (full-time, 3 years + possibility of 3 years extension) are available in the newly established research group "Ethics in Information Technologies" at the University of Hamburg. For both positions we are looking for candidates with degrees in philosophy or related, relevant disciplines. Candidates from mathematics or informatics are also encouraged to apply, if they can demonstrate solid philosophical expertise.
In our research group "Ethics in Information Technologies" we analyze the ethical, epistemic, political and societal premises and implications of digital technologies. Based at the Department of Informatics, we also cooperate closely with colleagues from the Informatics department and actively participate in the design and development of new technologies. We further contribute to the academic, public and political debate around digitalisation.
For more information, see https://www.uni-hamburg.de/en/uhh/stellenangebote/wissenschaftliches-personal/06-04-17-117-en.pdf (for the PhD position) or https://www.uni-hamburg.de/en/uhh/stellenangebote/wissenschaftliches-personal/06-04-17-118-en.pdf (for the Postdoc Position), or contact the head of the research group, Prof. Dr. Judith Simon, at simon at informatik.uni-hamburg.de.
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.
Assistant/Associate Professorship (tenure track) in computational linguistics, Trento (Italy)Deadline: Thursday 30 March 2017
The Center for Mind-Brain Sciences (CIMeC) at the University of Trento, Italy, invites expressions of interest from highly motivated scholars in view of the opening of a principal investigator position at the level of Tenure Track Assistant Professor. Candidates who have already a tenured position elsewhere or holders of prestigious fellowships with duration of at least three years (e.g. ERC Grants) may be considered directly for a Tenured Associate Professor position.
The successful candidate will work in the CIMeC Language, Interaction and Computation Lab. He/she is expected to be interested in interacting with the rest of CIMeC faculty on general cognitive and neurocognitive issues, and help developing cutting-edge research at the intersection between computational linguistics, theoretical linguistics and general cognition. Knowledge of Italian is appreciated but not required.
PhD position in SAT solving at KTH Royal Institute of TechnologyDeadline: Friday 31 March 2017
The TCS Group at KTH Royal Institute of Technology invites applications for a PhD position in computer science focused on SAT solving.
The PhD student will be working in the research group of Jakob Nordstrom. Much of the activities of this research group revolve around the themes of efficient algorithms for satisfiability in propositional logic (SAT solving) and lower bounds on the efficiency of methods for reasoning about SAT (proof complexity). This is a four-year full-time employed position, but PhD positions usually (though not necessarily) include 20% teaching, in which case they are prolonged for one more year. The successful candidate is expected to start at the latest in August-September 2017, although this is to some extent negotiable. The position is fully funded and comes with a competitive salary.For more information, see www.csc.kth.se/~jakobn/openings/D-2017-0118-Eng.php or contact Jakob Nordstrom at jakobn at kth.se.
Postdoc positions in SAT solving at KTH Royal Institute of TechnologyDeadline: Friday 31 March 2017
The TCS Group at KTH Royal Institute of Technology invites applications for a postdoc position in computer science focused on SAT solving.
The postdoctoral researcher will be working in the research group of Jakob Nordstrom. Much of the activities of this research group revolve around the themes of efficient algorithms for satisfiability in propositional logic (SAT solving) and lower bounds on the efficiency of methods for reasoning about SAT (proof complexity). This postdoc position is a full-time employed position for one year with a possible one-year extension. The expected starting date is in August-September 2017, although this is to some extent negotiable.For more information, see www.csc.kth.se/~jakobn/openings/D-2017-0119-Eng.php or contact Jakob Nordstrom at jakobn at kth.se.
Postdoc positions in Theoretical Computer science at KTH Royal Institute of TechnologyDeadline: Friday 31 March 2017
The Theory Group at KTH Royal Institute of Technology invites applications for postdoctoral positions in theoretical computer science.
The postdoctoral researchers will be working in the research group of Jakob Nordström. Much of the activities of this research group revolve around the themes of proof complexity and SAT solving. The group currently consists of two postdoctoral researchers and four PhD students (in addition to the PI). There are also several other professors, postdocs, and PhD students in the TCS Group working on other aspects of algorithms and computational complexity. These postdoc positions are full-time employed positions for one year with a possible one-year extension. The expected starting date is in August-September 2017, although this is to some extent negotiable.For more information, see www.csc.kth.se/~jakobn/openings/D-2017-0137-Eng.php or contact Jakob Nordstrom at jakobn at kth.se.
PhD positions in Theoretical Computer science at KTH Royal Institute of TechnologyDeadline: Friday 31 March 2017
The Theory Group at KTH Royal Institute of Technology invites applications for up to four PhD positions in theoretical computer science.
The PhD positions are in the area of computational complexity theory, focusing on questions at the intersection of approximation algorithms, subexponential algorithms, and proof complexity. The overarching goal is to understand fundamental properties of efficient computation by proving mathematical theorems about the power and limitations of different computational models. This research project is led by Johan Håstad, Per Austrin, and Jakob Nordström. In addition to the PIs and the announced PhD positions, the research project will also involve 2-3 existing PhD students and 3-4 postdocs.
1 Postdoc positino and 1 Research Fellowship in Mathematics, Prague (Czech Republic)Deadline: Monday 17 April 2017
A two-year Postdoctoral position and a two-year Research Fellowship have opened in the Institute of Mathematics in Prague. The positions starts June 1; the deadline for applications is April 17.
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.
Postdoctoral position in formal methods, Bordeaux (France)Deadline: Tuesday 11 April 2017
The Formal Methods group at LaBRI, Bordeaux University, is advertising a 1-year full-time postdoctoral position. The successful applicant will join a research group working on the project Delta (Défis pour la Logique, les Transducteurs et les Automates). The position will be open from January 2017 and applications will be considered until the position is filled.