[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

     http://www4.in.tum.de/~urbanc/Nominal/

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
                                 TU Munich, 
                                 Boltzmannstr. 3, 
                                 D-85748 Garching, 
                                 Germany. 





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.