SEWORLD Archives

SEWORLD

SEWORLD@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
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.
============================================================

ATOM RSS1 RSS2