Job offers for HECS students
TU Wien (Vienna University of Technology) TU Graz (Graz University of Technology), and JKU Linz (Johannes Kepler University), are seeking highly qualified candidates for the joint doctoral program on Logical Methods in Computer Science (LogiCS), funded by the Austrian Science Fund (FWF). We are recruiting up to 12 doctoral candidates…
The Algorithms and Complexity Group at the Vienna University of Technology (TU Wien), Vienna, Austria, is offering a 6-year PostDoc Position in Algorithms. *** Application deadline is May 28, 2020 *** REQUIREMENTS – Completed doctoral study in Computer Science or a related area – Excellent Knowledge in the field of…
PhD offer Verified programming and secure integration of operating system libraries in F* Inria Rennes, France At Inria Rennes (Brittany, France) teams Tea and Celtique are hiring a PhD student interested in programming, proof and type theories to participate with Inria Challenge RIOT-fp (https://future-proof-iot.github.io) for the verified programming and secure…
Title: Abstractions for causal analysis and explanations in concurrent programs: theory and application to Erlang Within the French project “DCore – Causal Debugging for Concurrent Systems” we are looking for a highly motivated postdoc. The objective of DCore is to develop a semantically well-founded, novel form of debugging that aims…
PhD and post-doc position in the Formal Methods for Software Reliability group of TU Munich led by prof. Jan Kretinsky Area: quantitative verification Topics: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification, building model checkers (also verified…
AI Secure and Explainable by Construction: Multiple Research Positions (3 Doctoral, 5 Post-doctoral) available at Heriot-Watt, Edinburgh and Strathclyde Universities, Scotland, UK. Start date: 1 September 2020; End date: 30 August 2023 Postdoctoral Salary Scale: £31,866 to £40,322 per annum PhD funding: covering PhD fees and stipend for 3.5 years…
====================================================================== Various Research Assistants/Associates in the post-graduate program UnRAVeL “Uncertainty and Randomness in Algorithms, Verification and Logic” at RWTH Aachen University, Aachen, Germany ====================================================================== Context. The RWTH Aachen University is looking for enthusiastic and highly qualified doctoral researchers. Various positions are available within the interdisciplinary Research Training Group (RTG) UnRAVeL…
The EBRP project opens a 4 years (2+2) post-doc position for appointment from March 1st 2020 or soon after. The position is open for 2 years and may be extended for two more years. The position is based in Paris and provides the opportunity to visit partner sites in Europe.…
TU Wien, TU Graz, and JKU Linz are seeking highly qualified candidates for our joint doctoral program Logical Methods in Computer Science (logiCS). The LogiCS doctoral college focuses on interdisciplinary research topics covering – computational logic, and applications of logic to – databases and artificial intelligence, – computer-aided verification, –…
A research engineer position is available at the Inria Rennes laboratory, in France. This is a fixed-term contract for two years, starting this fall. This work takes place in the SimGrid framework (https://simgrid.org), a scientific instrument for studying the behavior of large-scale distributed systems such as Grids, Clouds, HPC, or…
