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

Hernan Ponce de Leon zeta96 at gmail.com
Wed Sep 27 09:08:32 EDT 2017


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>


More information about the Types-announce mailing list