ORGANISATION/COMPANYUniversity of Southern Denmark (SDU)
RESEARCH FIELDComputer scienceMathematicsPhilosophy
RESEARCHER PROFILEFirst Stage Researcher (R1)Recognised Researcher (R2)Established Researcher (R3)Leading Researcher (R4)
APPLICATION DEADLINE08/09/2019 23:59 - Europe/Brussels
LOCATIONDenmark › Odense M
TYPE OF CONTRACTOther
The Department of Mathematics and Computer Science at the University of Southern Denmark, Odense, invites applications for a permanent position in computer science, in the section of concurrency and logic, at the level of associate professor. The proposed starting period is the first half of 2020.
In the concurrency and logic section, we carry out research in programming languages and concurrent systems, with the aim of improving the efficiency,
reliability, and security of IT systems as well as programming productivity.
The successful applicant is expected to have a PhD in computer science and a strong track record of research at a high international level. We seek a
candidate with a strong background in at least one of the following areas:
? Concurrency theory
? Logical methods for computer science
? Programming languages, including design, theory, and implementation.
Experience in developing and/or applying software tools based on formal methods is a plus.
In addition to research, the applicant must be able to teach and advise in computer science at all levels as well as teach in a broad range of core computer science areas at the undergraduate level.
Fluency in English is required. Knowledge of Danish is not a prerequisite for application. More English than Danish is used when teaching in computer
science, and more than half of the faculty members in computer science are foreigners. The hired candidate will be offered Danish courses by the
Deadline: 8 September 2019.
Please read the full call, including how to apply, on www.sdu.dk.
EURAXESS offer ID: 438245
Posting organisation offer ID: 702403
The responsibility for the jobs published on this website, including the job description, lies entirely with the publishing institutions. The application is handled uniquely by the employer, who is also fully responsible for the recruitment and selection processes.
Please contact email@example.com if you wish to download all jobs in XML.