[TYPES/announce] PhD position at U Tübingen

2016-04-05 Thread Klaus Ostermann
Foundation. The position is part of a larger research project on unifying and exchanging ideas between programming languages and databases, lead by Prof. Torsten Grust and Prof. Klaus Ostermann. We are seeking candidates with a strong background in programming and programming languages. You'll work

[TYPES/announce] Postdoctoral position in programming languages at U Tuebingen

2016-08-19 Thread Klaus Ostermann
More information about the research group can be found at: http://ps.informatik.uni-tuebingen.de Please send informal enquiries about the position via email to Klaus Ostermann http://ps.informatik.uni-tuebingen.de/team/ostermann/ -- Klaus

[TYPES/announce] PhD Position at U Tuebingen, Germany

2017-04-24 Thread Klaus Ostermann
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We have an open position for a PhD student in our group, to be filled immediately. Our group is mainly doing research in the field of programming techniques and programming languages. Being

[TYPES/announce] Open PhD and Postdoc Positions at Marburg University

2011-08-11 Thread Klaus Ostermann
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, we are happy to announce that we have new openings at the PhD and PostDoc level. The Programming Language and Software Technology Group, headed by Klaus Ostermann, conducts

[TYPES/announce] Open PhD and Postdoc positions at the University of Marburg

2012-07-30 Thread Klaus Ostermann
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, we are happy to announce that we have new openings at the PhD and PostDoc level. The Programming Language and Software Technology Group, headed by Klaus Ostermann, conducts

[TYPES/announce] Guest professorship for female researchers at University of Tübingen

2014-11-22 Thread Klaus Ostermann
opportunity program and is open to female applicants only. Candidates from the area of type systems and programming languages would be quite welcome. If you are interested, please send an informal enquiry to Klaus Ostermann via email to .@uni-tuebingen.de

[TYPES/announce] Professorship Programming / Didactics

2020-03-06 Thread Klaus Ostermann
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The University of Tübingen has an open professorship in computer science and didactics. Applicants with a background in programming and types are very welcome. Details can be found here: ht

[TYPES/announce] Postdoc position at University of Aarhus

2008-01-14 Thread Klaus Ostermann
to Klaus Ostermann (contact data given below). To be assured of full consideration, all material must arrive by February 15, 2008. Applications will be considered until the position is filled. Contact: Klaus Ostermann Dep. of Computer Science University of Aarhus, Denmark http://www.daimi.au.dk

[TYPES/announce] Open Postdoc and PhD positions at University of Marburg, Germany

2009-11-09 Thread Klaus Ostermann
is not required. Please send informal enquiries to: Klaus Ostermann Contact data available at: http://www.informatik.uni-marburg.de/~kos/

[TYPES/announce] Open Postdoc and PhD positions at University of Marburg, Germany

2010-03-22 Thread Klaus Ostermann
e a lot of freedom to develop one's own research program. Fluency in German is not required. Please send informal enquiries to: Klaus Ostermann Contact data available at: http://www.informatik.uni-marburg.de/~kos/

[TYPES/announce] CFP: Modularity Constructs in Programming Languages (Special issue of TAOSD)

2010-05-28 Thread Klaus Ostermann
be submitted at the following URL: http://senldogo0039.springer-sbm.com/TAOSD/servlet/Conference Each submission will be reviewed by at least three reviewers. Guest Editors === Gary T. Leavens, Univ. of Central Florida, USA Klaus Ostermann, Univ. of Marburg, Germany Important dates ==