[Elsnet-list] Postdoc position available at Taiwan

Farn farn at cc.ee.ntu.edu.tw
Tue Nov 6 09:49:55 CET 2007

Postdoc position available 


Verification Automation Laboratory/Software Testing Laboratory 

Department of Electrical Engineering

National Taiwan University

Taipei, Taiwan 106, ROC



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 at 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 


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://stratus.let.uu.nl/pipermail/elsnet-list/attachments/20071106/91b3aa3e/attachment-0001.htm

More information about the Elsnet-list mailing list