The System Analysis and Verification (SAVE) Lab of NUST School of Electrical Engineering and Computer Science invites applications for full-time PhD positions in the area of Formal Verification using Theorem Proving. 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. the applicants must have cleared the subject test of EE or CS and must be willing to start their PhD from January 2013. Selected candidates would be offered a stipend ranging from Rs. 13,000 to 35,000 per month depending on their profile and past experience.
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,
Osman Hasan, Ph.D.
Assistant Professor,
Location: A.307 Faculty Block
School of Electrical Engineering and Computer Science,
NUST, Sector H12, Islamabad, Pakistan.
Voice : +92.51.90852137
Web: ohasan.seecs.nust.edu.pk
__._,_.___
| Reply via web post | Reply to sender | Reply to group | Start a New Topic | Messages in this topic (1) |
.
__,_._,___
No comments:
Post a Comment