Subject: | Postdoctoral positions in Program Analysis at Virginia Tech |
From: | SEWORLD Moderator <[log in to unmask]> |
Reply-To: | SEWORLD Moderator <[log in to unmask]> |
Date: | Fri, 10 May 2019 14:33:21 -0000 |
Content-Type: | text/plain |
Postdoctoral positions in Program Analysis
Systems Software Research Group
Virginia Tech
Multiple postdoctoral positions are available with the Systems Software
Research Group (https://www.ssrg.ece.vt.edu/) at Virginia Tech (
https://vt.edu/) on program analysis, both static and run-time. A
particular focus of the positions is to develop compiler and run-time
optimizations for emerging heterogeneous architectures. An additional focus
is program analysis for prover-assisted verification.
Recent computer science/engineering PhD graduates with a background and
publication record in program analysis, compilers, run-times, or
verification are sought. The positions are for two years, renewable
annually, with strong possibilities for additional years, and have no
teaching obligations. The start date is flexible, but we aim to fill the
position as soon as possible. For the right candidate, a research faculty
position may also be possible.
Interested candidates are requested to contact Prof. Binoy Ravindran (
[log in to unmask]) with a CV or for any questions.
============================================================
To contribute to SEWORLD, send your submission to
mailto:[log in to unmask]
http://sigsoft.org/resources/seworld.html provides more
information on SEWORLD as well as links to a complete
archive of messages posted to the list.
============================================================
|
|
|
|