[FM-India] Research fellow (post-doc) position in security and timed formal methods (also available: PhD grants)

Étienne André Andre.Etienne at lipn13.fr
Wed Jan 15 17:38:25 IST 2020

/[apologies for cross-posting]/

A research fellowship (*post-doc*) is available at LORIA, Université de
Lorraine, Nancy, France, *starting anytime* (preferably before October
The position is in the framework of a French-Singaporean project on
security and formal methods; more precisely, we aim at detecting and
preventing leaks of information in programs through quantitative
side-channel attacks (typically timing leaks), via quantitative model
checking techniques.

*# Keywords*
Formal methods, cybersecurity, verification, opacity, cryptography,
program analysis, timed automata

*# Detailed subject*
A proposition of detailed subject is available at:
but the applicant is welcome to tailor this subject to her/his wishes,
as long as it fits the global project.

*# Scientific framework: ANR-NRF ProMiS*
This post-doc fellowship is in the framework of ANR-NRF project *ProMiS*
(Provable Mitigation of Side Channel through Parametric Verification)
This project involves LORIA (Nancy, France), LS2N (Nantes, France),
Singapore Management University and Singapore University of Technology
of Design (Singapore).
While the position is based in Nancy, frequent interactions will be
conducted with the other partners of the project; this may include
short- or medium-length visits to Nantes and/or Singapore partners.

*# Location: Nancy*
The post-doc position will take place at LORIA (Laboratoire lorrain de
recherche en informatique et ses applications) at Université de
Lorraine, Nancy, France.
LORIA is an internationally recognized research laboratory comprising
over 400 scientists from 48 nationalities.

Université de Lorraine is a dynamic university in the beautiful city of
Nancy, 1h30 from Paris by TGV (high-speed train); Nancy is a human-sized
city featuring a high quality of life, a UNESCO-world-heritage city
center, and very affordable living costs.

*# Conditions*
Highly motivated applicants with an excellent research record are being
Expertise is at least one of the aforementioned keywords is required.
/The fellowship is research-only: no teaching, no administrative paperwork./

The post-doc fellowship is for 12 months, and can possibly be extended
for another 12 months.
The successful applicant can start anytime, with a high preference for a
starting date before 1st October 2020.
The position remains open until it is fulfilled.

Approximate remuneration: 2,400€ net / month (social security and
retirement scheme are also provided).
Funding for traveling, notably to Singapore, is also provided.

*# Application*
Applications can be made by email, using a fully developed CV, a
complete research record, possible names of referees, and any relevant
additional information.
Contact: Étienne André <postdoc.promis at lipn13.fr>

*# PhD applications*
We also welcome applications for PhD grants in both Nantes and Nancy, on
the same ANR-NRF project.
Contact: <phd.promis at lipn13.fr>

Étienne André
Université de Lorraine

More information about the FMIndia mailing list