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…
Research officer in theoretical foundations of cyber security at Swansea University Duration: 3 years Available now Application deadline: 24.2.17 URL: http://www.jobs.ac.uk/job/AWX894/research-assistant-officer-in-theoretical-computer-science-theory-of-security/ Within an EPSRC funded project, we have a research position that offers an opportunity to undertake research in the broad area of Trust, Identity, Privacy and Security. To this…
The PESTO Team at INRIA Nancy-Grand Est aims at building formal models and techniques for computer-aided analysis and design of security protocols. We have an open Ph.D. research position and are looking for an enthusiastic Ph.D. candidate to work on the SAPIC/Tamarin security protocol verification tool chain. Possible projects include…
PhD Student positions in Cyber-physical Systems/Artificial Intelligence/Systems Biology at Cyber-Physical Systems Laboratory Research School of Computer Science College of Engineering and Computer Science Australian National University Cyber-Physical Systems Laboratory led by Dr Sergiy Bogomolov is seeking applications for multiple research positions as PhD students to work on a range of…
Message from Eddy Westbrook: Galois is hiring! We’re looking for researchers, principal investigators, software engineers, and project leads, including those with expertise in functional programming, formal methods, machine learning, embedded systems, computer security, or networking. We have two offices: one in Portland, OR, and one in Arlington, VA and positions…
