Doktorandtjänst: inom konstruktiv matematik
Göteborgs Universitet / IT Fakulteten / Matematikerjobb / Göteborg
Observera att sista ansökningsdag har passerat.
Visa alla matematikerjobb i Göteborg,
Mölndal,
Partille,
Kungälv,
Lerum eller i
hela Sverige Visa alla jobb hos Göteborgs Universitet / IT Fakulteten i Göteborg Kort beskrivning av företaget:
The research will take place in the Programming Logic Group
at the Department of Computer Science and Engineering,
Chalmers University and University of Gothenburg. The
department constitutes an international research environment
with about 70 faculty and 70 PhD students. They come from
more than 30 different countries; about half of them are
native Swedes. General information about the department is
available at
http://www.chalmers.se/cse/ENINFORMATION OM LEDIG TJÄNST
Arbetsplats: Rännvägen 6B
Postnummer: 412 96
Ort: Göteborg
Titel: Doktorandtjänst, formalisering inom konstruktiv matematik
Beskrivning av arbetsuppgifter:
We are looking for students with a strong interest in mathematical logic (especially proof theory) and constructive mathematics.
This position is funded by an ERC Advanced Grant from the
European Union.
The monthly salary is around 2350 euros.
Beskrivning av kvalifikationer:
Applicants should have strong Master's degree in Computer
Science, Mathematics or in a related field, with if possible
knowledge of functional programming and type theory. Good oral and written communication skills in English are required. Knowledge of Swedish is not a prerequisite for this position as English is our working language for research as well as for teaching at the master's level.
Further information of the PhD positions can be obtained
from Professor Thierry Coquand,
email:
coquand@chalmers.seANSTÄLLNINGSVILLKOR
Tillträde: The start of the position will be after agreement.
Tidsbegränsad: Four years
Övriga villkor:
Application details
Trade Union Representatives
OFR-S Astrid Igerud, +46-31-786 11 67, SACO Martin Selander +46-31-786 14 94, SEKO Lennart Olsson +46-31-786 11 73
ANSÖKAN
Senast: 2010-09-24
AG referens: REF NR E 334 2913/10
Obs: Enbart skriftligt
KONTAKTPERSONER
Funktion: Professor
Namn: Thierry Coquand
E-postadress:
coquand@chalmers.seTelefon: +46 31 772 10 30
Publiceringsdatum2010-09-15Arbetstider och omfattningTillsvidare
Heltid
TillträdeEnligt överenskommelse
ErsättningFast lön
Så ansöker duAnsökan kan tyvärr inte göras via e-post.
FöretagGöteborgs Universitet / IT Fakulteten
AdressGöteborgs Universitet / IT Fakulteten
Forskningsgången 6
41296 GÖTEBORG
KontorsadressForskningsgången 6
KontaktuppgifterTelefonnummer: 031-7723523
E-postadress:
abk@ituniv.se Jobbnummer 733548
Observera att sista ansökningsdag har passerat.