Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Postdoctoral position at Virginia Tech on Isab...


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

From: Binoy Ravindran <binoy@vt.edu>
A postdoctoral position is available in the Systems Software Research Group
(http://www.ssrg.ece.vt.edu/) at Virginia Tech on a project involving
formally verifying experimental software systems. The project's goals
include verifying components of experimental Linux kernels (e.g., Popcorn
Linux; http://popcornlinux.org/), compiler backends and run-times (e.g.,
HydraVM; http://www.hydravm.org/hydra), and transactional memory
concurrency libraries (e.g., Hyflow; http://www.hyflow.org/), which are
being developed by the group and transitioned into production contexts of
sponsors.

Recent computer science/engineering PhD graduates with formal methods
background (e.g., Isabelle/HOL) are sought. The position is for three years
minimum, with strong possibilities for additional years. For the right
candidate, a research faculty position may also be possible. Contact Prof.
Binoy Ravindran (binoy@vt.edu) with a CV or for any questions.


Last updated: Mar 29 2024 at 08:18 UTC