[FM-India] Fwd: postdocs available in Rennes
Akshay S.
akshayss at cse.iitb.ac.in
Sun Sep 24 15:42:12 IST 2017
-------- Forwarded Message from Alex Legay <axel.legay at inria.fr>
--------
Subject: postdocs available in Rennes
Date: 2017-09-22 11:16
From: Axel Legay <axel.legay at inria.fr>
To: akshayss at cse.iitb.ac.in
Hi Akshay,
could you please send this email to people that may be interested in
India?
Thanks, Axel
-------------------------------------
Call for Inria Postdoc Applications in Formal Methods for Security
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 axel.legay 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.
-------------------------------
More information about the FMIndia
mailing list