The Formal Methods and Tools chair of the University of Twente is looking
for suitable candidates for the following positions:
- 1 Postdoc position for 3 years in the EU-ARTEMIS project CHARTER
(Critical and High Assurance Requirements Transformed through Engineering Rigor)
- 1 Technical Assistant position for 3 years in the LaQuSo-project LIST
(Laboratory for the Interoperability of Small Tools)
We first describe these projects and the role of the applicants. Details about
where to apply and what to provide with your application follow at the end of
the mail. For further information contact Arend Rensink ([log in to unmask])
Deadline for applications: 15 January 2009.
CHARTER (3 year postdoc position, vacancy number 08/309)
=======
CHARTER is a European project in which 7 industrial and 3 academic partners work
together. The following is en excerpt from the general project description:
Future generations will experience software pervasiveness that can hardly be
imagined today. Embedded systems will literally be found everywhere and control
almost everything. Human life will depend on software to an inconceivable extent.
To protect our society from the resulting severe risks, ever more software will
be subject to governmental regulations. Whenever software is deployed in sensitive
applications, certification processes will be needed. The costly and time-
consuming procedures employed today to verify new software, for example in the
air flight industry, will fail to meet demands of this scale.
CHARTER will ease, accelerate, and cost-reduce the certification of critical
embedded systems by melding realtime Java, Model Driven Development, rule-based
compilation, and formal verification. This approach, Quality-Embedded Development
(QED), will push software certification to a new level and thereby significantly
contribute to the safety and security of the upcoming age of an embedded software
society.
The role of the University of Twente in this project is to lead the work package
in which a tool for certifiable model transformation is developed. This task is to
be carried out by the postdoc, in coordination with other work packages, which in
fact act as users of the tool. The intended technological basis for the model
transformation is graph transformation.
The position is for 3 years. The starting salary is at least 2861 Euro gross per
month, but may be higher depending on experience, plus an 8% holiday allowance,
an 8,3% end-of-year bonus and a number of additional benefits. Start date of the
project is 1 Februari, but a later start is negotiable.
To qualify for this position, you must have a PhD degree in an area related to
graph transformation, model transformation, or model-driven software engineering,
as well as have a background in formal methods. Good English speaking and writing
skills are demanded, as well as the willingness to learn Dutch.
LIST (3 year technical assistant position, vacancy number 08/081)
====
A "small tool" is the type of software tool typically created in the course of
a research project, as carried out by a single PhD student. Such tools have a
small basis for maintenance and more often than not "die" with the end of the
project, without having had a chance of being embedded or tested in a larger,
systems engineering context. It is a common observation, recently repeated in
the Dutch 3TU computer science assessment, that policy and infrastructure are
missing to change this situation.
In this project, we propose to set up a framework for the improved integration
and maintenance of small tools in the area of formal methods, with the aim of
offering such tools better usability, better accessibility and a longer
lifespan. This will provide these tools with more chance of proving themselves
in practice, and thus help to valorise the effort that went into their
creation. The project will be carried out in cooperation with similar efforts
at the Technical Universities of Eindhoven and Delft.
The task of the technical assistant will initially consist of forging concrete
interoperability links between specific (existing) tools. Using the expertise
thus built up, the next step is to generalise from this, and to identify and
bring together the necessary elements for an integration and maintenance
framework.
This position is for 3 years. The starting salary is at least 2861 Euro gross
per month, but may be higher depending on experience, plus an 8% holiday
allowance, an 8,3% end-of-year bonus and a number of additional benefits.
To qualify for the position, you must have a BSc degree from a university or
polytechnic, practical programming skills, as well as the ability to grasp and
abstract problems, and to understand the principles behind formal methods tools.
Good English speaking and writing skills are demanded, as well as the
willingness to learn Dutch. Experience with software development and maintenance
is an advantage.
Information and Application
===========================
More information can be obtained from Arend Rensink ([log in to unmask]).
You are invited to send your application together with:
- A cover letter stating your *specific* interest in the position, indicating
also your motivation and qualifications for joining the project. (In the
absence of such a cover letter your application may be rejected without
notification.)
- A full curriculum vitae, including the subject and supervisor of your
graduate thesis (for the TA position) or PhD thesis (for the postdoc position).
- Letters of recommendation or references of at least two scientific staff
members.
Applications should be sent by email to Arend Rensink ([log in to unmask]),
mentioning the vacancy number in the header, with a cc to Ms. Joke Lammerink
([log in to unmask]):
- CHARTER postdoc: vacancy number 08/081
- LIST technical assistant: vacancy number 08/309.
All applications must be received ** at or before 15 January 2009 **
|