PhD position in theoretical computer science at the University of Kassel, Germany

[Martin Lange]

The research group "Theoretical Computer Science / Formal Methods" at the
School of Electrical Engineering and Computer Science of the University of
Kassel, Germany, is offering a funded full-time position for a prospective
PhD student.

A starting date no earlier than end of November is negotiable. The appointment
is expected to be for up to 5 years in total. The position is paid according
to pay scale TV-H EG13.

Applicants must have an MSc / diploma in computer science, mathematics,
or related areas, or should be very close to completion thereof. They
should have a good background in theoretical computer science, with strong
interest in formal logic, formal methods, program verification, synthesis,
etc.

The position comes with teaching duties of 4h/week, typically fulfilled by
giving tutorials in courses in theoretical computer science at both the BSc
and MSc level. Tutorials for undergraduates will have to be given in German.
The successful candidate should therefore acquire sufficient language skills
in short time.

Further information about the research group is available here:
http://www.uni-kassel.de/eecs/fmv

For informal enquiries please contact Martin Lange via
<first name>.<last name>@uni-kassel.de or +49/0 561 8046261.

Applications must be directed to the HR department of the University of Kassel,
for instance viabewerbungen at uni-kassel.de  <http://listserver.tue.nl/mailman/listinfo/concurrency>  .
They should contain a CV and names of 1-2 references, and must state the
reference number 31765 for this announcement.

Deadline for applications is November, 7th, 2018. The official announcement
for this position is available here (in German):
https://www.uni-kassel.de/uni/universitaet/stellenangebote/stellenangebot/post/detail/News/wiss-mitarbeiter-in-eg-13-tv-h-fachgebiet-theoretische-informatikformale-methoden/








-- 
----------------------------------------------------------------
Prof. Dr. Martin Lange          http://www.uni-kassel.de/~mlange
Elect. Engineering & Comp. Science    martin.lange at uni-kassel.de
University of Kassel, Germany                 +49/0 561 804 6261

-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20181022/5ed8ecd5/attachment.html>