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.
No Open positions at ILLC
Headlines Open positions, general
Open positions, general
(New) Senior teaching & research assistantship (postdoctoral) in theoretical philosophyLocation: Zuerich, SwitzerlandDeadline: Wednesday 15 November 2017
The Institute of Philosophy at the University of Zurich invites applications for the post of Senior Teaching and Research Assistant to be filled from the 1st of February 2018 (or as agreed) in the area of Theoretical Philosophy. At the start the employment level is 50%; from September 2018 there is the possibility to raise the employment level up to 100%. The post is for three years in the first instance, but can be extended for another three years.For more information, see www.philosophie.uzh.ch/dam/jcr:00ab6fc2-fc17-4170-a2a9-b914e7a7cfd5/Oberassistenzstelle_TP_Ausschreibung_en_final_v2.pdf or contact susanne.richli at philos.uzh.ch.
(New) PhD student position in Artificial Intelligence (computational models of strategic behaviour), Warwick (England)Deadline: Tuesday 16 January 2018
We are seeking expressions of interest from candidates interested in pursuing a PhD at the University of Warwick in the topic of Artificial Intelligence, with particular emphasis on computational models of strategic behaviour in multi-agent interaction.
The research will be in mathematical modelling and analysis of strategic behaviour for distributed Artificial Intelligence. Desirable research directions include, but are not limited to, strategic reasoning in complex games, protocols for collective decision-making, mechanism design for electronic commerce. The research will be supervised by Dr Paolo Turrini.
Associate / Full Professorship in Philosophy of Science & Technology, Munich (Germany)Deadline: Thursday 11 January 2018
The Technical University of Munich (TUM) invites applications for the position of Associate Professor or Full Professor in Philosophy of Science and Technology to begin in summer semester 2018. The position is a tenured W3 position.
The professorship belongs to the TUM School of Governance (GOV) and will be affiliated with the Integrative Research Center (IRC) Munich Center for Technology in Society (MCTS). The TUM School of Governance focuses its research and teaching on the interaction between politics, society and technology, for instance to integrate future technologies into the political dialogue and decision-making. The MCTS is representing a cross-faculty integrative research center focusing its activities in interdisciplinary research, teaching, outreach, on the interface between science, technology and society.For more information, see portal.mytum.de/jobs/professuren/NewsArticle_20170926_141845.
PhD student positions in philosophy of vagueness & indeterminacy, Tuebingen (Germany)Deadline: Thursday 30 November 2017
The University of Tuebingen is advertising up to 4 PhD positions in the DFG Graduiertenkolleg / Research Training Group "Ambiguity - Production and Reception". The group specifically welcomes doctoral projects in the philosophy of vagueness and indeterminacy.For more information, see www.uni-tuebingen.de/en/research/core-research/research-training-groups/rtg-1808-ambiguity-production-and-perception/call-for-applications.html or contact Thomas Sattig at thomas.sattig at uni-tuebingen.de.
Two PhD student positions in formal verification, Columbia MO (U.S.A.)Deadline: Thursday 11 January 2018
Two funded Ph.D. positions are available from Spring/Fall 2018 in EECS department at the University of Missouri, Columbia, USA under the supervision of Dr. Khaza Anuarul Hoque. The research project will focus on the development of formal verification based techniques for designing dependable and safe cyber-physical systems (target application domain: aerospace, automotive and smart-energy).
Postdoc in Algorithmic Economics, Microsoft Research NYC (USA)Deadline: Friday 1 December 2017
Microsoft Research NYC is looking for a postdoc in Algorithmic Economics, with a start date in July 2018. Research in the Algorithmic Economics Group at Microsoft Research NYC spans a wide variety of topics at the intersection of economics and computation. Application areas include auctions and mechanism design, crowdsourcing and human computation, information aggregation and elicitation, machine learning in economics, polling and prediction markets, and online advertising.For more information, see www.microsoft.com/en-us/research/opportunity/call-postdocs-algorithmic-economics.
PhD Studentship in Verification of Security and Privacy in Modern Threat Landscapes, Guildford (England)Deadline: Sunday 31 December 2017
Formalism and (semi)-automatic tools based on non-classical logics, for the verification of systems’ security and privacy in modern threat landscapes.
Duration of studentship: 3 years. The student will be registered with University of Surrey and join a team of researchers at Surrey Centre for Cyber Security, and will be supervised by Dr. Ioana Boureanu , in collaboration with Prof. Steve Schneider.For more information, see jobs.surrey.ac.uk/vacancy.aspx.
Postdoctoral and PhD student positions in applying formal verification to new biological computing devices, Ramat Gan (Isral)Deadline: Monday 1 January 2018
We invite students and postdocs to join a research program on applying formal verification and programming languages methods towards designing new biological computing devices, aimed to solve complex computational problems efficiently and investigate alternative computing technologies. The selected candidates will work with Dr. Hillel Kugler with opportunities to collaborate with several leading experimental groups in Europe that will be studying the development and design of the underlying methods and technology, as part of a 5-year European Project Bio4Comp.
PhD positions in TCS at KTH Royal Institute of Technology, Stockholm (Sweden)Deadline: Monday 23 October 2017
The Theory Group at KTH Royal Institute of Technology invites applications for 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. Examples of topics of particular interest are the use of linear and semidefinite programming to solve hard combinatorial problems, or of proof complexity to prove that the problems are beyond the reach of such methods. Exciting recent developments have identified the so-called sums of squares hierarchy as a unifying theme for these questions, and one aim of our research is to build and expand on this theme. However, we will also freely explore whatever other methods turn out to be helpful for attacking these and other topics of interest in algorithms and complexity theory. 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, and is financed by grants from the Knut and Alice Wallenberg Foundation, the European Research Council, and the Swedish Research Council.
In addition to the PIs and the announced PhD positions, the research project will also involve 3-4 PhD students and 3-4 postdocs. Thus, this will be a unique opportunity to explore new connections between different subareas of complexity theory within a vibrant and growing research environment.
Postdoc / phd positions in "Verification of Quantum Cryptography"
At the Quantum Cryptography Group, University of Tartu, we have open postdoc and phd 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: Semantics, Theorem proving, Verification of classical cryptography, Quantum cryptography, and/or 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 http://crypto.cs.ut.ee/Main/PostdocInVerificationOfQuantumCryptography
and http://crypto.cs.ut.ee/Main/PhdInVerificationOfQuantumCryptography or contact Dominique Unruh at unruh at ut.ee.
PhD student positions in computing, London (England)Deadline: Friday 10 November 2017
The Department of Computing at Imperial College London invites applications from outstanding students for up to 30 fully-funded studentships for the 2018/19 PhD programme. In particular, we seek to recruit outstanding students with an early record of accomplishment in computational logic, automated reasoning, or knowledge representation.
Applicants are expected to have a First Class or Distinction Masters level degree, or equivalent, in a relevant scientific or technical discipline, such as computer science or mathematics, and are expected to be within the top 10% of their class.For more information, see www.imperial.ac.uk/computing/research/artificial-intelligence.
PhD student grants in the humanities, Cologne (Germany)Deadline: Friday 3 November 2017
Starting in April 2018, the a.r.t.e.s. Graduate School for the Humanities Cologne will award 9 Integrated Track doctoral scholarships.
The a.r.t.e.s. Graduate School serves the entire Faculty of Arts and Humanities and covers all qualification levels of academic training in the arts and humanities – from Master to postdoc. The structured model of doctoral studies of the a.r.t.e.s. Graduate School for the Humanities Cologne, the so-called “Integrated Track”, enables students to complete a high-quality dissertation within three years in a lively interdisciplinary research environment.For more information, see artes.phil-fak.uni-koeln.de/15281.html.
Department Chair position for the Department of Humanities, Chicago IL (U.S.A.)Deadline: Thursday 7 December 2017
The Department of Humanities at Illinois Institute of Technology in Chicago is searching for a new departmental chairperson. We are looking for a creative scholar, dedicated teacher, and vibrant, strong, and collaborative administrator committed to interdisciplinary work. We currently have faculty in history, philosophy, communications, linguistics, digital humanities, and media. We welcome candidates from these as well as other humanities fields.For more information, see humansciences.iit.edu/news/2017/08/open-faculty-position-chair-department-humanities.
PhD student position in automated theorem proving, Paris (France)Deadline: Sunday 29 October 2017
We are offering a PhD position on the integration of automated provers in proof assistants at the Laboratory on Specification and Verification (LSV) of the University Paris Saclay, starting 1st January 2018.For more information, see rewriting.gforge.inria.fr/grant.html.