PhD positions in Model-based Development



PhD positions in Model-based Development

From: Jan Ju''rjens <juerjens_at_in.tum.de>
Date: Wed, 18 Feb 2009 13:01:38 +0000
Message-ID: <499C06B2.2040301@in.tum.de>
NOTE: PLEASE REPLY TO THE ADDRESS GIVEN AT:
http://mcs.open.ac.uk/jj2924

Department of Computing, The Open University (OU), UK
(http://www.computing.open.ac.uk)

http://www3.open.ac.uk/employment/job-details.asp?id=4412

We are currently seeking outstanding graduates to join our PhD programme.  
The studentships are available to applicants for full-time 3-year research and 
will be based in the Department of Computing in Milton Keynes, UK.

Research topics may be in any of the areas covered by the Centre in general, and 
by the Department of Computing in particular. In particular, they include model-based
development of critical systems (in particular also IT security).

The Open University maintains a highly regarded research base at its 
central headquarters in Milton Keynes (near London and within one 
hour from Cambridge and Oxford). The Department of Computing is part 
of the Centre for Research in Computing (http://crc.open.ac.uk). The 
Software Engineering and Design group in the Department has a 
world class research record in software engineering and in
particular in model-based development of security-critical systems
(cf http://mcs.open.ac.uk/jj2924/security ).

The successful candidates will also be able to interact with other 
relevant research projects in the department, such as:
* Integrated Project on "Security Engineering for lifelong Evolvable 
Systems (Secure Change)" funded by the European Union, within the 
programme "Future and Emerging Technologies" (FET) of the 
7th Framework Programme.
* Automated Verification of Security-Critical Software (VeriSec) 
(Royal Society Industrial Fellowship with Microsoft Research Cambridge)
* Verifying Implementations of Security Protocols in C (funded by and 
in cooperation with Microsoft Research Cambridge)
* Modelling for Compliance (EPSRC CASE studentship with BT Research)
* Royal Society Joint International Project on model-based security 
analysis with TU Munich (Germany)
* Royal Society Joint International Project on "Relating Security 
Requirements and Design" with National Institute for Informatics 
(Tokyo, Japan)
* Security and Privacy for All (SP4A), an EPSRC-funded project for 
improving public awareness of security and privacy, in cooperation 
with Bletchley Park and the National Museum of Computing.

Applicants should have (or expect to have by the start of the project): 
a good Masters level or very good Bachelor level degree (or equivalent) 
in Computing, Mathematics, or a related discipline. 
Experience or strong interest in Software Engineering, IT Security, or Formal 
Methods would be an advantage.

Each position will run for three years and includes no teaching obligations.

Informal enquiries are welcome and encouraged. Contact details can be found 
at http://mcs.open.ac.uk/jj2924 .

For detailed information and how to apply go to 
http://www.computing.open.ac.uk/research-degrees

Please send your application by email to: research-degrees-team@open.ac.uk
with cc to: J.Jurjens@open.ac.uk (and list Jan Jurjens as the contact person
in the application form).

The deadline for applications is 1 March 2009

-- 
NOTE: This is a legacy email address that is now only used to 
receive (lots of) spam. If you would like to send me a legitimate 
email, please use the address given at 
http://www.computing.open.ac.uk/People/j.jurjens . Thanks a lot !
Received on Wed 18 Feb 2009 - 13:56:56 GMT