Job offers for HECS students
Various Open Positions for Research Assistants/Associates in the post-graduate program UnRAVeL “Uncertainty and Randomness in Algorithms, Verification and Logic” at RWTH Aachen University, Aachen, Germany https://www.unravel.rwth-aachen.de/ The RWTH Aachen University is looking for enthusiastic and highly qualified doctoral researchers. Various positions are available within the interdisciplinary Research Training Group (RTG)…
Integrate safety and security analysis? Come join us on the ERC-funded project CAESAR: integrating safety and cybersecurity through stochastic model checking. Safety (no disruption due to unintended failures) and security (no malicious attacks) are historically separated fields, but heavily intertwined. A simple example: locking your door at night is great…
Postdoctoral/research faculty position in Program Analysis at Virginia Tech Applications are invited for a postdoctoral or research faculty position with the Systems Software Research Group (https://www.ssrg.ece.vt.edu/) at Virginia Tech on DARPA-funded projects (https://llrm-project.org/) at the intersection of program analysis, verification, and security. A particular focus of the position is static…
PhD position in ICT available in Trento (Italy) on “Quantum Annealing for SAT Solving” under the supervision of prof. Roberto Sebastiani (DISI, University of Trento) in collaboration with D-Wave Systems Inc. (http://www.dwavesys.com) sponsored by Q@TN Project (https://www.quantumtrento.eu) !! Deadline: June 15 th , 2020 !! See: http://disi.unitn.it/rseba/QTN-DWAVE-Recruit-phd.txt http://disi.unitn.it/rseba/QTN-DWAVE-Recruit-phd.pdf Applications: https://ict.unitn.it/education/admission/reserved-topic-scholarships#C2…
Inria-Rennes/IRISA is looking for an enthusiastic and highly qualified Ph.D. student to work on program analysis and transformation, proof and type theory, for the verified integration of legacy operating system libraries in IoT devices using verified programming concepts. The open and fully-funded position is available with Inria project-team Tea (https://team.inria.fr/tea)…
The CONVECS team of LIG and Inria Grenoble is seeking a PhD candidate on formal modeling and validation for electric, connected, and automated vehicles: https://jobs.inria.fr/public/classic/fr/offres/2020-02722
We are looking for motivated candidates interested in pursuing a PhD on Encoding and Sampling of Constrained Signal Spaces for Validation of Cyber-Physical Systems This fully-funded thesis supervised by Nicolas Basset and Thao Dang will take place in the Tempo team at the laboratory Verimag (Grenoble, France) in the context…
Modelling, optimization and predictive analysis of business processes Business processes are present in every company on earth. However, in most cases, they are not explicitly described, which makes their improvement very difficult. If models were available for those processes, one could reason on them to better understand, refactor, and optimize…
* 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…
