[TYPES/announce] Job offer: close-to-industry research position

Vincent Aravantinos vincent.aravantinos at gmail.com
Fri Jun 10 06:10:29 EDT 2016


the job offer below might be interesting for those who would like to get
more in touch with problems coming from the industry but without leaving
research completely. The scope of application is quite open: we need
essentially people who are open to industry problems and able to make good
use of their abstraction skills whatever the problem is. People with a Type
theory/Programming language/Formal methods/Verification background are
therefore ideal candidates.


As you will notice, the job description is in German, meaning that we are
essentially looking for German speakers. However this is not an
absolute restriction and if Google Translate makes you believe that this
sounds really like you're made for this, feel free to contact me to know


Vincent Aravantinos


Senior researcher - Model-based engineering tools
*fortiss · An-Institut Technische Universität München*
Guerickestraße 25
80805 München
Tel.: +49 (89) 3603522 33
Fax: +49 (89) 3603522 50
E-Mail: aravantinos at fortiss.org

Amtsgericht München: HRB: 176633
USt-IdNr.: DE263907002, Steuer-Nr.: 143/237/25900
Rechtsform: gemeinnützige GmbH
Sitz der Gesellschaft: München
Geschäftsführer: Prof. Dr. Helmut Krcmar, Thomas Vallon
Vorsitzender des Aufsichtsrats: Dr. Ronald Mertz
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160610/f4161547/attachment.html>

More information about the Types-announce mailing list