6 November: fyi -- post doc, Taiwan

Index of November 2007 | Index of year: 2007 | Full index

==================================================

Verification Automation Laboratory/Software Testing Laboratory

Department of Electrical Engineering

National Taiwan University

Taipei, Taiwan 106, ROC

http://cc.ee.ntu.edu.tw/~val

=======================

Expertise solicited:

1. model-checking

2. formal verification

3. automata theory

4. software testing

Applicants must hold a Ph.D. degree in Computer Sciences.

Experience in programming for verification experiments will be a plus.

Position available immediately.

Constract for one year and

extendible to two years subject to a review at the end of the 1st year.

Salary NT$742500.00 for the 1st year.

(roughly 15800 Euros, subject to 20% income tax).

One round-trip economy-class airplane ticket for the 1st year.

Please send in the following materials to Prof. Farn Wang at
farn@cc.ee.ntu.edu.tw

1. curriculum vita (including contact address and email address)

2. scanned Ph.D. diploma

3. publication list

4. some paper files

Index of November 2007 | Index of year: 2007 | Full index