[SMT-LIB] Funded Ph.D. position on Formal Verification at University of Lugano, Switzerland

[Antti Hyvärinen]

[apologies for multiple posting]

Study/Workplace

University of Lugano, Switzerland

Description

The Formal Verification and Security group (verify.inf.usi.ch) of the
Faculty of Informatics is looking for a research assistant.  The assistant
will join the Ph.D. program at the University of Lugano and conduct Ph.D.
research as part of the funded Swiss National Science Foundation project.

The successful candidate will work on a project developing an extensive
parallel model checking framework allowing formal verification of highly
complex software through the massive amounts of processing power offered
by computing clouds.  The candidate's research will address key aspects
of parallel model checking, including reasoning engines such as the
OpenSMT solver being developed at the group.

A successful candidate is expected to show skills in mathematics and
theoretical computer science, as well as practical, system-level
programming, parallel computing, and tool development. Prior experience
with formal methods and formal verification is not a strong requirement
though is a plus.

Assistants have teaching duties. The classes are expected to be in the
areas of computer architecture and system software. The teaching
requirement includes support for courses and seminars.  Both teaching and
research is to be conducted in English.

Salaries of PhD student are highly competitive ~ SFR 44,000 / year (~ EUR
36,000, USD 50,000). Low taxes! There is travel funding in case of papers
accepted at important conferences.

Additional questions and applications can be addressed to Professor
Natasha Sharygina (natasha.sharygina at usi.ch) and Dr Antti Hyvarinen
(antti.hyvaerinen at usi.ch). Applications should include a curriculum
vitae, a research statement, and names of at least two persons (for
instance teachers or employers) willing to write a recommendation
letter.


Education

Applicants must have a Master's degree or a Diploma in computer science
or a related area. A Bachelor's degree is not sufficient. An excellent
knowledge of English (both written and spoken) is required.