PhD in Highly Adaptable and Trustworthy Software using Formal Models

January 16, 2009

HATS is a new Integrated Project funded by the European Union, within the programme "Future and Emerging Technologies" (FET) of the 7th Framework
Programme (subject to contract) starting March 2009. The project partners from Chalmers Technical University, Gothenborg, Swede,

University of Oslo, Norway, Royal Institute of Technology, Stockholm, Sweden,
Technical University of Madrid, Spain
IMDEA Software, Spain
Technical University of Kaiserslautern, Germany,
University of Bologna, Italy,
Centrum voor Wiskunde en Informatica (CWI), Amsterdam, Netherlands
Norwegian Computer Center, Oslo, Norway
Fredhopper B.V., Amsterdam, Netherlands
Fraunhofer Institute for Experimental SE, Kaiserslautern, Germany,
Katholieke Universiteit Leuven, Belgium
are jointly advertising several 3-5 year PhD, PostDoc, and Engineering
positions.

The goal of HATS is a tool-supported framework and formal methodology
for the development of long-lived and trustworthy software systems.
Specifically, HATS will turn software product family (SWPF) development
into a rigorous approach. The technical core of the project is an Abstract
Behavioral Specification language which will allow precise description
of SWPF features and components and their instances. For further
information see:

http://www.hats- project.eu

Topic areas: Applicants should have a background and/or interest in
one of the topics software modeling, modeling and programming
languages, formal methods, verification, language-based security, type
systems, or concurrency theory.

The following positions are offered:

2 PhD positions with emphasis on formal modeling and verification at Chalmers University of Technology. One of the positions is in the EU project CHARTER which is closely related to HATS. Application deadline is 9th February 2009. Contact: Prof. Reiner Haehnle. Further details and information on how to apply at
http://www.chalmers .se/cse/EN/ news/vacancies/ positions/ two-ph-d- student

Amsterdam

http://www.fredhopp er.com/public/ company-opps. php?cat=0& subcat=0# research- software- engineer
static analysis

http://clip. dia.fi.upm. es/Job_Openings/ hats-doves- phd-grants. html

Master degree scholarships in Computational Logic

We are glad to offers you the possibility to join our European Master Program of Computational Logic. This program is offered jointly at the Free-University of Bozen-Bolzano in Italy, the Technische Universität Dresden in Germany, the Universidade Nova de Lisboa in Portugal, the Universidad Politecnica de Madrid in Spain and the Technische Universität Wien in Austria. Within this program you have the choice to study at two of the five European universities. You will graduate with a MSc in Computer Science from each of the two universities you have selected. Information on the universities and the program including the application form are provided here:

http://european.computational-logic.org

Language of instruction is English. Tuition fees are 3.000 EUR per year.

We would like to draw your attention to the ERASMUS-MUNDUS scholarship program. The ERASMUS-MUNDUS consortium offers 2-year scholarships of 42.000 EUR for non-EU students in our European Master Program in Computational Logic. EU-students may apply for a three-month scholarship of 3100 EUR for doing their project at NICTA in Australia.

Application deadline is February 10, 2009. Online-applications (pdf-files, ONLY) are possible and must contain:
# Application form
# Curriculum Vitae
# Reports on university examinations (transcripts) and diploma (first degree or bachelor degree). If the bachelor degree will only be available after the deadline, students are required to send us a PRELIMINARY certificate.
# English language certificate (TOEFL and IELTS)

More information on the application procedure are available from:
http://european.computational-logic.org/content/course/how_to_apply.php?id=69

Do not hesitate to contact us again if you have any further questions.

By the way, the European Parliament has approved Erasmus Mundus II. We
are currently preparing an application. If successful, we will be able
to offer a distributed PhD program in Computational Logic on top of our
European Master’s Program in the future.

Many thanks — Steffen

Kind regards — Steffen Hölldobler

Prof. Dr. Steffen Hoelldobler
International Center for Computational Logic
Technische Universität Dresden
01062 Dresden, Germany

phone: [+49](351)46 33 83 40
fax: [+49](351)46 33 83 42
email: sh@iccl.tu-dresden.de

PhD in Quantifying the associations between diabetes and cancer incidence and mortality (UK)

Quantifying the associations between diabetes and cancer incidence and mortality

Obesity, which has doubled since 1993, increases the risk of several cancers. Diabetes, itself increased by obesity, has been linked with some cancers but evidence is sparse. Diabetes UK has funded a three-year studentship to assess the relationship between diabetes (both diagnosed disease and raised blood sugar) with cancer incidence and mortality, using one of the world’s largest datasets of health examination surveys of nationally-represen tative samples, linked to mortality and cancer registry data (Health surveys for England and Scottish Health Surveys). The planned interdisciplinary supervisory panel will be Drs Mindell and Shelton with Profs Marmot and Hochhauser.

Applications are invited from graduates in appropriate subjects or with related experience who have a strong interest in public health and epidemiology. Applicants should have (or expect to obtain) a first or upper second class degree. An MSc in a relevant subject would be an advantage. Expressions of interest are invited and should be addressed to Dr Jennifer Mindell (j.mindell@ucl. ac.uk).

This studentship will be housed within the Health and Social Surveys Research Group in the Research Department of Epidemiology and Public Health, within the Division of Population Health. There are about 45 PhD students currently working in the Department. The Division offers a unique environment to those wishing to undertake interdisciplinary study and gain exposure to research within departments pursuing a highly acclaimed international research agenda. The Division houses five Research Departments, namely the Centre for Health Informatics and Multi-professional Education, Epidemiology and Public Health, Primary Care and Population Health, Mental Health Sciences, and Infection and Population Health.

Eligibility: This opening is for a three-year Diabetes UK research studentship. Diabetes UK studentships cover EU fees only. Applications from EU and overseas students are encouraged as, subject to a separate application process (deadline 1/3/09), alternative UCL Graduate Scholarships could cover overseas fees.
The studentship will cover EU fees and full stipend for three years. The stipend for 2009/10 is £15,000 pa, rising to £15,500 in year two and £16,000 in year three.

Applications: Applications should include a CV and a statement of research experience and interests and must include a clear indication of your likely fee status. Electronic submissions are preferred. Please include a contact telephone number and an email address. Applications should be addressed to: Ms Floriana Bortolotti, Department of Epidemiology and Public Health, University College London, 1-19 Torrington Place, London WC1E 6BT (f.bortolotti@ ucl.ac.uk).

If you wish to discuss the topic please contact Dr Jennifer Mindell (j.mindell@ucl. ac.uk). If you wish to know about the research environment or have general questions on studying at UCL please contact the Graduate Tutors, Dr Yvonne Kelly (020 7679 5638, y.kelly@ucl. ac.uk) or Professor Richard Watt (r.watt@ucl.ac. uk, 020 7679 1699).

Application deadline: Midday Wednesday 4th February 2009. Interviews are likely to be held in the week of 9th February, with candidates contacted immediately after the application deadline. Potential applicants are encouraged to attend the Departmental Graduate Recruitment Open Day on 27th January 2009: full details on http://www.ucl. ac.uk/epidemiolo gy/students/ index.htm.

PhD in Linguistics at International Max Planck Research School (IMPRS) on Neuroscience of Communication: Function, Structure, and Plasticity

The International Max Planck Research School (IMPRS) on Neuroscience of
Communication: Function, Structure, and Plasticity is based at the Max Planck
Institute
(MPI) for Human Cognitive and Brain Sciences, Leipzig, and the
University of Leipzig (Germany). The IMPRS also involves the MPI for
Evolutionary Anthropology, Leipzig, and the Institute of Cognitive Neuroscience
at University College London, UK.

The IMPRS offers a unique interdisciplinary graduate programme to study the
functional, structural, and plastic bases of human communication. Its overriding
goal is to train Ph.D. students in multidisciplinary aspects involved in
communicative action. Besides behavioural work, the programme draws on elaborate
modern imaging techniques including a 7-Tesla MRI scanner and a 306-channel MEG
system.

Successful candidates will be accepted into one of the following four modules of
the school: (1) Verbal Communication: Language; (2) Non-verbal Communication:
Action and Interaction; (3) Neuroscience: Basic and Clinical; (4) Methods:
Modern neuroimaging techniques, biophysics, and signal processing.

Requirement for successful candidates is a Master’s (or qualified equivalent)
degree in disciplines like computer science, linguistics, neurobiology,
neurology, physics, psychiatry, psychology, or related fields. Candidates near
to completion may also submit applications, indicating the date of completion.
Depending on qualification and background, we may consider applicants with a
Bachelor’s degree.

Further requirements include outstanding academic performance; excellent oral
and written English language skills; aptitude for original, independent, and
creative work; performed research and published, or submitted for publication,
results (desirable).

The application must be supported by a degree and school certificate, academic
transcripts, a CV, three names and email addresses of academic referees, and a
personal statement explaining the candidate’s motivation and reasons for
pursuing a Ph.D. at the IMPRS. Applications should indicate the preferred module
into which the candidate wishes to be accepted, and specify the preferred
supervisor.

All admitted students receive financial aid in the form of a scholarship for the
duration of three years. The language of the IMPRS is English. Visit
www.leipzig. de for information on living in Leipzig, Germany, in the heart of
Europe.

We seek to increase the number of women in those areas where they are
under-represented and therefore explicitly encourage women to apply. We are
committed to employing more handicapped individuals and especially encourage
them to apply.

For further information and application details, go to our website listed above,
or contact
Dr Antje Holländer, Co-ordinator of the IMPRS (see contact information below)

Applications are to be submitted in electronic format only until 31 March 2009.
We will start assessing applications as of mid-February 2009. The graduate
programme will start with the Summer Semester 2009 at the University of Leipzig
(1 April 2009).

Application Deadline: 31-Mar-2009

Mailing Address for Applications:
Attn: Dr Antje Holländer
Stephanstrasse 1a
Leipzig 04103
Germany

Contact Information:
Dr Antje Holländer
hollaender@cbs. mpg.de, imprs@cbs.mpg. de
Phone:0049 341 9940 2261

PhD in Phonology or Psycholinguistics at Ghent University

Applications are invited for a 4-year half-time Ph.D. position in the field of
visual word recognition and/or reading acquisition at the German Department at
Ghent University (salary 28.400 Euro per year).

The successful candidate will work in the project "Interactions of phonology and
orthography in German visual word recognition" funded by the Flemish FWO. In
this project, we are investigating the interaction of phonology and orthography
in beginning readers of German and how this interaction develops over time as
reading proficiency grows. The relevant data will be collected in Germany
(Cologne, Bonn, and Bielefeld).

The successful candidate will plan and conduct psycholinguistic experiments
(reaction-time, eye-tracking) and analyse data. S/he will write a Ph.D. thesis
on a topic related to this research at Ghent University.

Profile of the candidate:
- Master’s or equivalent degree in linguistics (i.e. e.g. General Linguistics,
German Linguistics, Psycholinguistics, or Clinical Linguistics) ,
- Background in experimental psycholinguistics and statistical data analysis,
- Good knowledge in at least one of the following areas: phonology, reading
acquisition, visual word recognition,
- Good command of English and German.

The grant starts during spring 2009. Application letters including a short
statement of interest, a full CV, a copy of the required diploma, and the names
of two academic referees should be sent by 5 February 2009.

More information can be obtained by e-mail from Prof. Dr. Martina Penke.

Application Deadline: 05-Feb-2009

Mailing Address for Applications:
Attn: Prof. Martina Penke
Faculteit Letteren en Wijsbegeerte, Vakgroep Duits
Blandijnberg 2
Gent 9000
Belgium

Contact Information:
Prof. Martina Penke
Martina.Penke@ UGent.be

AddThis Social Bookmark Button Subscribe with Bloglines

Get free blog up and running in minutes with Blogsome | Theme designs available here