[SMT-COMP] Postdoc/student position in Software Verification

[natasha.sharygina at usi.ch]

Research Assistants in Software Verification

Study/Workplace

University of Lugano (USI), Switzerland

Description


Formal Verification and Security group at the Informatics Department (www.verify.inf.usi.ch) is looking for research assistants. Assistants are to join the Ph.D. program/or postdoctoral studies at the University of Lugano and to conduct their research as part of the fully funded Swiss National Science Foundation and EU STREP projects.


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


The goal of the projects is to join the research efforts of the USI model checking group in the development of state-of-the-art techniques for software model checking and decision procedures. In particular, currently there are openings in the following two research projects. The first project is devoted to the development of static analysis techniques for automated verification of evolving software (http://www.verify.inf.unisi.ch/upgrades). The second project targets research in the area of decision procedure in the context of the SMT solving tools developed at USI (http://www.verify.inf.unisi.ch/projects/SMT).


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. Furthermore, assistants are expected to advise Master's students. Both teaching and research is to be conducted in English.

Salaries of PhD students/postodcs are highly competitive ~ SFR 40,000 / year (~ US$ 45,000) for students and ~ SFR 70,000 (~US$ 75,000)/year for postdocs. 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). Applications should include a curriculum vitae, a research statement, and at least two names of potential references from teachers or employers.

Education


Applicants must have a Master's degree for Ph.D. students/Ph.D, degree for postdocs or a Diploma in computer science or a related area. An excellent knowledge of English (both written and spoken) is required.



---------------------------------------------------------------------------------------------------------------
Prof. Natasha Sharygina
Formal Verification and Security Lab
http://www.verify.inf.unisi.ch

Informatics Department, University of Lugano
http://www.inf.unisi.ch/faculty/sharygina
________________________________________