<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<p>Dear All,</p>
<p>I am looking for a postdoctoral researcher to work on the
LLVM-based Secure Virtual Architecture. Below is the job
advertisement which you can also find at <a
class="moz-txt-link-freetext"
href="https://www.cs.rochester.edu/about/recruit.html#PostdocPosition">https://www.cs.rochester.edu/about/recruit.html#PostdocPosition</a>.
Questions about the position can be directed to me. I will also
be at the LLVM Developer's meeting if anyone would like to chat
about the position in person.</p>
<p>Regards,</p>
<p>John Criswell<br>
</p>
-------------------<br>
<p>Job Description<br>
<br>
The Computer Science Department at the University of Rochester
seeks an enthusiastic postdoctoral researcher to work on exciting
research projects utilizing the Secure Virtual Architecture
(SVA). SVA is an open-source LLVM-based virtual machine that
enforces security policies on commodity software (both application
and operating system kernel code). The postdoctoral researcher
will extend the static analysis capabilities of SVA for the
purposes of optimizing run-time checks and evaluating the efficacy
of currently developed defenses. The position is available for
one year starting in Fall 2017 and can be renewed for a second
year based on performance.<br>
<br>
Job Duties<br>
<br>
The postdoctoral researcher will perform the following tasks:<br>
<br>
</p>
<ul>
<li> Develop new compiler analysis and transformation passes in
the LLVM compiler</li>
<li> Add new features to the SVA run-time library</li>
<li> Enhance the open-source SVA code for use by external
researchers</li>
<li> Assist in the writing of research papers and grants</li>
</ul>
<p> <br>
Desired Qualifications<br>
<br>
</p>
<ul>
<li> Doctoral degree in Computer Science or related field</li>
<li> Experience writing LLVM compiler passes</li>
<li> Strong research publication record</li>
<li> Familiarity with x86/x86_64 assembly language preferred</li>
<li> Experience with operating system kernel and/or hypervisor
internals preferred</li>
</ul>
<p> <br>
Further Information<br>
<br>
For additional information about the position, please contact John
Criswell at <a class="moz-txt-link-abbreviated"
href="mailto:criswell@cs.rochester.edu">criswell@cs.rochester.edu</a>.<br>
<br>
How to Apply<br>
<br>
To apply, please send an email with the subject containing the
text “[SVA Postdoc]” to <a class="moz-txt-link-abbreviated"
href="mailto:criswell@cs.rochester.edu">criswell@cs.rochester.edu</a>.
The email should include a CV, a cover letter, and contact
information for references.<br>
<br>
The University of Rochester has a strong commitment to diversity
and actively encourages applications from groups underrepresented
in higher education. The University is an Equal Opportunity
Employer.</p>
<p><br>
</p>
<pre class="moz-signature" cols="72">--
John Criswell
Assistant Professor
Department of Computer Science, University of Rochester
<a class="moz-txt-link-freetext" href="http://www.cs.rochester.edu/u/criswell">http://www.cs.rochester.edu/u/criswell</a></pre>
</body>
</html>