[TYPES/announce] Postdoctoral position at Purdue University

[Roopsha Samanta]

Hello!


I am looking for postdoctoral candidates to work with me on topics
such as program
synthesis, relational reasoning and reliable AI.


The ideal candidate has a strong, internationally competitive record of
research in formal methods and/or programming languages. While there is
some flexibility on the research topics we will pursue together, I am
looking for someone who has a background in automated techniques for
program verification and/or synthesis and is excited about working on the
above topics.



The postdoctoral researcher will work closely with my group, Purdue Formal
Methods (PurForM)
<https://www.cs.purdue.edu/homes/roopsha/purform/index.html>, and will
also have
the opportunity to collaborate with other researchers in Purdue Programming
Languages Group (PurPL) <http://purduepl.github.io/>, one of the leading PL
groups in the US. Based on interest, we can work out opportunities to lead
projects, write grants and teach courses in the Department of Computer
Science at Purdue University.



To apply, please email me directly at roopsha at purdue.edu with a CV, a brief
statement explaining your interest in this position, and contact
information for 2 references.



Applicants are strongly encouraged to apply by April 30, 2019. However,
applications will be accepted until the position is filled.



Compensation is highly competitive and commensurate with experience.



Please also feel free to email me with informal questions about this
position.



Relevant links:

Homepage: https://www.cs.purdue.edu/homes/roopsha/index.html

Twitter: https://twitter.com/roopshasamanta

PurForM page: https://www.cs.purdue.edu/homes/roopsha/purform/index.html

PurPL page: http://purduepl.github.io/





Best,

Roopsha Samanta

*Assistant Professor*

*Computer Science*

*Purdue University*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190324/14c967aa/attachment.html>