The newest offerings and updated daily

Friday, November 21, 2008

Postdoc / PhD positions in IT Security

Several three-year Postdoc and PhD positions are available
from 1st February 2009.

Salary range is up to GBP 33,780 per year (depending on
qualifications and experience), plus resources for conference travel
and equipment .

The positions are part of an 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 (subject to contract).

The project will involve: University of Trento (Italy, coordinator),
the Open University (UK, research director), University of Innsbruck
(Austria), SINTEF (Norway), INRIA (France), KU Leuven (Belgium),
Budapest UTE (Hungary), Gemalto (France), Thales (France), Telefonica
R&D (Spain), Smartesting (France), and Deep Blue (Italy). The total
budget of the project is about 7 million EUR, with the OU's share
being about 600,000 EUR.

There is growing demand to evolve systems continuously to meet
changing business needs, new regulations and policies, novel
technologies and computing infrastructures. Unfortunately, the pace
of required change affects developers' ability to establish and
maintain desirable levels of quality of systems. Therefore, the aim
in this project is to develop techniques and tools that ensure
"lifelong" compliance to security, privacy and dependability
requirements of long-running evolving software systems. This is
challenging because these requirements are not necessarily preserved
by system evolution. The project will develop processes and tools
that support design techniques for evolution, testing, verification,
re-configuration and local analysis of evolving software. The project
will focus on mobile devices and homes, which offer both great
research challenges and long-term business opportunities. The results
will be continuously validated jointly with key industry players.

Each position will focus on one of the following two topics:
* Requirements engineering techniques for security requirements of
long-living evolvable systems; or
* Model-based security analysis techniques and tools for long-living
evolvable systems based on UML.

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 (SEAD -
http://computing-research.open.ac.uk/sead) in the Department has a
world class research record in security requirements and secure
software engineering; software architecture, design and evolution;
automated software engineering; and empirical studies of software
development.

The successful candidates will also be able to interact with other
relevant research projects, such as:
* 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)
* Privacy Rights Management for Mobile Applications (PRiMMA), funded
by EPSRC and in collaboration with Imperial College London and IBM.
* 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):
* In the case of a PhD position: 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.
* In the case of a Postdoc position: a PhD in Computing or Mathematics,
preferably with experience in one of Software Engineering, IT Security, or
Formal Methods.

The planned start date for the project and the positions is 1st
February 2009
. This may be negotiable in justified cases. Each
position will run for three years and includes no teaching obligations.

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

The application process consists of two steps: First, please email an
expression of interest to j.jurjens@open.ac.uk and
b.nuseibeh@open.ac.uk which should contain the following information:

1) a full CV including the names and addresses of three referees,
2) a two page research statement, indicating what you see are
interesting research issues relating to the project and what relevant
experience you have to date; and
3) transcripts of all degree results where available.

We will then send you the relevant application form and inform you
about the further steps and deadlines in the application process.

Expressions of interest received by 8 December 2008 are guaranteed
full consideration. Early contact would be appreciated.

Disabled applicants who meet the essential job requirements will be
interviewed. Further particulars are available in large print, disk
or audiotape (minicom 01908 654901). The Open University promotes
diversity in employment and welcomes applications from all sections
of the community.

--
Dr. Jan Ju"rjens, Computing Department, The Open University
http://mcs.open.ac.uk/jj2924 - mobile +44 7804 941884
--
*** Postdoc / PhD positions in Model-based Security for Evolving Systems ***
*** http://mcs.open.ac.uk/jj2924/securechange ***
--
The Open University is incorporated by Royal Charter (RC 000391), an exempt
charity in England & Wales and a charity registered in Scotland (SC 038302).

There was an error in this gadget

The way to AMINEF in Gedung Balai Pustaka

American Indonesian Exchange Foundation
Balai Pustaka Building, 6th. Floor
Jl. Gunung Sahari Raya No. 4
Jakarta 10720, Indonesia

1. The buses which goes to Senen Bus Station all of them pass through Gedung Balai Pustaka. Especially which route is through Pasar Baru .

2. Bus Transjakarta, from Blok M you have to change the bus 2-3 times.
Way 1 : from Blok M change the bus in Dukuh Atas bus stop to the bus towards Pulogadung, then take a bus in Pramuka bus stop towards Ancol, this bus pass through Gedung Balai Pustaka. The closest bus stop (Budi Utomo) is about 800 meters from Gedung Balai .
Way 2 : From Blok M take the bus in the Harmoni Bus Stop, the bus towards Pulogadung, get down in Senen Bus Stop and walk about 800 meters, or from this bus stop take the bus towards Ancol and get down as mentioned in way 1. About the distance, this two bus stops is about the same. (It is better if you take ojek or bajaj from this bus stop to Gedung Balai Pustaka)

3. If you take taxi with old tariff (TL=Tarif Lama) from blok M with no traffic jam is about Rp. 30.000,00.

4. From Blok M use bus Patas AC 76. Gedung Balai Pustaka is in the right side, after you pass through Depag, and say to conductor "Balai Pustaka"

5. Use a busway from Blok M towards Kota, get down in Sawah Besar bus stop. From here take a Mikrolet M12 towards Senen. After cross road Wahidin and before senen get down and cross the street.

Living Cost in Germany

Living Cost in Germany is vary from city to city, but this is th case if you stay in Aachen, Germany
Student accommodation or private sharing : 180 - 230 euros per month
Food : 10 - 12 euros per day (if eating outside)
Transport for students : free within Aachen and until Koln and Dusseldorf in regional trains)

Living Cost In Austria

Living Cost in Austria is depending on the city, for example the Capital of Austria, Vienna:
- Dormitory is about 250-400 euro per month.
- Living Cost 200-400 euro per month.
- Transportation 128 euro per 4 months (student and age < 26), or 49 euro per month (ordinary)

For visa, it has to be a letter from the University/Scholl in Austria. It takes about 2-3 months.

Where to do GMAT Test

GMAT Tests are held in Jakarta, Indonesia :
1. EEC Slipi +62-21 5320044 or +62-215323176
2. Kaplan GMAT Preparation +62-81388908450, +62-21 5211588, +62-215211701 (Information abaout this test can be asked in that number)
3. Or this number +62-213159225

Blog Archive

Other References