[TYPES/announce] Postdoc/PhD Opportunity at the University of California, Irvine

[Ayoub Nouri]

[Apologies for cross-posting]

-------------------------------------------------------------------------------------------------

Postdoc/PhD Opportunity at the University of California, Irvine


Project Title: Conquering MPSoC Complexity with Principles of a 
Self-Aware Information Processing Factory

Host: Univ. of California, Irvine, Center for Embedded & Cyber-physical 
Systems, Irvine, CA, USA.

     Supervisor/Contact Person: Prof. Fadi Kurdahi (Kurdahi at uci.edu) 
<mailto:Kurdahi at uci.edu%29>

     Co-supervisor: Prof. Nikil Dutt (dutt at uci.edu) 
<mailto:dutt at uci.edu%29>.


Requirements:

     Postdoc: PhD degree in CS, Computer Engineering or EE from a top 
University.

     PhD: Master’s in Computer Science, Computer Engineering or 
equivalent from a top University


Objectives:

     Develop and evaluate hardware-assisted runtime verification models, 
architectures and tools.

     Develop evaluate machine learning-based specification mining 
methods and tools.


Expected Skills:

     Familiarity with hardware-assisted runtime verification formalism, 
tools and methods

     Familiarity with machine-learning algorithms

     Familiarity with specification mining methods and applications.

     Experience with FPGA tools

     Experience with multiprocessor simulators such as GEM5.


Planned visits and collaboration:

     TU Munich (Professor Andreas Herkersdorf)

     TU Branschweig (Professor Rolf Ernst)


Timeline:

    Ideally, candidates would be able to start in Winter or Spring 2018 
for a period of 1 year with possibility of extension up to 3 years total.


To Inquire: Please send a CV to Fadi Kurdahi (kurdahi at uci.edu) 
<mailto:kurdahi at uci.edu%29>.


Relevant publications:

Nikil Dutt, Fadi J. Kurdahi, Rolf Ernst, and Andreas Herkersdorf. 2016. 
Conquering MPSoC complexity with principles of a self-aware information 
processing factory. In /Proceedings of the Eleventh IEEE/ACM/IFIP 
International Conference on Hardware/Software Codesign and System 
Synthesis/ (CODES '16). ACM, New York, NY, USA, Article 37, 4 pages. 
DOI: https://doi.org/10.1145/2968456.2973275].

Ahmed Nassar, Fadi J. Kurdahi, and Wael Elsharkasy. 2015. NUVA: 
architectural support for runtime verification of parametric 
specifications over multicores. In /Proceedings of the 2015 
International Conference on Compilers, Architecture and Synthesis for 
Embedded Systems/ (CASES '15). IEEE Press, Piscataway, NJ, USA, 137-146.

A. Nassar, F. J. Kurdahi and S. R. Zantout, "Topaz: Mining high-level 
safety properties from logic simulation traces," /2016 Design, 
Automation & Test in Europe Conference & Exhibition (DATE)/, Dresden, 
2016, pp. 1473-1476
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20171025/e97cc11b/attachment.html>