Career

1. Position for Research Assistants

For details click Here


2. Formal Verification Engineer Required
We are seeking a part-time candidate for Formal Verification at the SAVe (http://save.seecs.nust.edu.pk/) Lab in our recently funded industrial project. The candidate must have some prior working experience in the area of model checking or theorem proving. Working experience in probabilistic model checking would be considered as a plus. Please send your resumes directly to osman.hasan@seecs.edu.pk

3. CPU Architecture Engineer Required

We are seeking a full-time candidate for implementing Microprocessor Architecture at the IC Design Lab  in our recently funded research project. The candidate must have some prior working experience in the area of Computer Architecture, Digital Systems Design and hands-on FPGAs. Working experience in Digital IC backend would be considered as a plus. Please send your resumes directly to rehan.ahmed@seecs.edu.pk

Last Date of Apply: 2nd August, 2021


4. Vacant positions at Deep Learning Laboratory, NCAI, NUST

For details, Click Here

Last Date of Apply: 15th August, 2021