The Coq mailing list

[David Pereira <dpereira AT liacc.up.pt>]

========================================================

 CALL for PhD STUDENTS IN ELECTRICAL AND COMPUTER ENGINEERING

                   Embedded and Real-Time Systems

                                  2014-2017/8

========================================================

               CISTER/INESC-TEC Research Unit

		Porto, PORTUGAL



The CISTER/INESC-TEC Research Unit (http://www.cister.isep.ipp.pt/), an internationally renowned research centre in real-time and embedded systems, is announcing 6 PhD Student positions in Electrical and Computer Engineering with 3-4 year grants, starting in September 2014. The call will be open from May 26th to June 9th.

We are looking for highly motivated candidates with a 4-5 year degree in Electrical and Computer Engineering, Computer Science or related fields. Candidates with a 3 year degree and a strong CV, either academic or professional, are also encouraged to apply. Candidates are expected to have command of both spoken and written English.

Research grants are provided for up to four years. Salary will be 12.000,00 € (after taxes) per year, the standard value of FCT's PhD grants. Our industry partners will sponsor up to two scholarships worth 2.000,00 € (after taxes) per year in addition to the base salary.

If you are interested, please send your CV, a copy of your transcripts with all your course grades, two reference letters and a research statement, as soon as possible, to the e-mail JOBS AT cister-isep.info. Reference letters should be sent directly by their authors also to JOBS AT cister-isep.info. Candidates with relevant CVs will be interviewed.

You can find more details regarding this call at http://www.cister.isep.ipp.pt/phd/

For more information regarding CISTER/INESC-TEC, please visit our webpage http://www.cister.isep.ipp.pt/ Please check:
	* who we are at http://www.cister.isep.ipp.pt/people/
	* our current research topics at http://www.cister.isep.ipp.pt/research/
	* our academic publications at http://www.cister.isep.ipp.pt/docs/
	* the projects we are currently engaged at http://www.cister.isep.ipp.pt/projects/_international_projects/
	* our premises and their location at http://www.cister.isep.ipp.pt/info/

CISTER/INESC-TEC is located in Porto, a lively city that is the second largest in Portugal. Cost of living in Porto is rather low by European standards. You can find out more about Porto in Porto's tourism portal at http://www.portoturismo.pt/Visitar/Paginas/default.aspx



===========================