AMAST Mail 2000
[Prev][Next][Index]

Assistant professorship and PhD position(s)


[apologies for multiple copies]


The Faculty of Computer Science at the University of Twente in
the Netherlands offers the academic courses Computer Science,
Business Information Technology, and Telematics.  Besides, the 
faculty supports the education of computer science for other 
studies.  The research of the faculty, with telematics and 
information technology as core issues, has been concentrated in 
the multi-disciplinary research institute CTIT (Centre for 
Telematics and Computer Science).  The faculty currently has 
about 180 employees and 750 students. 

+-----------------------------------------------------------------+
| The Formal Methods and Tools group is seeking applications for: |
|                                                                 |
|         An Assistant Professor and PhD student(s)               |
+-----------------------------------------------------------------+

The Formal Methods and Tools (FMT) group has currently about 15
employees and is responsible for education and research in the 
area of development and application of techniques with a sound
mathematical basis that are suited for the specification, design
and analysis of complex distributed systems.  The support of 
software-tools is considered to be of crucial importance for this 
aim.  

The FMT group is a project leader of national research projects 
on conformance testing (Cote-de-Resyste, funded by STW), and 
performance analysis (Hard and Softly Timed Systems, funded by 
STW) and participates in the Systems Validation Center (funded 
by the Telematics Institute).  Besides, there is an intensive
co-operation with universities and industry, both at a national
and an international level.

Assistant Professorship
-----------------------

Task description:
You will make an active research contribution to the development
of software-tools for formal methods.  In particular, you will
carry out research for the support of the specification, testing
and verification of complex information processing systems and
carry out and coordinate the lecturing in the area of tool
architectures and compiler construction.   You are willing to
contribute to other lecturing duties within the faculty.  In
addition, you will actively contribute to the acquisition of
external research funding and participate in the management and
organizational duties within the group.

Profile of the candidate:
The candidate has a PhD in Computer Science or comparable
qualifications and has research experience in the field of
(the development of) software-tools as, amongst others, laid 
down in publications at international conferences and/or in
journals.  Experience with formal methods and (industrial)
applications of formal methods is preferred.  Besides, you
are an experienced lecturer with good teaching skills.  You enjoy 
working in a team and have good communication skills.

Appointment and salary:
It is the Faculty's policy to offer a temporary position for a 
period of five years.  The position is full time and the monthly
salary is in accordance with the collective labour agreement of 
Dutch universities and is maximally DFL 8,682 (salary scale 12) 
gross.  The salary is based on knowledge and experience.

(See for application and contact information the end of this mail.)

PhD student(s)
--------------

Task description:
In an inspiring environment you carry out research in one of the
following areas: process algebras, formal methods and object-
oriented design, combining formal methods and performance analysis, 
validation and verification techniques (in particular model
checking, and automated test derivation and selection), or large 
scale application of formal methods.  Besides you will contribute
to the education duties of the FMT group and will be enrolled in 
the programme of the national Dutch graduate school IPA (Institute 
for Programming Research and Algorithmics). 

Profile of the candidate:
You have an MSc in Computer Science or in a related area and are
interested in carrying out scientific research in the area of
formal methods and tools.  In addition, you are creative, have 
good communication skills and are self-employed. 

Appointment and salary:
You will be offered a 4-year position as a PhD student.  This
position is full time and the monthly salary is in accordance with 
the collective labour agreement of Dutch universities and is DFL 
2.374 gross (for the first year) and grows up to DFL 4.037 (for the 
fourth year).  The University of Twente offers an extra annual 
compensation to your salary of DFL 8.400, DFL 6.000 and DFL 3.600 
(gross) for the first, second and third year, respectively.  In
addition,  you will be offered a substantial financial support
(about DFL 35.000) for conference visits, a laptop, support for
publication of your dissertation, courses, etc. 

Information and application
---------------------------

You can obtain further information about these positions from Prof.
dr. Ed Brinksma (brinksma@cs.utwente.nl), tel. +31 53 4893676, or
Dr.ir. Joost-Pieter Katoen (katoen@cs.utwente.nl), tel. +31 53 
4895675.  More information about the FMT group can be found at URL
http://fmt.cs.utwente.nl.  

Please send a written application together with a curriculum vitae 
and a list of scientific publications before 11 March 2000. 
Address your letter to W.H. Fij, Managing Director Faculty of 
Computer Science, University Twente, P.O. Box 217, 7500 AE
Enschede, The Netherlands.  Please include the job vacancy code:
2731/00/029 (for the Assistant Professorship) or 2713/00/030 (for
the PhD student)
[ AMAST Mail 2000 | Latest Update | AMAST Mail Meta-Index | AMAST ]