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

[Hernan Ponce de Leon]

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.


https://www.fortiss.org/karriere/wissenschaftliche-mitarbeiter/?tx_ttnews%5Btt_news%5D=508&cHash=0d2b55489e2701eeb6bac933000b1978

-- 
PhD. Hernán Ponce de León
Postdoctoral Researcher

fortiss · Landesforschungsinstitut des Freistaats Bayern
An-Institut Technische Universität München
Guerickestraße 25
80805 München
Germany
Tel.: +49 (89) 3603522 587
Fax: +49 (89) 3603522 50
E-Mail:ponce at fortiss.org
http://www.fortiss.org/

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20170927/f025da8c/attachment.html>