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

[Vincent Aravantinos]

Hi,


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.


http://www.fortiss.org/karriere/wissenschaftliche-mitarbeiter/?tx_ttnews%5Btt_news%5D=392&cHash=29b18ed94ab6e4893d0e4b9a6afdfe90


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
more.


Best,


Vincent Aravantinos

-- 

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