News and Events:
These pages provide information about recent developments at or relevant to the ILLC (last update: 17 June 2013). 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.
Items which are new or have been updated within the last week are marked "(New)" or "(Updated)".
Headlines Open Positions at ILLC
Headlines Open Positions, General
The Department of Computer Science at the University of Bath is looking for a PhD in the context of the EPSRC project 'Efficient and Natural Proof Systems', working under Alessio Guglielmi and/or Guy McCusker.
In this project, we will define a new proof system which, essentially, will represent proofs as geometric shapes equivalent under continuous deformation. Three areas of mathematics and theoretical computer science concur in the definition of these proof systems: categorical semantics, proof theory and proof complexity. The result of this project will be the completion of three decades of efforts in proof theory that started with linear logic and continued with deep inference.
Application Deadline: 17 April 2013. For more information, see http://www.cs.bath.ac.uk/ag/ENPS/ and http://www.findaphd.com/search/ProjectDetails.aspx?PJID=44514, or contact A.Guglielmibath.ac.uk.
The project is concerned with the logical foundations of qualitative representation and reasoning applied in artificial intelligence. Qualitative Reasoning (QR) has emerged as a subfield of Artificial Intelligence to deal with representation and reasoning about continuous aspects of entities and systems in a symbolic, but human-like manner. The main issue in the QR approach is to develop an adequate tool for modeling situations in which information is not sufficiently precise or cannot be described by numerical values.
The project is looking for candidates for the PostDoc Position and PhD Student Position. Deadlines: June 30 for the PhD position and September 15 for the PostDoc.
For more information, see http://www.logicsforqr.uw.edu.pl/
Two PhD student positions will soon be available to work under the direction of Bartek Klin in the Institute of Informatics, University of Warsaw.
The positions are in the field of semantics of programming languages and process algebras, in connection to the project "Modular operational semantics: a bialgebraic approach", funded by the Polish National Science Center. The applicants should have solid background in Mathematics and Computer Science, and be interested in topics such as semantics of programming languages, process algebra, formal methods, and/or category theory. The positions will be available from October 2013.
Application deadline: Friday 7 June 2013. For more information, see http://www.wcmcs.edu.pl/node/38.
Applications are invited for a PhD Studentship starting in September 2013 to undertake research in the emerging field of compositional distributional semantics. Application deadline: 30th June.
The student will be based in the School of Electronic Engineering and Computer Science (http://www.eecs.qmul.ac.uk/) at Queen Mary, University of London, and will be a member of both the Theoretical Computer Science and Cognitive Science Groups which have world-leading reputations for fundamental theoretical work and artificial intelligence, with practical impact in creating robust reliable software and analysing social media.
This studentship, funded by a Queen Mary EPSRC Doctoral Training Account and an EPSRC Career Acceleration Fellowship is for 3.5 years and will cover student fees and a tax-free stipend starting at £15,590 per annum. Applicants must be EU nationals or UK residents. Candidates should have a first class honours degree or equivalent, or a strong Masters Degree, in Computer Science or a related field, preferably with some experience in linear algebra, programming, and/or computational linguistics, and logic.
Full details of the topic and studentship conditions and application procedure can be found at http://www.jobs.ac.uk/job/AGM011/phd-studentship/. Please contact Dr Mehrnoosh Sadrzadeh (Mehrnoosh.Sadrzadeheecs.qmul.ac.uk) or Dr Matthew Purver (Matthew.Purvereecs.qmul.ac.uk) if you would like to know more, or have any queries about how to apply.
The Barcelona Graduate School of Mathematics announces the first call of PhD scholarships to develop a doctorate in Mathematics in one of its research groups starting in Fall 2013.
The scholarship is for one year extendible to three years with a gross salary of 14400E (first year) and 15600E (next two years) plus travel allowances. Candidates should have obtained (or be about to obtain) a Diploma or M.Sc. degree in mathematics or closely related fields with results signicantly above average, and intend to to work for a Ph.D. degree with a research groups of the BGSMath.
Deadline for applications is June 20 2013. For more information, see http://www.bgsmath.cat/phd-scholarship-of-bgsmath/
The Faculty of Philosophy and Education of the University of Vienna announces the position of a Full Professor of Theoretical Philosophy (full time, permanent position under private law).
The successful candidate will possess a solid record of teaching and scholarship in one or more of the following areas: Medieval Philosophy or Early Modern Philosophy, Philosophy of Mind, Epistemology. It is desired that he or she is able to engage with different philosophical traditions. In addition to maintaining an active research agenda, the successful candidate will contribute to the department's teaching program on all levels (Bachelor, Master, Teacher Training, PhD). The chair is located in the Department of Philosophy. The University of Vienna expects the successful candidate to acquire, within three years, proficiency in German sufficient for teaching in Bachelor programmes and participation in committees.
Applications in English or German should be submitted no later than June 21st, 2013. Reference nr: KZ 2013/PHIL-P-THP. For more information, see http://personalwesen.univie.ac.at/fuer-mitarbeiterinnen/professorinnen/job/
Cumberland Lodge, the independent education and conference centre in Windsor Great Park, seeks to appoint a King George VI Postdoctoral Fellow from 1st October 2013.
This two-year fellowship is open to candidates from any academic discipline who have recently completed, or are very close to completing, a doctorate. The fellowship provides an exciting and unique opportunity for a scholar to gain experience in planning and running academic and cross-sector conferences and other events. The fellow will also play a full part in the residential life of Cumberland Lodge, which has the feel of both a college and a country house conference centre.
The closing date for applications is Friday 28th June 2013. Interviews will take place on Thursday 11th July, for which standard class travel expenses within the UK will be paid. For more information, see http://www.jobs.ac.uk/job/AGQ828/postdoctoral-fellowship/.
At the Department of Philosophy of the University of Bergen there is one Post Doctoral fellowship vacant for three years. The starting date for the fellowship is January 1, 2014, but a later appointment may be possible. It may also be possible to increase the appointment period by an additional fourth year if the person hired is interested in combining the fellowship with 25 % time for teaching and supervision during the fellowship period. An agreement concerning the actual work load must be made with the department at the time of employment.
Application deadline: 29. June 2013. Reference no.: 13/5466. For more information, see http://www.jobbnorge.no/job.aspx?jobid=94101.
The University of Luxembourg seeks to hire an outstanding postdoctoral researcher at its Interdisciplinary Centre for Security, Reliability and Trust, who will be embedded in the Individual and Collective Reasoning Group of Prof. Leon van der Torre.
This position is part of the FWO-FNR research project on "Specification logics and Inference tools for verification and Enforcement of Policies (SIEP)", which is done in cooperation with the group of Prof. Marc Denecker in Leuven. It is situated at the crossing of knowledge representation (in first order and modal logic), constraint solving, datalog, and answer set programming. The goal is to develop extensions of FO logics and corresponding inference tools with an eye on applications in the area of access and privacy policies.
Deadline for applications: June 20th, 2013. REF : SnT-RA-SIEP-0513 3-year project. For inquiries please contact Prof. Leon van der Torre (leon.vandertorreuni.lu) or see http://recruitment.uni.lu/en/details.html?nPostingTargetID=2774
A four-year full-time PhD studentship in Philosophy of Science and/or Epistemology is available at the University of Vienna starting October 1st 2013. There is also a teaching component of one two-hour (per week) seminar (usually in the area of the PhD).
The deadline is July 4th, and shortlisted applicants will be interviewed in person or over Skype around mid-July. The interview will consist of a 10 minute presentation by the applicant on their PhD project, and 20 minutes of questions by the committee. Note that the successful applicant need not be able to speak German until three years into the job.
For more information, see https://univis.univie.ac.at/ausschreibungstellensuche (identification number of advertisement: 4101) or contact Prof. Martin Kusch at martin.kuschunivie.ac.at.
The PhD student will work in the research project 'Science Beyond Scientism' which investigates how scientism influences our thinking about rationality, free will, morality and religious belief and explores the way in which science can be taken seriously without succumbing to scientism. A description of the project, as well as of the PhD project can be found at http://www.abrahamkuypercenter.vu.nl/phdposition.
The initial appointment will be for a period of one year. After satisfactory evaluation of the initial appointment, it can be extended for a total duration of four years. Interviews are scheduled for Tuesday July 16, 2013. The salary will be in accordance with university regulations for academic personnel, and amounts € 2.062,- gross per month in the first year up to € 2.664,- in the fourth year (salary scale 85) based on a full-time employment.
Written applications should be sent before July 4, 2013. Vacancy number 13184. For more information, see http://www.vu.nl/nl/werken-bij-de-vu/vacatures/2013/118.asp or contact Prof. Dr. R. van Woudenberg at R.van.Woudenbergvu.nl.
This post arises from an AHRC Fellowship awarded to Professor Lisa Bortolott for a project entitled 'The Epistemic Innocence of Imperfect Cognitions'. The project aims to develop the notion of epistemic innocence and to investigate whether delusional beliefs, distorted memories and confabulatory explanations can ever have epistemic benefits which outweigh their epistemic faults.
Qualifications: PhD relevant to research area (Philosophy of Mind, Philosophy of Psychology, Philosophy of Psychiatry). The post is fixed term for 12 months, starting 2 September 2013, and part time at 30% FTE.
Applications must be received before 11 July, 2013. For more information, see http://goo.gl/Ex59t or http://www.download.bham.ac.uk/vacancies/jd/51057.pdf (PDF), or contact Prof. Lisa Bortolotti at l.bortolottibham.ac.uk.
This PhD project aims to advance our understanding of the computational foundations of probabilistic inference and learning in the brain.
According to current theory, even only approximately computing probabilistic inferences is computationally intractable for situations of real-world complexity. This is in marked contrast to the efficiency of inference and learning as done by the brain in practice. The objective of the project is to resolve this paradox by developing a new theory that explains the efficiency of inference and learning as done by the brain in practice. Using an innovative approach that combines formal modeling, parameterized complexity analysis and computer simulation, we aim to identify parameters of a computational architecture that can make a probabilistic brain computationally efficient. The project will furthermore involve conceptual (philosophical) analysis to derive the implications of this new theory for current debates in the philosophy of cognitive science.
Applications must be received before 14 July, 2013. For more details about the position and its conditions, see: http://www.ru.nl/newstaff/working_at_radboud/details/
One PhD position is available with Dr. Paolo Zuliani at Newcastle University to work on SAT/SMT-based verification techniques for cyber-physical systems. The position is part of a research project with Carnegie Mellon University (USA) funded by the Office of Naval Research, and it covers stipend (14,790GBP per year) and tuition fees for three years.
This project is a collaborative effort between Carnegie Mellon University, Newcastle University, and Smart Information Flow Technologies. The Principal Investigator is Prof. Edmund M. Clarke, co-recipient of the 2007 ACM Turing Award. The project investigator at Newcastle is Dr. Paolo Zuliani.
Closing Date: 31st May 2013. The formal advertisement is at http://www.ncl.ac.uk/postgraduate/funding/search/list/cs040. For more information please see the project summary at https://sites.google.com/site/zupaolo/ONRsummary.pdf?attredirects=0 or contact Dr. Paolo Zuliani, paolo.zulianincl.ac.uk.
The Theoretical Computer Science group at the University of Birmingham welcomes applications for PhD study. The group consists of (mostly) theoretical computer scientists who explore fundamental concepts in computation and programming language semantics. This often involves profound and surprising connections between different areas of computer science and mathematics. From category theory to lambda-calculus and computational effects, from topology to constructive mathematics, from game semantics to program compilation, this is a diverse field of research that continues to provide new insight and underlying structure.
For more information on the research group, see http://www.cs.bham.ac.uk/research/groupings/theory/. Information about PhD applications may be found at http://www.cs.bham.ac.uk/admissions/postgraduate-research/.
The computer science department at the University of California, San Diego (UCSD) is looking for an outstanding postdoctoral scholar to do research in basic and applied machine learning. The successful candidate will work closely with Professor Charles Elkan on an interdisciplinary project funded mainly by a gift from Intel. The funding is to support innovative analyses of massive data collected by Intel and its partners concerning how personal computers are used.
Applicants should have a strong record of high quality published research in machine learning and/or related fields. They should be motivated to be the main author of papers to be published at top venues such as JMLR and PNAS. They should also have strong implementation skills and be eager to develop well-engineered software for use by practitioners and by other researchers. The successful applicant will have the opportunity to collaborate with a wide range of other researchers. Taking initiatives and working on other themes in addition to the Intel project will be encouraged. Applicants with interests in probabilistic methods, neural networks, computational social science, computational finance, and computational biology are especially welcome.
The starting date can be as soon as July 1, 2013. Please send expressions of interest and applications to Charles Elkan at elkanucsd.edu, mentioning "Intel postdoc" in the email subject line. The review process will start immediately and will continue until the opening is filled. Applications must be received before 12 August, 2013. For more information, see http://cseweb.ucsd.edu/~elkan/Intelpostdocad.html.
There is a full-time academic vacancy in the Institute of Philosophy at KU Leuven in the areas of philosophy of science / analytic ontology. We are looking for internationally oriented candidates with an excellent research record and with educational competence within the field of philosophy of science and/or analytic ontology.
You can apply for this job no later than September 30, 2013. More information can be found on the website: http://icts.kuleuven.be/apps/jobsite/vacatures/52454462.
The Department of Humanities, Social and Political Sciences at ETH Zurich invites applications for a tenure track assistant professorship in Social Network Analysis. The position is part of the interdisciplinary Behavioral Studies Section and open to applications from all scientific disciplines.
The new professor will be expected to teach undergraduate level courses (in German or English) and graduate level courses (in English) within the scope of the required electives in the humanities and social sciences. The initial appointment is for four years with the possibility of renewal for an additional two-year period and promotion to a permanent position.
The closing date for applications is 30 September 2013. For more information, see http://www.facultyaffairs.ethz.ch/facultypositions/aptt_social_network_analysis.
A Postdoc position is available in the "Verification" team in LIAFA, Paris. The topic is the development of new original model-checking and static analysis techniques for malware detection.
The position is available from October 2013. Candidates must have a PhD in computer science. The candidate must send a CV and recommendation letters to Tayssir TOUILI.
Each year, the Oxford Philosophy Faculty welcomes interest from suitably qualified applicants in the British Academy Postdoctoral Fellowship scheme. The scheme is designed to "enable outstanding early career researchers to strengthen their experience of research and teaching in a university environment, which will develop their curriculum vitae and improve their prospects of obtaining permanent lecturing posts by the end of the Fellowship".
The next deadline, for outline applications for award in 2013, is 10 October 2012. For more information, see http://www.philosophy.ox.ac.uk/research_centresprojects/