[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Note: The initial deadline was October 31, but I will continue
considering applications until the end of the year. If you are
interested, please contact me directly first.]
I am pleased to
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Post-doctoral position of "business developer" at Software Languages Lab
The Software Languages Lab of the Vrije Universiteit Brussel is hiring a
business developer to:
- help grow and sus
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The Programming Languages and Systems group at University of Kent is
inviting applications for a postdoctoral research associate position.
We are looking for an excellent junior researcher i
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
32nd IEEE Computer Security Foundations Symposium
June 25-28, 2019, Hoboken NJ, USA
Call for Papers
The Computer Security Foundations Symposium is an annual conference for
researchers i