[isabelle] Open position for a postdoctoral researcher at the TU Munich
Apologies for multiple postings. Please bring this announcement
to the attention of anyone who might be interested.
Postdoctoral researcher in the
Nominal Methods Group at the TU Munich
We have an open position for a postdoctoral researcher in the
newly formed nominal methods group at the TU Munich. The research
of our group is centered around the nominal datatype package. This
package pushes the state of the art of formalising programming
languages and solving POPLmark-like problems without having to
resort to using de-Bruijn indices and higher-order abstract syntax.
More information about the group can be found under
The work we are interested in is both theoretical and practical,
in the sense of implementing the tools we design. An ideal candidate
for the position has therefore experience with formalisations and
theorem provers as well as with functional programming. The research
themes for the position are broad including developing novel features
of Isabelle, advancing the nominal logic theory and conducting
case-studies using our tools.
We offer an active and friendly research environment in the Isabelle
group in Munich. We have close ties with many international researchers
working on the POPLmark Challenge. Munich is Germany's most attractive
city - the Alps are very close and local beer and merrymaking are not
frowned upon in Bavaria.
The appointment is for two years initially with possible extensions.
The position is open from September 2006, but slightly earlier or
later starting dates can also be considered. Remuneration will be
in accordance with the German Scale BAT-IIa for researchers. The
salary depends on age and family circumstances; typical numbers
are 2980 Euros per month for a single 25 year old rising to 3200
Euros per month for a single 30 year old.
Informal inquiries about the position may be send to urbanc at in.tum.de.
Send applications no later than 26th of May 2006. To apply send your
application (preferably electronically) including a CV, publication
list, contact details of 2 referees and a statement of research to
urbanc at in.tum.de or Dr Christian Urban
Institute for Computer Science I4
This archive was generated by a fusion of
Pipermail (Mailman edition) and