[TYPES/announce] Logical Methods in Computer Science - LogiCS - multiple PhD positions in Austria

Mihaela Rozman mihaela.rozman at tuwien.ac.at
Mon May 14 03:59:54 EDT 2018


TU Wien, TU Graz, and JKU Linz are seeking 16 doctoral students for the
doctoral college Logical Methods in Computer Science (LogiCS). The doctoral
program has been successfully established in 2014, and now it looks for the
second generation of the PhD students. LogiCS through the eyes of the
students: http://bit.ly/HotspotVienna  

 

The doctoral positions are funded for a period of 4 years according to the
funding scheme of the Austrian Science Fund. Additional positions will be
available through other funding. (See the full funding amount on LogiCS
website). Aim of the current call is to fill the 16 positions, where 30% of
the positions are reserved for highly qualified female candidates, by the
autumn of 2018.

 

THE PROGRAM

LogiCS focuses on logic and its applications in computer science. Successful
applicants will work on interdisciplinary research topics covering

 

(i) computational logic,

(ii) databases and artificial intelligence, 

(iii) computer-aided verification, and

(iv) emerging application domains, such as cyber-physical systems,
distributed systems,and security & privacy.

 

FACULTY MEMBERS

Austria has a vibrant and highly active and successful logic in computer
science community. Students are supervised by leading researchers in their
fields: Details are provided on http://logic-cs.at/faculty/ 

 

HOW TO APPLY

Applications will be screened on the following dates:

*June 1, 2018

*July 1, 2018

*September 1, 2018

The positions will be filled on continuous basis till October 2018.

 

Applications by the candidates need to be submitted electronically. Detailed
information about the application process is available on the LogiCS
web-page.

 

LOGIC IN AUSTRIA

Austria has a highly active and successful logic in computer science
community. Recent activities include:

*Vienna Summer of Logic, the Largest Conference in the History of Logic:
vsl2014.at

*ALGO 2017: algo2017.ac.tuwien.ac.at

*FMCAD 2017: http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD17/

*Austrian Research Network in Rigorous Systems Engineering: www.arise.or.at

*Vienna Center for Logic and Algorithms: vcla.at

*International Kurt Goedel Society: kgs.logic.at

 

HIGHEST QUALITY OF LIFE

The Austrian cities Vienna, Graz, and Linz, located close to the Alps and
surrounded by beautiful nature, provide an exceptionally high quality of
life, with a vibrant cultural scene, numerous cultural events, world-famous
historical sites, a large international community, a varied cuisine and
famous coffee houses.

 

FURTHER INFORMATION

For further information please contact: info at logic-cs.at

 

WEBSITE

http://logic-cs.at/phd/admission/

 

SOCIAL MEDIA

Facebook: bit.ly/FBVCLA 

Twitter: https://twitter.com/vclaTUwien 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180514/21bcf116/attachment-0001.html>


More information about the Types-announce mailing list