The Parallel and Distributed Systems Laboratory at the Faculty of Informatics, Masaryk University (Brno, Czech Republic) is currently expanding its research team and is looking for highly motivated and talented individuals to a three year-fixed term post. The position is available to participate in a project focused on formal verification of complex computational systems with special emphasis on combination of explicit and symbolic methods.
The Parallel and Distributed Systems Laboratory aims at intensifying the basic and applied research in the area of parallel and distributed methods for the specification, modelling, analysis, and verification of parallel and distributed systems. The mainspring of the research is the development and application of theories which underlie mentioned system development activities. The objective is to bridge the gap between academics and industry by exploiting academically well-founded formal methods and by promoting theory formation in the academic sense on the major issues of selected industrial areas. We want to come-up with practical solutions and tooling to address the needs found in current and innovative development industry projects.
The topic of the advertised research position is the development of new original methods and techniques for the automated verification and analysis of large-scale computer systems. The main obstacle in reaching the goal is the computational complexity of the task. Several methods have been proposed to fight the problem, however only few of them are used in combination. Our goal is to employ a synergy of explicit and symbolic methods in disstributed and parallel verifications to overcome the computational barrier.
Requirements
Candidates must hold a PhD degree (or equivalent) awarded after 1 April 2008, should be highly motivated and have a strong background in informatics. Candidate must have excellent analytical skills, and strong interpersonal and communication skills.
The deadline for applications is April 30, 2012. The gross salary is about 2200 € per month. The post is available from 1 September 2012, but the precise starting date is negotiable.
Interested candidates should email their CV, list of publications, brief statement of interest and career goals, names and contact information for 3 references contained in one single PDF file to:
Prof. Ivana Cerna
Masaryk University Brno
Faculty of Informatics
Botanicka 68a, 602 00 Brno
Czech Republic
Email: cerna at fi dot muni dot cz
http://paradise.fi.muni.cz/
Posts
