[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
The CEA LIST, Software Security Lab (LSL), has several open internship
positions in the area of Formal verification for quantum programming to
begin as soon as possible at Paris-Saclay, France. The position are 4-6
month long and can open the way to a PhD position. They are articulated
around the Qbricks tool which aims at providing an automated solution for
quantum programming formal verification.
More details on the project and the positions are available on our website:
https://urldefense.com/v3/__https://qbricks.github.io/__;!!IBzWLUs!VlUbFIfFySesKgmqZj_uTG0ANusvjcN3IN-0oSgpkQOTCadcZqIRI6YY1URyVsiuQ446rND_u2O8x6Tl9MTJBqyiyvp-Kavr3tY$
Feel free to share this information with potential candidates.
Best
