ICO Alan Turing Lect...

  To celebrate the 100 year anniversary of the birth of the world renowned mathematician, code breaker, logician and computer scientist, the first ICO Alan Turing Lecture was held at the Museum of Science and Industry in Manchest...


Read More...

AISB Workshop: Senso...

Poster: http://aisb.org.uk/media/files/stw2012.pdf (media/files/stw2012.pdf) A day of discussion on the Sensorimotor account of Perception, Consciousness  and Robotics, its development and contemporary state. The first in a seri...


Read More...

Ms Pac-Man vs Ghosts...

This year's Ms Pac-man vs Ghosts Competition is now open for submissions. The competition allows you to develop AI controllers for the classical arcade game Ms Pac-Man. However, this year the competition takes a unique look at the...


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...

New AISB Website

Happy New Year! Welcome to the new AISB website. Over the coming weeks and months we will be making additional changes to the website, introducing some new content and so on. Please check back regularly to see what's new! During...


Read More...

AISB Website Beta

The AISB's new website is now gone beta. Some of the new features member's can look forward to enjoying will be better integration with the AISB LinkedIn group, frequent news updates, a new member's section and up-to-date AI med...


Read More...

AISB 2011 Convention

The AISB'11 Convention (http://www.aisb.org.uk/convention/aisb11/) was held from 4-7 April at York, organised by Dimitar Kazakov and George Tsoulas.


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...

Alan Turing Year

2012 marks the centenary of Alan Turing's birth. Alan Turing Year (http://www.turingcentenary.eu/), seeks to bring together news of all the events and organisations which will be marking the occasion.


Read More...

Honouring Turing at ...

The AISB's own Convention in 2012 (convention/aisb12) will honour Turing   For 2012, AISB and IACAP (The International Association for Computing and Philosophy) have merged their annual symposia/conferences to form the AISB/IA...


Read More...
0123456789

Notice

AISB opportunities Bulletin Item

W3 Professorship Theoretical Computer Science, Siegen, GERMANY


An der Naturwissenschaftlich-Technischen Fakultät der Universität Siegen ist im Department 
Elektrotechnik und Informatik eine Universitätsprofessur (Bes.-Gr. W 3 BBesO) für Theoretische 
Informatik zu besetzen. Gesucht wird eine durch Drittmittel- und Veröffentlichungsaktivitäten 
international sehr gut ausgewiesene Forscherpersönlichkeit aus dem Bereich der Theoretischen 
Informatik mit Bezug zu eingebetteten Systemen. Die Naturwissenschaftlich-Technische Fakultät 
bietet mit der Beteiligung am Interdisziplinären Zentrum für Sensorsysteme (ZESS), dem 
Profilbereich "Innovativer Fahrzeugbau", sowie mehreren strukturierten Promotionsprogrammen 
hervorragende Möglichkeiten zur Vernetzung der eigenen Forschungsarbeiten. Von der 
Stellenbewerberin/dem Stellenbewerber wird die deutlich sichtbare und nachhaltige Bereitschaft 
zur Integration und aktiven Mitarbeit an der Weiterentwicklung des Forschungsschwerpunkts Embedded 
Systems des Departments Elektrotechnik und Informatik erwartet. 

Wünschenswert ist ein Forschungsfokus der Bewerberin/des Bewerbers, der im Bereich der Formalen 
Spezifikation und Verifikation liegt. In der Lehre soll sich die Stelleninhaberin oder der 
Stelleninhaber an der Ausbildung in den Informatik-Studiengängen in angemessener Weise beteiligen. 
Der/Die Inhaber/in muss Pflichtfächer der Theoretischen Informatik, insbesondere die Grundlagen 
der theoretischen Informatik und die Module zur Theorie der Programmierung übernehmen. 
Einstellungsvoraussetzungen sind neben den allgemeinen dienstrechtlichen Voraussetzungen ein 
abgeschlossenes Hochschulstudium, pädagogische Eignung, die besondere Befähigung zu 
wissenschaftlicher Arbeit, die in der Regel durch die Qualität einer Promotion nachgewiesen wird, 
zusätzliche wissenschaftliche Leistungen, die ausschließlich und umfassend im Berufungsverfahren 
bewertet werden sowie Lehrerfahrung und der Nachweis didaktischer Kompetenz. Die zusätzlichen 
wissenschaftlichen Leistungen werden im Rahmen einer Juniorprofessur, einer Habilitation oder 
einer Tätigkeit als wissenschaftliche Mitarbeiterin bzw. wissenschaftlicher Mitarbeiter an einer 
Hochschule oder einer außeruniversitären Forschungseinrichtung oder im Rahmen einer sonstigen 
wissenschaftlichen Tätigkeit erbracht. Die Bereitschaft zur aktiven und konstruktiven Mitarbeit 
in Selbstverwaltungsgremien der Universität wird erwartet. Die Universität Siegen strebt eine 
Erhöhung des Anteils von Frauen in Forschung und Lehre an. Entsprechend qualifizierte 
Wissenschaftlerinnen werden um ihre Bewerbung gebeten. Bewerbungen geeigneter Schwerbehinderter 
sind erwünscht. Die Universität Siegen bietet gute Möglichkeiten, Beruf und Familie zu vereinbaren. Informationen über die Universität Siegen finden Sie auf unserer Homepage www.uni-siegen.de. 
Bewerbungen mit den üblichen Unterlagen (Lebenslauf, Zeugniskopien, Schriftenverzeichnis und 
Darstellung der bisherigen Forschungs- und Lehrtätigkeit) richten Sie bitte bis zum 14.06.2012 an 
den Dekan der Naturwissenschaftlich-Technischen Fakultät der Universität Siegen, 57068 Siegen 
http://www.uni-siegen.de/nt/.