- 
                
                
                secondments: A three months secondment at ISAS with co-supervisor R. Heyer is planned to exchange on data formats and to be trained to exploit the new version of the MetaProteomeAnalyzer Software A three months 
- 
                
                
                are looking for PhD candidates to join the team to contribute to our research agenda and to the excellence of the group and of SnT in general. Successful candidates are expected to participate in the following 
Searches related to software formal method phd
  Enter an email to receive alerts for software-formal-method-phd positions