The System Analysis and Verification (SAVE) Lab of NUST School of Electrical Engineering and Computer Science invites applications for several PhD positions in the area of Formal Verification using Theorem Proving for one of their HEC funded project. The primary focus of the research would be on using formal verification, which is a computer based mathematical analysis technique, for the analysis of hardware, software, and embedded systems. Due to general unawareness about formal verification, the selected candidates would be provided with guided training to gain the required expertise. For more information about our ongoing research projects, please visit our SAVE lab webpage at save.seecs.nust.edu.pk.
Applicants with masters degrees in computer/electrical/electronic engineering and computer science are encouraged to apply. Strong mathematical background is a plus. Good communication and writing skills is a must. Selected candidates would be offered a nominal stipend as well.
To apply, please send an email with your resume to osman.hasan@seecs.nust.edu.pk with a subject "PhD application for SAVE Lab".
Best regards,
__._,_.___
.
__,_._,___
No comments:
Post a Comment