The Coq mailing list

[Frank De Clerck <fdc AT cage.ugent.be>]

Dear colleague (sorry if you receive this message in duplicate)

The Faculty of Sciences at Ghent University (Belgium) has a vacancy for 
a professorship in mathematical computer science, starting from October 
1, 2006.

It concerns a job as full-time professor in the rank of lecturer 
(docent) or senior lecturer (hoofddocent) in the Department of Pure 
Mathematics and Computer Algebra, charged with academic teaching (in 
Dutch), scientific research and carrying out scientific duties in the 
field of mathematical computer science, preferably in one of the 
following areas:

-         formal methods and computer-supported proving;
-         formal methods for software safety and software quality.

Deadline for application is April 18.

For more details see http://aivwww.ugent.be/DPO/vacatures/ZAP/WE01eng.html

Frank De Clerck
Deputy Head of the Department of Pure Mathematics and Computer Algebra.
begin:vcard
fn:Frank De Clerck
n:De Clerck;Frank
org:Ghent University;Department of Pure Mathematics and Computer Algebra
adr:;;Krijgslaan 281 - S22;Gent;;9000;Belgium
email;internet:http://cage.ugent.be/~fdc
tel;work:+32 (0)92644918
tel;fax:+32 (0)92644993
tel;home:+32 (0)92303077
tel;cell:+32 (0)486362231
x-mozilla-html:TRUE
url:http://cage.ugent.be/~fdc
version:2.1
end:vcard