[TYPES/announce] Open PhD Position at Rochester Institute of Technology (RIT)

[Nestor Catano]

We are looking for a motivated student interested in pursuing a PhD on developing mathematical foundations for Cyber-Security resilient Software Architectures, architectures that are resilient by default while relying on formal methods techniques.

The research position is at the Department of Software Engineering of Rochester Institute of Technology, RIT (https://www.rit.edu/computing/department-software-engineering <https://www.rit.edu/computing/department-software-engineering>), NY, USA. The candidate will conduct their work as part of the center for Cyber-Security (https://www.rit.edu/cybersecurity/ <https://www.rit.edu/cybersecurity/>). Ideal candidates should have some background in one of the following ares a) software architectures b) formal methods c) discrete mathematics. The work encompasses theoretical research work as well as the ability to implement software tools. PhD stipends at RIT are between 28K and 32K USD. 

The candidate will conduct their work as part of the Software Design and Productivity Lab (https://design.se.rit.edu/ <https://design.se.rit.edu/>), led by professor Mehdi Mirakhorli (http://www.se.rit.edu/~mehdi/ <http://www.se.rit.edu/~mehdi/>)

Relevant papers:
1) https://design.se.rit.edu/papers/TacticalVulnerabilities.pdf <https://design.se.rit.edu/papers/TacticalVulnerabilities.pdf> 
2) https://www.researchgate.net/publication/276510295_Code_generation_for_Event-B <https://www.researchgate.net/publication/276510295_Code_generation_for_Event-B>

For informal and formal inquiries contact Email: nxccics at rit.edu <mailto:nxccics at rit.edu> 

Best Regards,
Nestor Catano
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200413/40c9a294/attachment.html>