Europe: PhD and Postdoctoral Positions in Engineering

HATS: Highly Adaptable and Trustworthy Software using Formal Models

13 PhD, PostDoc, and Engineering Positions offered

HATS is a new Integrated Project funded by the European Union, within the programme “Future and Emerging Technologies” (FET) of the 7th Framework Programme starting March 2009.

The project partners from:

• Chalmers Technical University, Gothenborg, Sweden
• 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 this page.

A Research Software Engineer at Fredhopper (Amsterdam).
The position will comprise of industrial research on modeling and verification of key components of Fredhopper’s flagship product within the EU-funded HATS research project. Fredhopper is the Nr. 1 provider of Search & Merchandising solutions for online business in Europe and industrial leader in the HATS project.

Apply by 31 January 2009 for the most optimal procedure.

Contact for project information: Dr. Nikolay Diakov.
More information and how to apply at this page.

2 PostDoc positions at the University of Bologna.
The emphasis is on formal modeling and verification of the kind of concurrent systems studied in Hats using various techniques, including behavioural techniques and type systems.

Application deadline is 31 January (later applications may also be taken into
account).

Contact: Prof. Davide Sangiorgi, see:
http://www.cs.unibo.it/~sangio/Hats/vacancies.txt

3 PhD positions with emphasis on static analysis and security at the Technical University of Madrid/IMDEA Software.
One of the positions is in the DOVES Spanish project, which is closely related to HATS. The application deadline is 25 January. Later applications may also be taken into account if the positions are not covered.

Contact: Prof. German Puebla.

Further details and information on how to apply at this page.

1 PhD and 1 PostDoc position in the area of software modeling and verification at the University of Kaiserslautern.
The emphasis in the area of software modeling is on semantically founded integration of behavioral software models, feature-based descriptions of variability and programs. The emphasis in verification is on modular techniques for object-oriented models and model refinement.

Application deadline is January 31. Later applications may also be taken into account.

Contact: Prof. A. Poetzsch-Heffter.
Further details and information on how to apply at this page.

1 PhD in the area of information flow security at KTH.
The topic is robust, algorithmic verification of information flow properties.

Application deadline is 13 February.

Contact: Dr Mads Dam.

Further details on how to apply at this page.

1 Postdoc position and 1 PhD position at the Centrum Wiskunde & Informatica (Amsterdam, The Netherlands).
The emphasis is on the development and implementation of an Abstract Behavioral Specification language which will allow precise description of SWPF features and components and their instances.

Application deadline is 15 February.

Contact: Prof.dr. F.S. de Boer (email: F.S.de.Boer[ at ]cwi.nl)

Applicants should have (or expect to have at the start of employment):

• For a PhD position: a good Masters level or excellent Bachelor level degree (or equivalent) in computer science, mathematics, or a closely related discipline with knowledge in the areas above. Please
  see also individual requirements at each site which can differ.
• For a Postdoc position: a PhD in computer science or mathematics, preferably with research experience in one of the listed topic areas.
• For a software engineer position: a Masters or PhD level level degree (or equivalent) in computer science, mathematics, or a closely related discipline with good knowledge in the areas of program verification, automata theory or discrete math. Knowledge of Java and some programming experience count as a plus.

Regardless of the specific application instructions, each application should contain:

1. a full CV including letters of recommendation
2. a research statement, indicating the research directions you are interesting in and what relevant experience you have
3. transcripts of degree results where available.

To apply, please follow the links given above.

Expressions of interest received by 15 January 2009 are guaranteed full consideration. Specific application deadlines may vary. Early contact would be appreciated.

UK:PhD Studentship and Research Opportunities

PhD Studentship and Research Opportunities in the Biology of Ageing, University of Liverpool, UK

PhD Studentship
We are accepting applications for a PhD studentship available for start in the autumn of 2009. The project focuses on the construction of mouse embryonic stem cell lines (mESC) exhibiting longevity biomarkers, in particular cellular resistance to oxidative stress and to sources of DNA damage thought to play a role in ageing and cancer. This project aims to: 1) employ cutting edge genomic techniques to identify new genes regulating susceptibility to stress in mESC; 2) construct stress resistant mESC lines to serve as models for studying stress response mechanisms that may modulate ageing and offer protection against age-related diseases. The exact directions of the project, however, will be adapted to fit the research interests of the student.

Informal enquiries are welcomed and should be directed to Dr de Magalhaes (aging@liv.ac.uk). Review of applications begins from mid-January 2009. To apply please visit this page.

Only EU/EEA citizens are eligible to apply and non-UK residents may only be eligible for a partial award.

Other Research Opportunities in the Biology of Ageing
We have other projects available for enthusiastic and ambitious self-funded students and postdocs. Projects can be experimental, computational, or a combination of both and are tailored to the interests of the individual. Prospective students and postdocs are welcome to contact us (aging@liv.ac.uk) to discuss possible common interests and we are happy to support applications for external fellowships.

Integrative Genomics of Ageing Group
The focus of our group is on the biology and genetics of ageing. Our research combines modern bioinformatics and experimental methods, in particular cell and molecular biology, to help decipher the human genome and provide new insights into the genetics of longevity, ageing and other complex traits. Our group is located in the School of Biological Sciences at the University of Liverpool in the UK. We have active collaborations with research groups in Europe, Israel, and the USA. Although travelling is not essential, it is therefore possible for members of our group to acquire additional expertise in other labs. More information about our group and projects we are involved in are available online:
http://pcwww.liv.ac.uk/~aging/

Switzerland : PhD Position at Faculty of Economics

PhD Position In Quantitative Finance with Applications in Asset Pricing, Università della Svizzera Italiana, Faculty of Economics, Switzerland

The Faculty of Economics of the Università della Svizzera Italiana, Switzerland, opens a PhD position in Quantitative Finance with applications in Asset Pricing, starting in Spring 2009.

The Faculty of Economics of the Università della Svizzera Italiana, founded in 1996, provides an exciting environment in which to develop a research career. The Faculty is involved in scientific programs at Swiss level and in the NCCR-FINRISK competence centre in Finance of the Swiss National Science Foundation.

The successful candidate will be integrated in a young, strongly research oriented team, with strong foundation in quantitative methods in Finance and Economics. For further information on research activities, please visit the web-sites:

http://www.unige.ch/ses/metri/ronchetti/
http://www.people.lu.unisi.ch/trojanif/
http://www.people.lu.unisi.ch/gagliarp/
http://www.people.lu.unisi.ch/degiorge/

The candidate for this position should have the following qualifications:

• Master in Finance, Economics or Mathematics with strong foundation in quantitative methods;
• Interest in numerical methods and Behavioural Finance.

Closing date for application is January 30, 2009. The position starts at 1st March 2009, or at a date to be arranged.

Please send an application with a complete CV to:

Prof. Dr. Enrico De Giorgi
Prof. Dr. Fabio Trojani
Faculty of Economics
Università della Svizzera Italiana
Via Buffi 13
CH-6900 Lugano
Switzerland

E-mail: enrico.degiorgi@lu.unisi.ch, fabio.trojani@lu.unisi.ch

Switzerland ,PhD Position in Financial Economics

PhD Position in Financial Economics, University of St Gallen, Switzerland

At the University of St. Gallen, Department of Economics, one 35% - 70% -POSITION IN FINANCIAL
ECONOMICS OR QUANTITATIVE FINANCE

starting in March 2009. The position is part of the Prof. Enrico De Giorgi’s research group. It is assumed that candidates for these position are willing to start a Ph.D. in Financial Economics or Quantitative Finance at the University of St. Gallen. Ph. D. topics for a thesis can cover both, theoretical or empirical methods in Finance and Economics. Examples of recent research articles that could be starting points for a Ph. D. thesis can be downloaded from the web address: http://www.people.lu.unisi.ch/degiorge/

The successful candidate will be integrated in a young, strongly research oriented team, with strong foundation in quantitative methods in Finance and Economics. The group will be located at the Institute of Mathematics and Statistics of the University of St. Gallen. The new Ph. D. candidate is expected to interact strongly with the professors of the Institute of Mathematics and Statistics in the development of their thesis, as well as with professors and post?docs of the Swiss Institute of Banking and Finance. The candidate is also expected to collaborate in the development of the teaching activities of the group in the areas of mathematics and quantitative methods for Finance and Economics.

Applications for the position should be send no later than Friday, January 30, 2009 by e?mail with a complete CV to: enrico.degiorgi@lu.unisi.ch.

Candidate Profile:

• Bachelor and Master degrees in Economics, Finance, Mathematics (in this case, with some
  studies in Economics), or related fields;
• Willingness to write a Ph. D. thesis in Financial Economics or Quantitative Finance at the
  University of St. Gallen;
• Strong willingness to apply quantitative methods in Finance or Economics;
• Interest in Decision Theory, Behavioural Finance and Behavioural Economics.

Duties:

• Collaboration in the teaching of mathematics at different teaching levels;
• Collaboration in the research activities of the group in the areas of Mathematics, Financial Economics and Quantitative Finance;
• Development of a Ph. D. thesis in Financial Economics or Quantitative Finance at the University of St. Gallen.

Starting Date: 1st of March 2009.

South Korea : Scholarships for International Students : 2009

2009 Scholarships for International Students, Smart Structures Lab, Chonbuk National University, South Korea

We are building a research team of graduate students or post-doctorate for our laboratory. Our projects are related to the application of laser ultrasound technologies and fiber-optics sensors technologies to the non-destructive test and evaluation (NDT&E), and Structural Health Monitoring (SHM) of important engineering structures, such as wind turbine, space launch vehicle, nuclear power plant, and aircraft. All the projects are application based with supports from the industries or government and have great potential to be commercialized. If you are highly motivated, we want to invite you to join our research team.

Basic Requirements:

• Mechanical / Aeronautics / Aerospace / E&E / Mechatronics engineering background
• Good English language proficiency.

Financial Supports:

• Research assistantship will be provided. Starting pay is 900,000 Korean Won for PhD or 600,000 Korean Won for master. Salary for post-doc is between 1,500,000 and 2,000,000 Korean Won.
• Annual increment of 50,000 ~ 100,000 Korean Won.
• Incentive bonus for publication.
• Tuition fee discount depending on the grade of the coursework for each semester. Previous records show that an average student could get 40% discount from the total tuition fee.

Application Semester: Fall 2009

For more information:

- Department homepage: http://aerospace.chonbuk.ac.kr
- Chonbuk National University: http://en.chonbuk.ac.kr
- Send your enquiries to:

upi.smart.structures.lab@gmail.com (laser ultrasound group)
fos.smart.structures.lab@gmail.com (fiber-optics sensor group)

Prof. Jung-Ryul, LEE
Smart Structures Laboratory
Chonbuk National University, South Korea.