* Random number generators – Tests and exploitation of vulnerabilities https://cybersecurity.univ-grenoble-alpes.fr/medias/fichier/theserng-cdumas-2020_1586520365493-pdf?ID_FICHE=60353 * RTN entropy source extraction from RRAM for TRNG application https://cybersecurity.univ-grenoble-alpes.fr/medias/fichier/rram-rtn-thesis-ext-v2_1586161511692-pdf?ID_FICHE=60353
============================================================================== Multiple open PhD positions at CEA LIST, France, in Software Security through Program Analysis, Formal Methods or Machine Learning =============================================================================== – BINary-level SECurity research group (BINSEC) – CEA LIST, Software Security Lab, – Université Paris Saclay, France – Contact: Sébastien Bardin (sebastien.bardin@cea.fr) Keywords: software security, binary code, program…
TU Wien (Vienna University of Technology) TU Graz (Graz University of Technology), and JKU Linz (Johannes Kepler University), are seeking highly qualified candidates for the joint doctoral program on Logical Methods in Computer Science (LogiCS), funded by the Austrian Science Fund (FWF). We are recruiting up to 12 doctoral candidates…
The Algorithms and Complexity Group at the Vienna University of Technology (TU Wien), Vienna, Austria, is offering a 6-year PostDoc Position in Algorithms. *** Application deadline is May 28, 2020 *** REQUIREMENTS – Completed doctoral study in Computer Science or a related area – Excellent Knowledge in the field of…
PhD offer Verified programming and secure integration of operating system libraries in F* Inria Rennes, France At Inria Rennes (Brittany, France) teams Tea and Celtique are hiring a PhD student interested in programming, proof and type theories to participate with Inria Challenge RIOT-fp (https://future-proof-iot.github.io) for the verified programming and secure…
Title: Abstractions for causal analysis and explanations in concurrent programs: theory and application to Erlang Within the French project “DCore – Causal Debugging for Concurrent Systems” we are looking for a highly motivated postdoc. The objective of DCore is to develop a semantically well-founded, novel form of debugging that aims…
PhD and post-doc position in the Formal Methods for Software Reliability group of TU Munich led by prof. Jan Kretinsky Area: quantitative verification Topics: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification, building model checkers (also verified…
AI Secure and Explainable by Construction: Multiple Research Positions (3 Doctoral, 5 Post-doctoral) available at Heriot-Watt, Edinburgh and Strathclyde Universities, Scotland, UK. Start date: 1 September 2020; End date: 30 August 2023 Postdoctoral Salary Scale: £31,866 to £40,322 per annum PhD funding: covering PhD fees and stipend for 3.5 years…
====================================================================== Various Research Assistants/Associates in the post-graduate program UnRAVeL “Uncertainty and Randomness in Algorithms, Verification and Logic” at RWTH Aachen University, Aachen, Germany ====================================================================== Context. The RWTH Aachen University is looking for enthusiastic and highly qualified doctoral researchers. Various positions are available within the interdisciplinary Research Training Group (RTG) UnRAVeL…
The EBRP project opens a 4 years (2+2) post-doc position for appointment from March 1st 2020 or soon after. The position is open for 2 years and may be extended for two more years. The position is based in Paris and provides the opportunity to visit partner sites in Europe.…
