[Sidiraka] RV: [ccl] PhD position available in Automated Verification

[Paqui Lucio]

A quien pueda interesar,
Paqui
--------------------------------- 
Paqui Lucio                                
Dpto de LSI                    
Facultad de Informática
Paseo Manuel de Lardizabal, 1
20080-San Sebastián
SPAIN
---------------------------------
e-mail: paqui.lucio a bildua ehu.es
Tfn: (+34) (9)43 015049  
Fax: (+34) (9)43 015590
Web: http://www.sc.ehu.es/paqui
---------------------------------
 

> -----Mensaje original-----
> De: ccl-bounces a bildua ps.uni-saarland.de 
> [mailto:ccl-bounces a bildua ps.uni-saarland.de] En nombre de Michael 
> Rusinowitch
> Enviado el: martes, 01 de junio de 2010 11:51
> Para: ccl a bildua ps.uni-sb.de
> Asunto: [ccl] PhD position available in Automated Verification
> 
> 
> PhD Position: Automated Verification for Web Services 
> Security 
> ===============================================================
> A doctoral position is available at INRIA Nancy Grand Est 
> research center for working in Cassis team in relation with 
> FP7 european projects Nessos and Avantssar.
> Research will address formal aspects of security and trust 
> management in service oriented computing.g The objective is 
> to design automatic verification algorithms and tools for 
> complex web services and to propose security mecanisms (such 
> as security wrappers) for  preventing vulnerabilities in 
> service orchestrations or choreographies.
> 
> Starting as soon as possible the Ph.D. will be held at the  
> University Henri Poincaré, Nancy.
> Salary: around 2000 euros gross/month for 3 years 
> 
> 
> Candidate Profile
> =================
> The candidate should have a MS or equivalent in computer 
> science and combine solid theoretical background and software 
> development skills.
> 
> The candidate should be able to work in a collaborative 
> environment, with a strong commitment to achieving assigned 
> objectives and reaching research excellence.
> 
> Background knowledge and/or previous experience in the areas 
> of Automated Verification, Security or Service-Oriented 
> Architectures will be considered favourably. 
> 
> Presentation and Inquiries
> ==========================
> Candidates interested in the above position should introduce 
> themselves and inquire for further information by sending 
> email to Michael.Rusinowitch a bildua loria.fr. Please use 'PHD' as 
> subject, and include a CV, preferably in  PDF format.
> 
> Related links: 
> www.loria.fr/equipes/cassis
> www.avantssar.eu
> 
> _______________________________________________
> ccl mailing list
> ccl a bildua ps.uni-saarland.de
> https://www.ps.uni-saarland.de/mailman/listinfo/ccl
>