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/
Posts
