Universiteit van Amsterdam

News

Institute for Logic, Language and Computation

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.

Sections

No Open positions at ILLC

Headlines Open positions, general

Open positions, general

  • (New) University Professor of Humanities and Artificial Intelligence (University of Amsterdam)

    Deadline: Sunday 9 September 2018

    The University of Amsterdam (UvA) is looking for an internationally recognized scholar who will initiate and carry out research and education in Humanities and artificial intelligence (AI), as part of its university wide initiative to strengthen expertise in the area of AI. The University Professor in Humanities and AI will perform these tasks in close collaboration with colleagues in the Faculty of Humanities and with the other University Professors in AI.

  • (New) 9 PhD positions in Computational Cognition, Osnabrueck (Germany)

    Deadline: Tuesday 31 July 2018

    The RTG 2340 "Computational Cognition", funded by the German Research Foundation (DFG), invites applications for 4 PhD Candidates (Salary level E 13 TV-L, 100 %) and 5 PhD Candidates (Salary level E 13 TV-L, 65 %) to be filled by October 1, 2018 for a period of 3 years.

    The RTG Computational Cognition aims at reintegrating Cognitive Science and Artificial Intelligence. PhD students of the RTG will be educated in both subjects in order to combine the findings of these fields and thus to get a better understanding of human and machine intelligence. The RTG will be incorporated into the Cognitive Science PhD program founded in 2002. PhD students of the RTG will take advantage of an interdisciplinary environment, which nevertheless focusses on a common research topic and offers a broad range of methodological synergies between the projects.

    For more information, see here or contact Prof. Dr. Kai-Uwe Kühnberger at .

  • PhD position in philosophical logic, Oslo (Norway)

    Deadline: Sunday 23 September 2018

    A Doctoral Research Fellowship (SKO 1017) in Philosophy is available at the Department of Philosophy, Classics, History of Art and Ideas, University of Oslo.

    The successful applicant should have an interest in philosophical logic broadly construed, including formally minded research in areas of theoretical philosophy such as metaphysics, the philosophy of language, epistemology, and the philosophy of mathematics and logic, as well as purely logical research in areas relevant for philosophy such as modal logic, higher-order logic and non-classical logic. The main supervisor of the PhD fellow will be Peter Fritz.

  • Master in Pure and Applied Logic, 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 still having a few vacancies and open for registration.

    Applications should realistically be submitted by the end of July. Hard deadline: September 10th.

    For more information, see here or at http://www.ub.edu/masterlogic/ or contact Ramon Jansana at .

  • W2 Professorship in Theoretical Computer Science, Bremen (Germany)

    Deadline: Tuesday 31 July 2018

    At Faculty 3 (Mathematics/Computer Science) of the University of Bremen an open position is available. for a Professorship (Salary Group W2, permanent position) in the discipline Theoretical Computer Science. Reference number: P559/18.

    The future professor will represent Theoretical Computer Science in research and teaching and should have an outstanding scientific qualification in a relevant area such as Algorithms and Complexity, Automata Theory, Finite Model Theory and/or Algorithmic Graph Theory. He/she will teach introductory lectures to undergraduate students as well as specialized courses to graduate students; teaching in the form of student projects is a welcome addition. Commitment and innovativeness in teaching are expected, and so is the willingness for didactical self-improvement and contribution to the internationalization of the University of Bremen. It is further expected that the future professor contribute to science funding by acquiring third party funds.

  • PhD student position in logic and verification, London (England)

    Deadline: Tuesday 17 July 2018

    A PhD studentship in the area of logic and verification is available at UCL's PPLV group,  The studentship is aligned with the IRIS project and will be supervised by Professor David Pym and Dr. James Brotherston. The studentship is available from September/October 2018. Candidates should be UK or EU nationals, and have or be about to complete a Master's level qualification in mathematics or computer science, with a strong component in logic or theoretical computer science.

    The Interface Reasoning for Interacting Systems (IRIS) project, led by Prof. David Pym, uses logical and algebraic methods to understand the compositional structure of systems and their communications, seeking to develop analyses at all scales, from code through distributed systems to organizational structure, generically and uniformly. The area of the studentship is in logic and its application to program and systems verification, with a particular interest in the development and application of logical tools based on bunched logic, separation logic, and concurrent separation logic (and related ideas) and their use to reason about the correctness of interfaces between programs, systems, and organizations. The project may range from theoretical work in logic (semantics and proof theory) through the theory of system modelling tools to the design and implementation of modelling and verification tools.

  • 1y teaching associate position in history and philosophy of science, Cambridge (England)

    Deadline: Sunday 29 July 2018

    Applications are invited for a 1-year teaching associate position at the Department of History and Philosophy of Science of the University of Cambride. Candidates will be expected to teach general philosophy of science, and the ability to teach philosophy of cognitive science, philosophy of medicine and the ethics of science may be an advantage. The successful candidate will contribute to the lecturing, supervising, examination and administration of courses for both undergraduate and graduate students in the Department. The holder of the position will have ample time to devote to research.

    The position will start on 1 January 2019, and will include an initial 6-month probation period. Please quote reference JN15965 in any correspondence about this vacancy.

  • PhD candidate in Logic, Epistemology or Philosophy of Language, Bonn (Germany)

    Deadline: Tuesday 31 July 2018

    The Chair of Logic (Professor Elke Brendel) at the Department of Philosophy at the Rheinische Friedrich-Wilhelms-University of Bonn invites applications for the following position: Research Associate (PhD Position, 13 TV-L 50%). The position is available from September 1, 2018 and will initially be limited for three years.

    We seek a PhD candidate with a solid background in logic who is interested in writing a dissertation in the field of logic, epistemology or philosophy of language. The position involves 2 hours of teaching per week, active participation in the research activities at the chair of logic and assistance in organizing conferences and workshops. Applicants are required to have completed a Master degree in Philosophy. Required language skills: Excellent command of English, additional knowledge of German is a plus.

    For more information, see here or contact Professor Elke Brendel at .

  • PhD student position in analysis of concurrent systems, Warsaw (Poland)

    Deadline: Wednesday 5 September 2018

    The Department of Mathematics, Informatics and Mechanics, at the University of Warsaw offers a fully-funded Ph.D. studentship, supported by a grant of Polish National Science Center help by prof. Sławomir Lasota, within the Warsaw Group of Automata Theory. The project "Automatic analysis of concurrent systems" aims at advancing foundations of analysis of concurrent systems, focusing on the model of Petri nets (also known as vector addition systems) and their extensions. A successful candidate is expected to contribute mainly to mathematical aspects of the planned research (on the borderline between automata theory, concurrency theory, and complexity theory), but the project anticipates also a development of a prototype analysis tool.

    The position is available from 1 Sept 2018 or soon afterwards, and will provide a scholarship of at least 54.000 PLN (around 12.500 euro) per year during three years, with a possibility of extension to the fourth year. The prospective PhD student is expected to engage in a small amount of teaching.

    For more information, see https://www.mimuw.edu.pl/~sl/ or contact Sławomir Lasota at .

  • Research Associate position on Verification of Linear Dynamical Systems, Oxford (England)

    Deadline: Wednesday 5 September 2018

    The department of Computer Science at the University of Oxford has a new opening for a Research Associate in Verification of Linear Dynamical Systems, working with Professor James Worrell, and funded by an Established Career Fellowship from EPSRC. The overall goal of this proposal is to develop techniques to solve fundamental computational problems arising in the verification of discrete and continuous linear dynamical systems, including Markov chains, linear recurrence sequences, linear while loops, and linear differential equations.

    For more information, see http://www.cs.ox.ac.uk/news/1515-full.html.

  • Postdoctoral Fellowship in Psychology and Economics, Chicago (USA)

    The Communication and Learning Lab is accepting applications for a postdoctoral fellowship starting summer or fall of 2018. The fellowship is part of an interdisciplinary research project by Drs. Daniel Yurovsky (Psychology) and Elliot Lipnowski (Economics) to develop a game theoretic framework for modeling children’s language acquisition. The postdoctoral fellow will be a primary contributor to the development of mathematical and computational models, and also in the empirical studies that test them. Fellows will also be expected and encouraged to develop their own independent research in related areas, and to engage with the broader language and statistical modeling communities at UChicago.

  • PhD student position in verification, London (England)

    Deadline: Friday 31 August 2018

    Applications are invited for a PhD studentship at University College London, under the supervision of Prof. Alexandra Silva and Dr. Matteo Sammartino. The start date is flexible and can be negotiated. It should be in September 2018 at the latest.

    The studentship is funded by the UK Research Institute in Verified Trustworthy Software Systems, and will be conducted within the Programming Principles, Logic and Verification (PPLV) group. The goal of the proposed PhD project is to develop techniques and tools to automate the modelling and verification of networking software systems.