Logic List Mailing Archive

Postdoctoral research fellowship in formal verification, Brno (Czech Republic), Deadline: 12 Mar 2012

Postdoctoral Research Fellow

The Parallel and Distributed Systems Laboratory at the Faculty of 
Informatics, Masaryk University 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 method 
s for the specification, modelling, analysis, and verification of parallel 
and distributed systems. The mainspring of the research is the development 
an d 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 an 
d 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 analy 
sis of large-scale computer systems. The main obstacle in reaching the 
goal i s the computational complexity of the task. Several methods have 
been propo sed 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 disstribu ted 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 March 31, 2012. The gross salary is abou 
t 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/