16 fully funded PhD positions on Logical Methods in Computer Science, Austria

TU Wien, TU Graz, and JKU Linz are seeking 16 doctoral students for our joint doctoral program on Logical Methods in Computer Science (LogiCS) fully funded by the Austrian Science Fund (FWF).

Please see the flyer: LogiCS_Flyer_2018

The link to the program: http://bit.ly/July12018

Watch the YouTube video: LogiCS through the students´ eyes: http://bit.ly/HotspotVienna

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:

E. Bartocci, A. Biere, R. Bloem, A. Ciabattoni,

G. Gottlob, T. Eiter, R. Grosu, L. Kovacs

M. Maffei, M. Ortiz, U. Schmid, M. Seidl

S.Szeider, G. Weissenbacher, S. Woltran

POSITIONS AND FUNDING

We are looking for 16 doctoral students, where 30% of the positions are reserved for highly qualified female candidates.

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.

HOW TO APPLY

The applicants are expected to have completed an excellent bachelor’s and master’s degree in computer science, mathematics, or a related field.

Candidates with comparable achievements (e.g., bachelor of honors) may be considered on a case-by-case basis.

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: http://logic-cs.at/phd/admission/

LOGIC IN AUSTRIA

Austria has a highly active and successful logic in computer science community.

Recent activities include:

vsl2014.at

Vienna Summer of Logic, the Largest Conference in the History of Logic

algo2017.ac.tuwien.ac.at

ALGO 2017

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

FMCAD 2017

www.arise.or.at

Austrian Research Network in Rigorous Systems Engineering

vcla.at

Vienna Center for Logic and Algorithms

kgs.logic.at

International Kurt Goedel Society

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.

For further information please contact:

info@logic-cs.at

Web: www.vcla.at/

Facebook: bit.ly/FBVCLA

Twitter: @vclaTUwien

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

w

Connecting to %s