[TYPES/announce] PostDoc position at Inria Paris on Formally Secure Compilation in Coq

[Catalin Hritcu]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Hello,

A PostDoc position is available in my group at Inria Paris on Formally
Secure Compilation in Coq (https://secure-compilation.github.io).
I am seeking outstanding candidates with a strong, internationally
competitive research track record. Particularly interesting for us is
research expertise in:
- formal verification in the Coq proof assistant
  and verified compilation in particular (e.g. CompCert)
- security foundations, e.g., reference monitoring,
  hyperproperties, noninterference
Here are some (non-exhaustive) lists of potential research topics:
http://prosecco.gforge.inria.fr/personal/hritcu/temp/habil/catalin_habil.pdf#page=80

Candidates are expected to work collaboratively on project-relevant
topics and help advise students, but can also dedicate some of their
time to their own independent projects. For exceptional candidates
with enough experience we can also discuss about Starting Researcher
positions, who can propose and follow their own research agenda and be
fairly independent. Our team can also support such exceptional
candidates for permanent Researcher positions funded and awarded
competitively by Inria. Further details about these various positions
are available at https://secure-compilation.github.io/#positions

Do not hesitate to contact me if you are interested!

Regards,
Catalin

[TYPES/announce] Full Professorship in Security and Privacy at Uni Wien. Application Deadline: January 7, 2019.

[Maffei, Matteo]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

At the Faculty of Computer Science of the University of Vienna the position of a

University Professor of Security and Privacy

(full time, permanent position) is to be filled.

We are looking for outstanding scientists who are active in the core areas to 
be covered by this position: information and network security, including 
privacy. The position is envisioned to serve as a crystallization point in the 
faculty for security and privacy research and teaching, with the thematic focus 
on software and systems security. The candidate should demonstrate deep 
knowledge and have an excellent research record in the theory and practice of 
security and privacy, with documented outreach to application areas, for 
example (but not limited to) Cyber Physical Systems or Internet of Things, 
addressing the increasing demand for security and privacy solutions in research 
and industry.

More Information: 
https://personalwesen.univie.ac.at/jobs-recruiting/professuren/detail-seite/news/security-and-privacy/?no_cache=1_new

Closing Date for Applications: 2019-01-07