Skip to main content

PhD and Postdoctoral Positions in Highly Adaptable and Trustworthy Software using Formal Models [Europe]

PhD and Postdoctoral Positions in Highly Adaptable and Trustworthy Software using Formal Models, Europe
13 PhD, PostDoc, and Engineering Positions offered

HATS: Highly Adaptable and Trustworthy Software using Formal Models

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.
Labels:

Comments

Post a Comment

Popular posts from this blog

Master and PhD Scholarships in Renewable Energy Technologies [Saudi Arabia]

Sustainable Energy Program in King Saud University is offering scholarships in Renewable Energy Technologies. Qualified students graduated from Electrical Engineering, Mechanical Engineering, Chemical Engineering, Physics an Chemistry are welcome to apply to the programs. Fields of research are: solar energy, wind energy, hydrogen energy. Please send your academic CV to the email: ksu.setp[ at ]gmail.com Job Homepage : set.ksu.edu.sa Category : Renewable Energy Keywords : Renewable Energy , solar energy, wind energy, hydrogen energy.
Post a Comment
Read more

Global Study Awards for International Students

ISIC/British Council IELTS/StudyPortals Bachelors/Masters Degree Deadline: 30 Nov 2015/30 Jun 2016 Study in:  UK Next course starts Jan-Apr/Aug-Oct 2016 Brief description: The ISIC Association, StudyPortals and British Council IELTS are launching The Global Study Awards  to ultimately encourage young people to study abroad as part of their tertiary studies in order to experience and explore new countries, cultures and languages.
Post a Comment
Read more

2011-12 Scholarships for International Students at Colby-Sawyer College [USA]

International students are eligible for need-based and merit-based financial aid, and are encouraged to apply for a variety of awards that acknowledge students who have reached a high level of academic achievement throughout their high school career. With the exception of the Wesson Honors Scholarship, there is neither a separate application, nor deadline for these scholarships. As part of our rolling admissions process, students will be informed of the award decision at the point of acceptance. For international students, the admissions committee will recalculate your GPA based on equivalent letter and number grades from the Official High School Transcript you submit. -Wesson Honors Scholarship - up to $68,000 over four years -Founders Scholarship - up to $64,000 over four years -Presidential Scholarship - up to $56,000 over four years -Chargers Scholarship - up to $48,000 over four years Colby-Sawyer also offers additional merit-based scholarships to incoming students base...
Post a Comment
Read more

Architecture and Drafting Degrees Undergraduate Academic Scholarships

A $500 award will be given to a student pursuing an associate's or bachelor's degree program emphasizing Architecture, Architectural Drafting or Design, and Architectural Engineering. Requirements Scholarship applicants should be pursuing a degree at the associate degree level or higher in a program related to Architecture or Drafting including: Associate's in CAD and  Architectural Drafting Associate's in Architectural  Engineering Technology Bachelor's in Architecture Bachelor's in CAD Drafting  and Computer Design Bachelor's in Architectural  Engineering Technology
Post a Comment
Read more

Denmark: Post Doctoral Position in Accounting, Aarhus School of Business

The Department of Business Studies at Aarhus School of Business, University of Aarhus invites applications for a postdoc in accounting. The Accounting Research Group covers management ac-counting and control, financial accounting and auditing. The accounting research group has a broad range of research interests in the fields of financial accounting, corporate governance, cost account-ing, management information systems, performance measurements and management control. As well as undertaking research in specific accounting techniques, we are concerned about methodological and social aspects of management accounting. The position as post. doc. is a three-year tenure-track position with an obligation to conduct re-search and teaching. Applicants must have completed their Ph.D. before taking up the position. A strong research potential and good teaching skills are required. Candidates are expected to use app. 70 % of their time on research, 20 % on teaching and 10 % on administrative duti...
Read more