Email Gateway (Aug 22 2022 at 10:47): Email Gateway (Aug 22 2022 at 10:47):From: Tjark Weber <tjark.weber@it.uu.se>
[Apologies for multiple copies. Please forward to interested students.]
The department of Information Technology, Uppsala University, opens two
fully paid PhD student positions in Computer Science, on formal
specification and verification for concurrent systems. One position
will focus on verification and correctness proofs of programs, and the
other will focus on semantics and specification languages. Advisors are
Tjark Weber and Joachim Parrow.
The positions are fully paid for 5 years and include 20% teaching
duties. The work will be carried out in the Modeling of Concurrent
Computation research group http://www.it.uu.se/research/group/mobility
The candidate should have a Master of Science in Computer Science,
Computer Engineering, Mathematics or equivalent, with a strong
background in logic, formal semantics and concurrent/parallel
programming. Experience with interactive theorem proving (e.g.,
Isabelle, Coq) is a plus. Good knowledge of written and spoken English
is a requirement for employment.
For more details and instructions on how to apply see
http://www.uu.se/en/about-uu/join-us/details/?positionId=69603
For more information on what support you can expect see
http://www.uu.se/en/about-uu/join-us/plan-your-stay/
Last updated: Apr 24 2024 at 20:16 UTC