Logic List Mailing Archive

PhD student position in program and thread algebra, Amsterdam (The Netherlands), Deadline: 29 November 2008

Ph.D Student
http://www.uva.nl/vacatures/vacatures.cfm/909D9D9C-1321-B0BE-A46068D1E35497D3
1.0 fte (38h per week)
vacancy number 08-1074

Requirements. We seek an enthusiastic PhD student who obtained excellent 
results on his / her MSc degree in Computer Science, Logic or Mathematics. 
The ideal candidate should have a thorough theoretical background and a 
specific interest in formal methods.

We are looking for a researcher with an independent mind who is willing to 
cooperate in our team. It is understood that she or he selects her or his 
own topics in the field sketched above. As a research outcome we expect 
publications, (prototype) tools, and a PhD thesis. Further information

Further information can be obtained from Dr. Inge Bethke, Informatics 
Institute, University of Amsterdam, Kruislaan 403, 1098 SJ, Amsterdam, The 
Netherlands; tel. +31 20 525 7583; email: I.Bethke@uva.nl. Appointment

This is a full-time appointment (38 hours a week) for a total of four 
years: an initial period of eighteen months, followed by a further two and 
a half years subject to a positive appraisal. The gross monthly salary is 
fixed in accordance with the Dutch University regulations for academic 
personnel and ranges from EUR 2.000,-- in the first year to a maximum of 
EUR 2.558,-- in the fourth year. Job application

Applications should include a letter of motivation and a curriculum vitae. 
Please include the names and contact information of two referees. 
Applications may be emailed to application-science@uva.nl, attn: Mrs. 
J.C.Knaap, Personnel Department, Faculty of Science, University of 
Amsterdam. To process your application immediately, please quote the 
vacancy number in the subject line.

Closing date is 29 November 2008.