[TYPES/announce] Two phd/post-doc positions: FORMALIZATION AND VERIFICATION OF TRAFFIC RULES FOR AUTOMATED VEHICLES

[Tobias Nipkow]

We are looking for two Ph.D. students or postdoctoral researchers to work on
the DFG project "Proving Accountability in Traffic" (PAcT) that aims to
formalize traffic rules for automated vehicles in logic.
The funding is for 3 years.

The focus of the project is on developing new methods for the grand challenge
of guaranteeing legally correct maneuvers of automated vehicles. A special
focus will be a) on the formalization of traffic rules using logic and b) the
consideration of uncertainties in the future behavior of other traffic
participants as well as uncertainties originating from the object retrieval
of environment sensors (e.g. video cameras, LIDAR, RADAR, etc.). Using formal
verification techniques for hybrid systems should ensure legally correct
maneuvers despite the aforementioned uncertainties. Results should be
demonstrated in simulations and a real automated vehicle.

Job requirements:
   - Excellent Master's degree or Ph.D in computer science, mathematics,
     engineering, or related disciplines (e.g., physics).
   - A solid grounding in logic.
   - Experience in at least one of the following areas:
       Theorem proving and formal verification.
       Development of domain-specific languages.
       Control theory, signals and systems.

The positions will be filled as soon as possible.

This is a joint project by Matthias Althoff
(http://www6.in.tum.de/en/people/prof-dr-ing-matthias-althoff) and Tobias
Nipkow (http://www.in.tum.de/~nipkow/) at the Technical University Munich. It
is funded by the German Research Foundation (DFG).

Remuneration will be according to the German public sector salary scale TV-L
E13 (starting at about 3400 Euros/month).

Applications should be sent to both

  - Matthias Althoff <althoff at in.tum.de>
  - Tobias Nipkow <nipkow at in.tum.de>

in an email entitled "PAcT application", providing:

- a detailed CV with a publication list,
- a research statement of about one page explaining how you think you
   can contribute to the project,
- the names of two referees.

Informal enquiries to either of us are welcome.

Matthias Althoff and Tobias Nipkow

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5581 bytes
Desc: S/MIME Cryptographic Signature
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180823/195b5754/attachment-0001.p7s>