Message from Aleksandar Nanevski: Applications are invited for multiple positions (PhD/Postdoc/Scientific Programmer) at the IMDEA Software Institute, Madrid, Spain. The positions are available from April 2017. The successful candidate will work under the supervision of Aleks Nanevski (http://software.imdea.org/~aleks/). The topic of the research, to be determined based on the common…
Message from Derek Dreyer: I am pleased to announce the availability of 2 postdoc positions for the project “RustBelt: Logical Foundations for the Future of Safe Systems Programming”, funded by a 2015 ERC Consolidator Grant. http://plv.mpi-sws.org/rustbelt This 5-year project concerns the development of rigorous formal foundations for the Rust programming…
In French: L’équipe VASCO du LIG recherche un ingénieur informaticien pour la conception et le développement desoutils du projet ANR MODMED. Ce projet définit un DSL (Domain Specific Language) de spécification de tracesadapté aux Systèmes Cyber-Physiques Médicaux. Le poste est vacant et à pourvoir dès que possible pour une durée…
Applications are invited for a Postdoctoral Research Fellow position working on formal verification. The work is being funded by EPSRC. The aim of the project is to carry out perturbation analysis for quantitative verification, i.e., (1) to analyse how the verification result is affected by the perturbation of parameters and…
Department of Computer Science University of Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=aHViZXJ0LmdhcmF2ZWwJCQlodWJlcnQuZ2FyYXZlbEBpbnJpYWxwZXMuZnIJVmFjYW5jaWVzIGZvciBSZXNlYXJjaCBQb3N0cyAtIERlcGFydG1lbnQgb2YgQ29tcHV0ZXIgU2NpZW5jZSwgVW5pdmVyc2l0eSBvZiBDeXBydXMJNAlEaXN0cmlidXRlCTEwODI0CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.cs.ucy.ac.cy%2Findex.php%2Fnews%2Fjobs A number of vacancies for research posts exist in the Department of Computer Science, University of Cyprus. The location for all posts is Nicosia, Cyprus. Each post has different application deadlines and contact information. Title: Special Scientists Positions (Post-doctoral) No. of Position(s):…
Fewer train delays via big data analytics, fault trees, and stochastic model checking? The University of Twente seeks two excellent PhD candidates to work on the SEQUOIA project. We aim to improve the reliability of the (Dutch) railroads by deploying big data analytics to predict and prevent failures. Its scientific…
From Ichiro Hasuo Dept. Computer Science, The University of Tokyo http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ For our new 5.5-year research project (ERATO MMSD, Metamathematics for Systems Design) we are looking for 10+ senior researchers and postdocs, together with research assistants (PhD students) and internship students. This broad project aims to extend the realm of…
This week, the first lectures of HECS, the new MOSIG master programme, have started!
Monday September 19, 2016: welcome meeting for HECS meeting, 11:00, room F115 of the UFR IM2AG building.
Friday September 16, 2016: meeting for MOSIG M2 students, ENSIMAG (amphi E), 14:00
