Author: garavel

New version of the MOSIG master

In 2020, the MOSIG master program was reformed, as it happens every five years. The HECS lectures have been preserved and can still be chosen in the list of mainstream MOSIG courses. More information on the MOSIG web sites: https://formations.univ-grenoble-alpes.fr/en/catalog-2021/master-s-degree-XB/master-in-computer-science-IAQK9B8Z/master-of-science-in-informatics-at-grenoble-mosig-IB9GGIRD.html https://www.grenoble-inp.fr/en/academics/master-of-science-in-informatics-at-grenoble-mosig-1 https://mosig.imag.fr

Continue reading

Research Assistants/Associates positions at RWTH Aachen, Germany

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)…

Continue reading

PhD position in Twente: integrating safety and cybersecurity through stochastic model checking

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…

Continue reading

Post Doctoral Fellow Position at Carnegie Mellon University in Logical Systems Lab

The Logical Systems Lab at the Computer Science Department of Carnegie Mellon University has an exciting opportunity for a Postdoctoral Researcher. We research logical foundations for cyber-physical systems and develop practical theorem proving tools for analyzing and correctly building such systems, including the theorem prover KeYmaera X, verified runtime monitoring…

Continue reading

2 PhD Positions in the Doctoral Program Logical Methods in Computer Science (LogiCS) – fully funded – Vienna, Austria – Deadline: 12 June 2020

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…

Continue reading

Fully-funded PhD position in ICT in Trento (Italy) on `Quantum Annealing for SAT Solving’

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…

Continue reading

Fully-funded PhD on verified integration of operating system libraries – Inria/Irisa, Rennes, France

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)…

Continue reading

PhD thesis, University Grenoble Alpes

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…

Continue reading