[TYPES/announce] Postdoctoral positions at MPI-SWS

[Rupak Majumdar]

The Rigorous Software Engineering group of the Max Planck Institute for Software Systems, led
by Rupak Majumdar, is inviting applications for two postdoctoral research scholars.

We are looking for excellent junior researchers in any of the following areas:
algorithmic analysis of systems (model checking, static and dynamic analysis), 
cyber-physical systems, formal methods in robotics/autonomous systems, and visualization and
HCI for formal methods. 
We are especially interested in researchers with experience building systems and tools.

The position is funded for 2 years with the option of an extension of up to two years.
Applicants must have completed a doctoral degree in computer science, electrical engineering, 
or related areas and must have demonstrated
strong research potential. In addition to pursuing a strong research program, postdoctoral scholars are expected
to contribute to mentoring students, teaching, and scientific organization.

The Max Planck Institute for Software Systems is located in Kaiserslautern and Saarbruecken in Germany.
We maintain an open, international, and diverse work environment and seek applications from outstanding
researchers worldwide. Our working language is English.
There is generous travel, administrative, and technical support available for all group members.

Please apply at https://apply.mpi-sws.org/ <https://apply.mpi-sws.org/> and mention Rupak Majumdar/RSE in the comments.
You need to upload your CV, a research plan, and 3-5 references.
Please contact rupak at mpi-sws.org <mailto:rupak at mpi-sws.org> with any questions.

Reviewing of applications will commence on 15 November 2018 and applicants are strongly encouraged to apply by this deadline.
However, applications will be accepted until the positions are filled.

The Max Planck Society is committed to employing more individuals with disabilities and expressly welcomes them to apply.
The Max Planck Society seeks to increase the percentage of women in the areas where they are underrepresented and expressly welcomes them to apply.


Rupak Majumdar
Max Planck Institute for Software Systems,
Paul-Ehrlich-Str 26,
67663 Kaiserslautern
Germany
Email: rupak at mpi-sws.org <mailto:rupak at mpi-sws.org>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20181015/338e0b99/attachment.html>