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
PhD position in Computational Social ChoiceDeadline: Monday 23 April 2018
The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam invites applications for a PhD position in the Computational Social Choice Group led by Ulle Endriss.
The position is part of a larger research project, the Customisable Collective Choice (C3) Project, which will eventually employ two PhD candidates and one postdoctoral researcher. The project is funded by the Netherlands Organisation for Scientific Research (NWO) under the TOP1 scheme.
The aim of the C3 project is to develop the scientific foundations required to build tools that can help people to better understand the methods they use to make decisions together and to support them in designing decision making methods that are customised to their specific needs.For more information, see here or at http://www.uva.nl/en/content/vacancies/2018/02/18-080-phd-position-in-computational-social-choice.html or contact Ulle Endriss at u.endriss at uva.nl.
Open positions, general
Postdoctoral position in "A new dawn of intuitionism", Leeds (England)Deadline: Wednesday 4 April 2018
The University of Leeds School of Mathematics is looking for a Research Fellow to join our project "A new dawn of intuitionism," which seeks to address contemporary foundational concerns from the intuitionistic point of view. The project's broad goals are to advance the proof theory of intuitionistic theories; to determine the proof-theoretic strength of some of the most expressive intuitionistic type and set theories; and to describe computational models of intuitionistic logic and theories.For more information, see https://jobs.leeds.ac.uk/Vacancy.aspx?ref=MAPMA1079.
Postdoc position in Duality in Formal Languages and Logic, Nice (France)Deadline: Monday 30 April 2018
The ERC Advanced project DuaLL (Duality in Formal Languages and Logic) invites applications for a postdoc position at the Laboratoire J. A. Dieudonné (Université Côte d’Azur, CNRS, Nice) to start in Fall 2018. The position is for 1 year, renewable for a second year.
This is an interdisciplinary project primarily combining profinite tools from the algebraic theory of regular languages and Stone/Priestley duality for lattices with additional operations. Preference will be given to candidates with prior work in at least one of these two areas as well as familiarity with descriptive complexity. The successful candidate will contribute to the development of an Eilenberg-Reiterman theory beyond regular languages with the goal of obtaining new tools and separation results for Boolean circuit classes.
Researcher positions (postdoc) in "Verification of Quantum Cryptography", Tartu (Estonia)Deadline: Saturday 31 March 2018
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: Semantics, Theorem proving, Verification of classical cryptography, Quantum cryptography, and 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 https://crypto.cs.ut.ee/index.php/Main/PostdocInVerificationOfQuantumCryptography or contact Dominique Unruh at unruh at ut.ee.
PhD student position and postdoctoral position on "Time in Translation", Utrecht (The Netherlands)Deadline: Monday 2 April 2018
The Utrecht-based 'Time in Translation' project is hiring a PhD (1,0 FTE, 4 years) and a Post-Doc (0,8 FTE, 3 years).
'Time in Translation: a semantics of the Perfect' is funded by NWO, by way of a Vrije Competitie project awarded to Prof. dr. Henriëtte de Swart and dr. Bert Le Bruyn. The project aims to develop the meaning of the present perfect. We will collect data from 5 languages (Dutch, English, German, French, Spanish) in parallel corpora, and analyse perfect use in relation to other verbal tense forms both at the sentence and at the discourse level. Translation experiments will be used to check the space of variation in choosing one form over another.For more information, see http://time-in-translation.hum.uu.nl/.
Postdoctoral position in non-classical logic, Prague (Czech Republic)Deadline: Thursday 5 April 2018
The Institute of Computer Science of the Czech Academy of Sciences (ICS), Prague, Czech Republic, is seeking a postdoctoral researcher to complement the team for the project 'Non-classical logical models of information dynamics'.
Candidates with experience in non-classical logic (substructural, esp. relevant and fuzzy) or modal logic are encouraged to apply. A formal requirement of the grant scheme is that the postdoctoral researcher was not older than 35 by December 31, 2017.
The position is full-time and it is available for a fixed term of two years. The starting date is flexible, but a start between June and August 2018 is expected. The position is without teaching duties, with a gross salary of 38 000 CZK (approximately 1 500 euro).For more information, see http://www.ustavinformatiky.cz/?id_jazyk=en&id_stranky=kariera or contact Dr. Igor Sedlar at sedlar at cs.cas.cz.
Associate Senior Lectureship in Logic of Programs, Stockholm (Sweden)Deadline: Tuesday 3 April 2018
The Department of Mathematics at Stockholm University is looking for an Associate Senior Lecturer/Assistant Professor in Computer Science directed towards Logic of Programs. The subject of the position includes program verification, implementation of proof systems, and applications of proof theory in programming, functional programming, and semantics of programming languages.For more information, see https://www.su.se/english/about/working-at-su/jobs?rmpage=job&rmjob=4952&rmlang=UK.
Head of School position (School of Philosophy, Psychology & Language Science), Edinburgh (Scotland)Deadline: Thursday 22 March 2018
The School of Philosophy, Psychology and Language Sciences at the University of Edinburgh is seeking to appoint a Head of School with outstanding leadership skills, an academic background in one of our cognate disciplines, and the confidence and vision to lead the School of PPLS and inspire our large and diverse academic community.For more information, see https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobspec?p_id=042862.
Open Faculty Position (in CS, including Quantum) at Portland State University (U.S.A.)
The Computer Science Department at Portland State University (PSU) invites applications for a tenure-track faculty position at the assistant professor level, to begin Fall 2018. Specific areas of computer science under consideration are: machine learning; data mining; data intensive systems; or more generally data science.For more information, see https://www.pdx.edu/computer-science/open-faculty-position or contact Fang Song at fsong at pdx.edu.
PhD student positions in modal logic for granularity and spatial knowledge representation, Leeds (England)Deadline: Friday 30 March 2018
The School of Computing at University of Leeds is offering up to six PhD scholarships in a variety of topics including 'A Modal Logic for Granularity' and 'Spatial Knowledge Representation in the Digital Humanities'.The studentships are open to candidates of any nationality.
Note that funding will be awarded on a competitive basis and only up to six scholarships will be funded in topics in the list available on the webpage.
Associate Professorships in Computer Science,Tbilisi (Georgia)Deadline: Sunday 15 April 2018
The Faculty of Computer Technologies and Engineering of The International Black Sea University, Tbilisi, Georgia, invites applications for multiple faculty positions at the rank of an associate professor in the area of computer science. We are looking for candidates from all areas of computer science.
Interested candidates should send the following documents: Motivation letter, Curriculum vitae, and List of publications.
Postdoctoral fellowships in history and philosophy of science & ideas, Tel Aviv (Israel)Deadline: Friday 23 March 2018
The Cohn Institute for the History and Philosophy of Science and Ideas, Tel Aviv University, offers one or two Post-Doctoral Fellowships for the academic year 2018-19. The recipient(s) will spend the academic year at the institute pursuing their own research project while interacting with faculty and students.
Fellowship award will be based on consideration of scholarly distinction and academic promise within the area of history and philosophy of science broadly construed. Candidates must hold a PhD degree in a relevant academic field, which has been awarded from a recognized university after October 2013.For more information, see https://en-humanities.tau.ac.il/cohn/news/post_doc_position or contact cohn at post.tau.ac.il.
PhD Position in AI and Computational Soical Choice, Paris-Dauphine University (France)Deadline: Sunday 1 April 2018
Applications are invited for a full-time three-year PhD position in Computer Science at LAMSADE, Université Paris-Dauphine on the topic of eliciation and explanation for voting rules. The theme of this call is around the development of procedures to help a committee (or a society) choose a suitable voting rule. The successful student will be hosted at LAMSADE and will be supervised by Remzi Sanver and Olivier Cailloux.For more information, see https://github.com/oliviercailloux/deliberated/raw/phd/Voting-PhD-long.pdf.
Sixteen PhD student positions in Logical Methods in Computer Sciences, Vienna, Graz, & Linz (Austria)
TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program on Logical Methods in Computer Science (LogiCS). LogiCS has been established in 2014 and currently includes 44 students. It focuses on logic and its applications in computer science. Successful applicants will work on interdisciplinary research topics covering (i) computational logic, (ii) databases and artificial intelligence, (iii) computer-aided verification, and (iv) emerging application domains, such as cyber-physical systems, distributed systems, and security & privacy.
We are looking for 16 doctoral students, where 30% of the positions are reserved for highly qualified female candidates. The doctoral positions are funded for a period of 4 years according to the funding scheme of the Austrian Science Fund. Additional positions will be available through other funding.
The positions will be filled on continuous basis till October 2018. The evaluation of applications will start on 1st of March, 2018.
Postdoctoral fellowship on "Nonstandard methods for Ramsey theory", Vienna (Austria)Deadline: Monday 30 April 2018
Applications are invited for a postdoctoral fellowship in the FWF Project "Nonstandard methods for Ramsey theory" led by PhD Lorenzo Luperi Baglini.
The PostDoc will work in this project for 18 months, starting no later than June 1st 2018, and is expected to work in strict contact with the project leader on themes relevant for the project. Moreover, he/she will be expected to develop independent research in Ramsey theory, in particular concerning problems related with the partition regularity of polynomials and algebraical configurations. There are no teaching duties.
Two PhD student fellowships at MCMP, Munich (Germany)Deadline: Sunday 15 April 2018
The Munich Center for Mathematical Philosophy (MCMP) seeks applications for *two 3-year doctoral fellowships* starting on October 1, 2018. (A later starting date is possible.) We are especially interested in candidates with research interests in at least one of the following fields: general philosophy of science, philosophy of physics, philosophy of the social sciences, philosophy of statistics, formal epistemology, formal philosophy of science, social epistemology, philosophy and psychology of reasoning and argumentation, agent-based modeling in philosophy, or decision theory.For more information, see http://www.mcmp.philosophie.uni-muenchen.de/news/doc_fellows_2018/.
Professorship in Mathematical Logic, Vienna (Austria)Deadline: Sunday 15 April 2018
A position is available for a Full Professor of Mathematical Logic at the Kurt Gödel Research Center of the University of Vienna, Austria. Applications from all areas of logic are welcome. For further information please contact Ben Miller <glimmeffros at gmail.com> or Sy-David Friedman <sdf at logic.univie.ac.at> of the Gödel Center. The application deadline is April 15, 2018.For more information, contact glimmeffros at gmail.com.
Postdoctoral fellowship in mathematical logic, Stockholm (Sweden)Deadline: Tuesday 3 April 2018
The Department of Mathematics at Stockholm University is looking for a Postdoctoral Fellow in Mathematical Logic. The main responsibility is to conduct research. A broad spectrum of different projects within mathematical logic are possible, but with a preference for projects including type theory, in particular homotopy type theory, constructive set theory, category theory and categorical logic, topos theory, point-free topology and locale theory or other constructive aspects of mathematical logic.
The position also includes some teaching duties (up to 20 %), which may include supervision of students. The successful applicant is expected to participate in activities in the department, in particular by attending and contributing talks in the logic group's seminar. The position involves full-time employment for a maximum of two years, with the possibility of extension under special circumstances. Start date is 2018-09-01 or as per agreement.For more information, see https://www.su.se/english/about/working-at-su/jobs?rmpage=job&rmjob=4748&rmlang=UK or contact Professor Erik Palmgren at palmgren at math.su.se, or Peter LeFanu Lumsdaine at p.l.lumsdaine at math.su.se.
Postdoctoral position in logic, Gothenburg (Sweden)Deadline: Thursday 31 May 2018
The Department of Philosophy, Linguistics and Theory of Science at University of Gothenburg is inviting applications for a Postdoc position in Logic. Duration: 2 years, starting Autumn 2018. Topics of interest include proof-theoretic studies of reflection and induction, axiomatic theories of truth, type-theoretic foundations, and fixed-point calculi such as the modal mu-calculus.For more information, see http://www.gu.se/english/about_the_university/job-opportunities/vacancies-details/?id=1637 or contact Graham Leigh at graham.leigh at gu.se.
Graduate Student Research Positions in Computational Logic, Simon Fraser University, BC (Canada)
Applications are invited for several graduate student positions in Knowledge Representation and Reasoning, specifically, and more broadly in Computational Logic in the School of Computing Science, Simon Fraser University. The successful applicants will work with members of the Computational Logic Lab.
Ph.D. students will receive funding for at least four years, while M.Sc. students will receive funding for at least 20 months.
Applications should be submitted via the School's online application system. Prospective applicants should also directly contact a faculty member they wish to work with. Students interested in beginning in September 2018 should apply no later than February 1, 2018.For more information, see http://www.cs.sfu.ca/.
Master in Pure and Applied Logic programme, Barcelona (Spain)
The biannual two-year 'Master in Pure and Applied Logic' programme for 2018-2020, jointly organized by the University of Barcelona and by the 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.
Postdoctoral position in formal verification, dynamical systems, and constructive analysis, Pittsburgh PA (U.S.A.)
The logic group in the Department of Philosophy at Carnegie Mellon University seeks a postdoctoral researcher for a project in formal verification, dynamical systems, and constructive analysis, beginning August 2018. There are no teaching duties, and the position is for one academic year with a possibility of renewal.
Candidates should have a PhD and research experience in a related area, and a desire to collaborate with the existing research group, which consists of several faculty members, postdocs, and graduate students. Background in interactive theorem proving or other uses of formal methods is desired.