Job offers for HECS students
2 Lecturer Positions in Model-Driven Systems Engineering University of Leicester College of Science and Engineering Department of Informatics http://bit.ly/2LecturersLeicester Salary Grade 8 – £38,183 to £46,924 per annum ******************************************************************** Together our staff and students are discovering innovative ways to change the world for the better and there has never been…
IRT Saint-Exupéry and the CONVECS team of Inria and LIG are recruiting a post-doc to work on the “Evaluation and formal verification of concurrent architectures” for next-generation airplanes. English version: http://convecs.inria.fr/jobs/2017b.html French version: http://www.irt-saintexupery.com/job-offers/ingenieur-de-recherche-evaluation-et-verification-formelle-darchitectures-concurrentes-hf/
The Institute of Software Engineering and Programming Languages (ISP), University of Lübeck, is currently looking for two postdoc positions in the area of Formal Verification/Software Engineering in the context of two research projects with industrial partners. Research topics include, but are not limited to: – Research on Formal Methods with…
The Institute of Software Engineering and Programming Languages (ISP), University of Lübeck, is currently looking for talented PhD students with a particular focus on Formal Verification/Software Engineering in the context of two research projects with industrial partners. Research topics include, but are not limited to: – Research on Formal Methods…
Project-team TEA (Inria-Rennes/Irisa, France) is seeking a talented Master candidate with demonstrated knowledge and experience in logic, verification, contracts, concurrency and control. This PhD project focuses on the design and proof of concept of an algebraic framework on which to reason about the composition, abstraction, refinement, of individual, heterogeneous, CPS…
Doctoral studentship position, one or several, in Computational Linguistics The Centre for Linguistic Theory and Studies in Probability (CLASP) focusses its research on the application of probabilistic and information theoretic methods to the anaysis of natural language. CLASP is concerned both with understanding the cognitive foundations of language and developing…
Non-Zero Sum Game Graphs: Applications to Reactive Synthesis and Beyond (5 years FWB ARC research project, 2016-2021) * Positions. Post-Doc positions are open at the Université libre de Bruxelles (ULB). These positions are funded by and ARC collaborative research project of the Fédération Wallonie-Bruxelles, under the lead of Prof. Jean-François…
Project-team TEA (Inria-Rennes, France) is seeking a talented PhD with demonstrated experience in theory and implementation of refinement types in programming, automated verification and proof of programs. The aim of the post-doctoral project is to design a certified code generator from a system programming DSL defined in Liquid Haskell to…
We have an open permanent position for a researcher at ONERA. The position is located in our Toulouse (*) premises. –> Please, do not refrain to apply if you have a strong background in formal methods, programming language theory, logic, etc.; as well as a will to perform research ranging…
Un poste Maître de Conférences en informatique est ouvert au concours à l’Université Lyon 1. L’enseignement se fera au département d’informatique de l’Université Lyon 1 (site de la Doua) et la recherche au laboratoire LIP (site de l’ENS Lyon). Le profil recherche indique une priorité sur les thèmes autour de…
