Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Verification of randomized algorithms: open Ph...


view this post on Zulip Email Gateway (Aug 22 2022 at 13:14):

From: Tobias Nipkow <nipkow@in.tum.de>
We are looking for a Ph.D. student or postdoctoral researcher to work on the
analysis of randomized algorithms in the theorem prover Isabelle.

We shall be investigating programming logics for randomized algorithms, case
studies, and the formalization of probability theory. We will build on the
existing formalization of probability theory in Isabelle.

The successful candidate will have a strong background in one of the following
two areas

The position will be filled as soon as possible.

Please send informal enquiries or formal applications (including the usual
material and the names of two references) directly to me.

Best regards,
Tobias Nipkow
http://www.in.tum.de/~nipkow/
smime.p7s


Last updated: Mar 29 2024 at 08:18 UTC