The Coq mailing list

[Peter Schneider-Kamp <petersk AT imada.sdu.dk>]

(apologies for multiple copies)

please pass this message on to possible interested colleagues / students

POSTDOCTORAL RESEARCH FELLOW

A position as postdoctoral research fellow in computer science is 
available at the Department of Mathematics and Computer Science at
the University of Southern Denmark, Odense, for a two-year period, 
starting from 1 March 2013 or shortly thereafter.

In order to strengthen our “Programming Languages and Verification” 
group, we are seeking a candidate with a strong background in at least 
one (better two or more) of the following areas:
• software and/or hardware verification
• semantics of programming languages
• computational logic
• decision procedures
• term rewriting
Experience in developing and/or applying software tools based on the 
formal methods approach is a definite plus.

The successful candidate holds a PhD degree in computer science and is 
expected to actively participate in the writing of grant proposals. PhD 
candidates about to complete will be considered and should provide a 
statement from their current supervisor.

For further information please contact Associate Professor Peter 
Schneider-Kamp (petersk AT imada.sdu.dk).

The successful applicant will be employed in accordance with the 
agreement between the Ministry of Finance and AC (the Danish 
Confederation of Professional Associations). This means approx.
EUR 53000 / year (or a good EUR 4400 / month) before taxes. If you
have not worked in Denmark during the last 5 years, this means a
good EUR 3000 / month AFTER taxes.

The application must include the following:
• A curriculum vitae including information on previous employment and 
teaching experience.
• A full list of publications stating the scientific publications on 
which the applicant wishes to rely.
• A list of all enclosures
Each enclosure must be marked with the applicant’s name

Applications will be assessed by an expert assessor/committee. 
Applicants will be informed of their assessment by the university.

The University encourages all interested persons to apply, regardless of 
age, gender, religious affiliation, or ethnic background.

Please send the application, marked "job ID 133001", including 
enclosures by e-mail (in Adobe PDF format alternatively Word 2003 or 
newer format) to sciencejobs AT sdu.dk.

Closing date 25 February, 2013 at 12 noon

(see also: http://www.jobs.sdu.dk/vis_stilling.php?id=7930&lang=eng)

--
Peter Schneider-Kamp            
mailto:petersk AT imada.sdu.dk
Math. & Computer Science        http://imada.sdu.dk/~petersk/
University of Southern Denmark  phone +45 6550 2327