[TYPES/announce] Call for Inria Postdoc Applications in Formal Methods for Security

[Fabrizio Biondi]

Dear colleagues,

  We have opened multiple fully-funded Postdoc position at Inria Rennes
(France). I would be very grateful if you could distribute it to
potentially interested parties. Proven academic and formal methods skills
are more important than security expertise for these positions. I also
apologize in advance for the potential cross-posting.

Thank you,

Fabrizio

------------

The TAMIS team (https://team.inria.fr/tamis/) of Inria Rennes (
https://www.inria.fr/en/centre/rennes) is looking for exceptional
candidates to cover multiple Postdoc positions in the application of Formal
Methods to Security. This call will be closed when all positions are
covered.

The positions are awarded for two years with possibility of extension. The
net salary is around 2130 € per month including social security. Inria
employees enjoy subsidized meals and transportation. The working language
is English. Inria offers free on-campus French lessons. These positions are
subject to a Restricted Access Zone (ZRR), hence the candidates will be
screened for security clearance by the Ministry of Defence.

The subjects include: extensions of SMC and rare event simulation with
applications to cybersecurity; improving SMT solving for concolic malware
analysis; adapting graph mining and machine learning techniques to
automated malware classification; and detection and algebraic
simplification of opaque predicates.

Interested candidates are welcome to send a detailed CV in English
including a detailed track of their work, teaching, and research experience
to fabrizio.biondi at inria.fr, together with a motivation letter explaining
how their skills will contribute to the team. Up to two additional
reference letters by recognized experts will be favorably considered.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20170906/21c036fe/attachment-0001.html>