Er komt vanaf 1 oktober 2011 een reguliere AAP (assistent) positie vrij
aan ons departement; het is de bedoeling dat die ingevuld wordt door
een kandidaat met enige affiniteit met de meer wiskundige en formele
aspecten van de Informatica. Met name belangstelling voor onderwerpen
als semantiek, nieuwe concepten in programmeertalen, model checking
en verificatie wordt op prijs gesteld. Naast het voorbereiden van een doctoraat zal deze medewerker ook instaan voor de begeleiding van oefeningensessies bij een aantal opleidingsonderdelen.
Indien u interesse heeft of meer inlichtingen wenst, neem dan contact op met prof. D. Janssens.
Starting october 1, 2011 a position of research assistant (AAP) will be available at our department. Candidates should have the ambition to carry out research into the more mathematical and formal aspects of computer science. Interest in subjects such as formal semantics, new concepts in programming languages, model checking and verification are an asset. Apart from carrying out research leading to a PhD, the candidate will also assist in the practice sessions of a number of courses. Therefore he/she will also be asked to acquire a reasonable knowledge of the Dutch language.
For more information please contact prof. D. Janssens.
