Call for Proposals
AISB-50: a convention commemorating both 50 years since the founding of the society for the study of Artificial Intelligence and the Simulation of Behaviour (the AISB) and sixty years since the death of Alan Turing, founding fathe...
Read More...
Mark Bishop on BBC ...
Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...
Read More...
AISB YouTube Channel
The AISB has launched a YouTube channel:Â http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...
Read More...
Lighthill Debates
The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video Â
Read More...
Notice
AISB opportunities Bulletin Item
PhD student position (2y) in computational models over the real numbers, GERMANY
Contact: meer@informatik.tu-cottbus.de
Cottbus (Germany)
At the Faculty Mathematics, Natural Sciences and Computer Science of the Brandenburg University of Technology in Cottbus, in the Professorship of Theoretical Computer Science (Prof. Dr. K. Meer) the following position is to be filled as soon as possible: Scientific Assistant temporary limited for 2 years; E 13 TV-L reference number: 35/11 Description of tasks: The position is a third-party funded project position financed by the German Science Foundation DFG. It is devoted to the study of interactive and probabilistically checkable proofs in computational models over the real numbers. Starting point are the well-known characterizations of complexity classes like PSPACE and NP by such proof systems in the Turing model. In the project it should be investigated in how far comparable characterizations exist in uncountable structures like the real numbers and related computational models. This in particular is interesting in relation to approximability questions. The position includes the possibility to work towards a PhD degree. Requirements: Diploma or Master of Science degree or Bachelor of Science with permission for a PhD track in Computer Science or Mathematics. Solid knowledge of theoretical computer science, and here in particular of complexity theory and/or the theory of approximation algorithms. Ideally the successful candidate has already some knowledge about real number models and/or the PCP theorem. Interest to do research. BTU Cottbus welcomes an increase in the share of women and encourages qualified female scientists to apply. Disabled applicants are preferred if all other qualifications are equal. The application, under reference number and enclosing stamped addressed envelope, should be sent within a period of 4 weeks after publishing this job advertisement to: Dekan der Fakultät Mathematik, Naturwissenschaften und Informatik, BTU Cottbus, Postfach 101344, 03013 Cottbus. For further details please contact Prof.Dr. K.Meer, email:meer@informatik.tu-cottbus.de Gültig bis zum: 06.07.2011 |



