[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear colleagues,
We seek a talented and motivated postdoc/Research associate to join the School
of Computing at the University of Kent, Canterbury, UK. The Research Associate
will participate in cutting edge research on type-based enforcement and
compilation techniques for enforcement of security properties of higher-order
programs. The position is on an EPSRC funded project titled "TYPDSEC:
Type-based information declassification and its secure compilation". The post
is based in Canterbury and will be directly supervised by Dr. Vineet Rajani
(https://urldefense.com/v3/__https://vineetrajani.github.io/__;!!IBzWLUs!QvsI4KDzPcGX13AH0Ic2a0qXtWBxMZm4ag0eOEJ6OZRhqM8aVfTBQBAy0sq73ls5VMz2daUY6XQNeDdFCEYrhz9c10O9QGDnm3mB0xRA$
).
The project will be in the intersection of modal type theory, information flow
control and secure compilation. It will also involve mechanisation in the HOL4
theorem prover and implementation in the CakeML ecosystem. Applicants should
have a strong background in formal methods evidenced by high-quality research
publications or artifacts in top-tier venues of programming languages, formal
verification or security research. The project will involve close collaboration
with Prof. Magnus Myreen (Chalmers).
As a Research Associate you will:
1. build novel type theories, proof techniques and compilation methods to
reason about hyperproperties relevant for security of higher-order programs.
2. work on mechanisation of the above in HOL4.
3. integrate them in the CakeML framework, a real world compiler for the ML
like language.
To be successful in this role you must:
1. have a PhD or equivalent experience in Computing or in a related discipline.
2. have a track record of peer-reviewed publications at scientific workshops,
conferences or journals.
3. have excellent mathematical skills relevant for analysis of computer
programs.
The university of Kent is walking distance from the charming city of
Canterbury. It has a high speed connection to London, and travel to Europe is
convenient by rail or car.
Please apply through any of the following URLs:
-
https://urldefense.com/v3/__https://www.jobs.ac.uk/job/DGO984/research-associate__;!!IBzWLUs!QvsI4KDzPcGX13AH0Ic2a0qXtWBxMZm4ag0eOEJ6OZRhqM8aVfTBQBAy0sq73ls5VMz2daUY6XQNeDdFCEYrhz9c10O9QGDnm-KH7jOa$
-
https://urldefense.com/v3/__https://jobs.kent.ac.uk/Vacancy.aspx?id=7355&forced=2__;!!IBzWLUs!QvsI4KDzPcGX13AH0Ic2a0qXtWBxMZm4ag0eOEJ6OZRhqM8aVfTBQBAy0sq73ls5VMz2daUY6XQNeDdFCEYrhz9c10O9QGDnmzDPhJD5$
We are looking to have the successful candidate start as soon as possible. For
any queries formal or informal, please do not hesitate to get in touch Dr.
Vineet Rajani ([email protected]).
Best regards,
Vineet
Best regards,
Vineet
