/[apologies for cross-posting]/ A research fellowship (*post-doc*) is available at LORIA, Université de Lorraine, Nancy, France, *starting anytime* (preferably before October 2020). 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: https://lipn.univ-paris13.fr/~andre/temp/subject-post-doc-ProMiS.pdf 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) 2020-2023. 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 sought. 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é <[email protected]> *# PhD applications* ------------------ We also welcome applications for PhD grants in both Nantes and Nancy, on the same ANR-NRF project. Contact: <[email protected]> -- Étienne André Université de Lorraine https://lipn.univ-paris13.fr/~andre
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
