enthusiastic and highly qualified Doctoral Researcher (m/f/d) to work in
the intersection of formal methods, machine learning, and artificial
intelligence. The open position is available in the Intelligent Formal
Methods group under the supervision of Daniel Neider
(https://people.mpi-sws.org/~neider) and is to be filled on the next
possible date. The position is part of the project "Temporal Logic
Sketching", funded by the Deutsche Forschungsgemeinschaft (DFG), and
seeks to fundamentally improve the way hardware and software engineers
write formal specifications. For more information, please refer to:
https://people.mpi-sws.org/~neider/phd-position.html
Required Profile
----------------
- A candidate must have (or soon obtain) a Master's degree in Computer
Science or a closely related area and have completed their studies with
excellent grades.
- A strong background in either formal methods, machine learning, or
artificial intelligence is expected.
- A candidate should have had exposure to temporal logics such as Linear
Temporal Logic (LTL), Signal Temporal Logic (STL), and Computational
Tree Logic (CTL).
- Knowledge of automata learning, grammatical inference, and constraint
solving (SAT and SMT) is preferred but not required.
How to Apply
------------
To apply, please submit a CV, a grade transcript, a short statement of
purpose, and a list of references to:
Please mention "Temporal Logic Sketching" in your application and send
an email to neider@mpi-sws.org with your application ID. Review of
applications will begin on June 12, 2020 and will continue until the
position is filled.
What we Offer
-------------
The Max Planck Institute for Software Systems (MPI-SWS) offers a vibrant
international research environment with the possibility to participate
in high-impact research. The institute is co-located in Kaiserslautern
and Saarbrücken, Germany, and offers a multicultural and open working
environment. The successful applicant will join the Intelligent Formal
Methods group in Kaiserslautern. The working language at MPI-SWS is
English. Proficiency in German is helpful but not required. You can find
more information about MPI-SWS at https://www.mpi-sws.org.
The initial duration of the position is three years. The position is
fully funded by the Deutsche Forschungsgemeinschaft (DFG) and pays
according to the collective wage agreement of the German public service
(TVöD).
Contact
-------
Please contact neider@mpi-sws.org for further information.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
