No open position matches selected criteria.
The ATOM (Automation in Software and Verification Technology) research group is looking for PhD students to work on a variety of topics at the intersection of software engineering, formal methods, and verification technology such as: [...]
Are you looking for an exciting research project for your PhD or Postdoc? The ERC AdG project PRECRIME is scouting excellent applicants to fill 2 Postdoc and 2 PhD positions in the area of software testing, within the topics of self-assessment oracles and test generation. Successful candidates will work at the Università della Svizzera italiana (USI) in Lugano, under the supervision of the ERC holder Prof. Paolo Tonella, who is currently moving from Trento to Lugano. [...]
We are looking for excellent applicants in Software Engineering, having a strong background and willing to work on projects funded by the Swiss National Science Foundation (SNF), dealing with the following topics: [...]