Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


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

Notice

AISB opportunities Bulletin Item

Part-time temporary position as lecturer Formal Methods, Utrecht, THE NETHERLANDS


*Vacature Universitair Docent Formele Methoden*

De Universiteit Utrecht heeft een krachtige ambitie ten aanzien van 
onderwijskwaliteit en studiesucces. Dat geldt ook voor de scherpe 
onderzoeksprofilering op vier thema?s: Duurzaamheid, Life Sciences, Jeugd 
& Identiteit en Instituties. De Universiteit Utrecht staat midden in de 
samenleving en draagt bij aan antwoorden op de maatschappelijke vragen van 
vandaag en morgen.

Aan de faculteit Geesteswetenschappen zijn ongeveer 900 medewerkers en 
7000 studenten verbonden. De faculteit omvat vier kennisdomeinen: 
filosofie en religiewetenschap, geschiedenis en kunstgeschiedenis, media- 
en cultuurwetenschappen, en talen, literatuur en communicatie. Met het 
onderwijs en onderzoek op deze gebieden wil de faculteit bijdragen aan een 
beter begrip van Nederland en Europa in een sterk veranderende 
maatschappelijke en culturele context.

De enthousiaste en betrokken collega?s en de uitstekende voorzieningen in 
de historische binnenstad van Utrecht, waar de faculteit is gehuisvest, 
zorgen voor een inspirerend werkklimaat. Bovendien biedt de Universiteit 
Utrecht aantrekkelijke arbeidsvoorwaarden.

*Taakomschrijving*

Wij zoeken iemand met expertise op het snijvlak van informatica en logica.

U gaat werken bij het Departement Filosofie en Religiewetenschap, 
disciplinegroep Theoretische Filosofie. Deze groep doet o.a. onderzoek in 
de Bewijstheorie en Metamathematica (naar Constructivisme en naar 
Rekenkundige Theorien).

Het te geven onderwijs is ten behoeve van de Bachelor Kunstmatige 
Intelligentie en de Master Articifiele Intelligentie. De te geven vakken 
omvatten inleidende vakken over Logica, Wiskunde, Datastructuren en 
Imperatief Programmeren en een gevorderd vak over Logic and Computation.

De inhoud van het onderzoeksdeel is primair bedoeld voor het schrijven van 
een onderzoeksvoorstel. Wij bieden coaching voor bijvoorbeeld het 
schrijven van een VENI aanvraag.

*Aanbod*

We bieden een tijdelijke aanstelling voor de periode 1 februari 2014 tot 1 
september 2014 voor 0,5 fte (0,3 fte. onderwijs + 0,2 fte. onderzoek) en 
aansluitend van 1 september 2014 tot 1 september 2015 voor 0,9 fte (0,7 
fte. onderwijs/ 0,2 fte. onderzoek).

Het salaris bedraagt ?afhankelijk van opleiding en ervaring- minimaal  
2.427,- en maximaal 4.462,- bruto per maand bij een volledige aanstelling 
(schaal 10 of 11 van de CAO Nederlandse Universiteiten). Je ontvangt 
daarnaast 8% vakantiegeld en een eindejaarsuitkering van 8,3%.

De Universiteit Utrecht heeft een aantrekkelijk pakket arbeidsvoorwaarden, 
waaronder keuze voor een goede balans tussen werk en priv (o.a. goede 
verlofregeling), ontwikkelingsmogelijkheden en een uitstekende 
pensioenregeling. Meer informatie: arbeidsvoorwaarden.

U gaat werken bij het Departement Filosofie en Religiewetenschap, 
disciplinegroep Theoretische Filosofie. Deze groep doet o.a. onderzoek in 
de Bewijstheorie en Metamathematica (naar Constructivisme en naar 
Rekenkundige Theorien).

*Inlichtingen*

Voor meer informatie kun je contact opnemen met Albert Visser: 
a.visser@uu.nl.

*Solliciteren*

Je sollicitatiebrief en curriculum vitae kun je tot 6 januari 2014 mailen 
aan: a.visser@uu.nl.