Logic List Mailing Archive

Two PhD student positions in formal verification, Columbia MO (U.S.A.)

*Ph.D. Position with Research/Teaching Assistantship (RA/TA) in formal 
verification*

Two funded Ph.D. positions are available from Spring/Fall 2018 in EECS 
department at the University of Missouri, Columbia, USA under the 
supervision of Dr. Khaza Anuarul Hoque. The research project will focus on 
the development of formal verification based techniques for designing 
dependable and safe cyber-physical systems (target application domain: 
aerospace, automotive and smart-energy).

Established in 1849, the University of Missouri College of Engineering?s 
excellence includes nine disciplines, 130 faculty members, more than 3,300 
of the brightest undergraduates on campus and more than 600 exceptional 
graduate students at the flagship campus of the UM System. Electrical 
engineering at MU was established in 1884 ? the first electrical 
engineering program in the nation. Located in the heart of Missouri, the 
College of Engineering at Mizzou operates the University of Missouri 
Research Reactor, the most powerful nuclear research reactor on a 
university campus nationwide.

Successful candidates will receive financial support as Research/Teaching 
Assistants (RAs/TAs), and will also be awarded full tuition waiver. 
Candidates with expertise in one or more of the following priority areas 
are especially encouraged to apply.



*Requirements:*

1. Excellent academic results in B.Sc/M.Sc. with major in computer
science/electrical engineering. Exact admission requirements are available
here: http://gradstudies.missouri.edu/academics/programs/
electrical-and-computer-engineering/doctorate.php

2. Strong background in formal verification (especially, model checking)
and/or mathematics (stochastic modeling).

3. Strong programming skills, knowledge about FPGA design will be a plus.

The interested candidates are suggested to send an email (the email address
will follow) to Dr. Hoque including the following:

1. The email should express your interest and demonstrate how you meet the
above-mentioned requirements.

2. Curriculum vitae, including a list of publications (if any).


*Contact information: *

Dr. Khaza Anuarul Hoque
Assistant Professor
Department of Electrical Engineering and Computer Science (EECS) Columbia,
Missouri, USA
Email: hoquek@missouri.edu
Web: www.kahoque.com
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam