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 Computational Social ChoiceDeadline: Wednesday 21 November 2018
The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam invites applications for a three-year research position at the postdoctoral level in the Computational Social Choice Group led by Ulle Endriss.
This position is part of the Customisable Collective Choice (C3) Project, which already employs two PhD candidates. It 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.
You will become a member of the Computational Social Choice Group, the research agenda of which is dedicated to the design and analysis of methods for collective decision making. The group's research is both mathematical and conceptual in nature. Much of it regularly gets published in the leading conference proceedings and journals in Artificial Intelligence. At the same time, the group emphasises interdisciplinarity and often reaches out to other fields, particularly Economics, Political Science, and Philosophy.For more information, see here or at http://www.uva.nl/en/content/vacancies/2018/10/18-595-postdoctoral-researcher-in-computational-social-choice.html or contact Ulle Endriss at u.endriss at uva.nl.
Open positions, general
(New) (Senior) Lectureships in computer science (including logic), London (England)Deadline: Monday 7 January 2019
The Department of Computing at Imperial College London invites applications for full-time faculty members at the Lecturer/Senior Lecturer level (comparable to tenure-track Assistant/Associate Professorships) who can contribute to research and teaching in the foundations and practice in Computer Science.
We are recruiting in particular in Artificial Intelligence (including but not limited to knowledge representation and reasoning, planning, game theory and social choice theory) and in Theoretical Computer Science (including but not limited to logic and semantics, algorithms and complexity theory).
(New) 12-week internships for PhD students at Google, New York (U.S.A.)Deadline: Friday 14 December 2018
A limited number of summer internship positions are available at Google Research, New York in the areas of machine learning, optimization, deep learning, computer vision and related fields. The internship is planned for the summer of 2019. A minimum of 12 weeks is required.
The candidates will have an opportunity to work closely with many researchers at Google, and have access to Google's unique computing infrastructure. The candidates will be expected to produce high-quality research and will be encouraged to publish in top conferences and journals in their areas of expertise. Applicants must have strong theoretical and analytical foundations; be enrolled in a Ph.D. program; have good prototyping skills.
(New) (tenured) Assistant Professorship in Philosophy, Warsaw (Poland)Deadline: Friday 16 November 2018
A successful candidate will be responsible for:
- Conducting research corresponding to the profile of research at the Department of Philosophy and Ethics in Administration or conducted in the framework of International Center for Formal Ontology and active participation in the academic life of the Department and Center,
- Preparing international scientific publications,
- Applying for funding of research projects in national and international competitions,
- Co-organizing conferences and seminars,
- Teaching.For more information, see https://www.euraxess.pl/jobs/348183?fbclid=IwAR0qfx-jAtoCSxCA58XKIyrUAIgimxlEq5uP-LTk2Oewz_wW2qoxcz1P5yA.
Two PhD student positions in theoretical computer science, London (England)Deadline: Monday 31 December 2018
Two PhD positions are available at the Department of Computing, Imperial College London, under the supervision of Dr Francesco Belardinelli. The positions are in the projects 'Verification of Data-aware Systems' and 'Model Checking Agents that Learn'.
Both PhD positions are fixed-term contracts for 4 years. These positions are available to EU and UK students. Candidates are required to have a very strong background in theoretical computer science, logics and formal methods, and must be capable of programming in the most popular programming languages, including C, C++, Java. Expected start date: 1 April 2019.
Postdoctoral fellowship in philosophy of notation, Montreal QC (Canada)Deadline: Friday 30 November 2018
Prof. Dirk Schlimm is hiring a postdoctoral fellow in the Department of Philosophy at McGill University, Montreal, Canada for the 2019 calendar year (renewable for 2020). Applicants should have some background in history and philosophy of mathematics. The successful applicant will be involved in a project on the philosophy of notation that aims at studying historical, cognitive, and pragmatic aspects of mathematical and logical notations.
Applications, consisting of a CV, a one-page research proposal, and the names and contact information of two referees, should be sent to dirk.schlimm at mcgill.ca and received by Nov. 30, 2018.
Please note: Candidates' eligibility to hold a Postdoctoral Research Fellowship expires 5 years after the date on which PhD was awarded regardless of when they are hired, see: https://mcgill.ca/gps/postdocs/fellows/registration/eligibility. Any offer to non-Canadian citizens/non-permanent residents is contingent on the candidate obtaining a work permit (which can delay the starting date), see: https://mcgill.ca/gps/postdocs/international/workpermit .
Postdoctoral positions in foundations of computer sciences, Paris (France)Deadline: Thursday 15 November 2018
IRIF (Institute for Research in Foundations of Computer Science) is a joint laboratory of the CNRS (French National Center for Scientific Research) and Université Paris Diderot. IRIF is seeking excellent candidates for about 10 postdoctoral positions in all areas of the Foundations of Computer Science.
The positions are financed either by the laboratory resources, group or personal grants, or by joint applications of IRIF members and the candidate to outside funding agencies. The starting date of the positions will be in the course of 2019, usually around September-October but that can depend on the financial support. Candidate must hold a Ph.D. degree before the start date of position. Knowledge of French is not required.For more information, see https://www.irif.fr/en/postes/postdoc.
PhD student position in programming languages and formal proofs, Palaiseau (France)Deadline: Wednesday 19 December 2018
A PhD student position is being offered currently at Siemens Mobility in France, in the domain of programming languages and formal proofs. A so called "CIFRE" thesis, it is carried out in industry, and validated by an academic partner, in this case LIX, Ecole Polytechnique.
The topic is optimisation of code with formal correctness guarantees. It will be supervised by Lutz Strassburger (at Ecole Polytechnique) and Danko Ilik (at Siemens Mobility).
Two postdoctoral positions in SAT and CP, Singapore (Singapore)Deadline: Wednesday 19 December 2018
Two post-doctoral research fellow positions in the area of SAT/CP/AI are available at the School of Computing, National University of Singapore, Singapore. The research will be primarily in the broad areas of SAT and CP with relevance to Artificial Intelligence. Some areas of focus include sampling and discrete integration techniques, optimization techniques, modelling, and machine learning for CP/SAT. The positions will be for 1 year from 2018/19 but a longer period may be possible.