[TYPES/announce] PhD Positions with a Special Call for Women in Computer Science by Logical Methods in Computer Science - LogiCS Doctoral College in Austria

[Mihaela Rozman]

Dear colleagues, perhaps you find it interesting to share the call among
your students, and colleagues alike? 

 

We are looking for 16 doctoral students, where 30% of the positions are
reserved for highly qualified female candidates. TU Wien, TU Graz, and JKU
Linz are seeking exceptionally talented and motivated students for the joint
doctoral program on Logical Methods in Computer Science (LogiCS).  LogiCS
has been established in 2014 and currently includes 41 students.

 

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

 

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

 

Details are provided on: http://logic-cs.at/phd/faculty/  

 

POSITIONS AND FUNDING

4-years fully funded 16 positions, 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 (details:
http://www.fwf.ac.at/de/forschungsfoerderung/personalkostensaetze/).
Additional positions will be available through other funding. 

 

HOW TO APPLY

The applicants are expected to have completed an excellent 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 by the candidates need to
be submitted electronically.

 

Applications will be screened on the following dates:

July 1, 2018

September 1, 2018

September 15, 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/  

 

STUDYING AND LIVING IN AUSTRIA

Austria has a vibrant and highly active and successful logic in computer
science  community. Vienna, Graz, and Linz, located close to the Alps, are
surrounded by beautiful nature. Vienna is constantly ranked the city with
the highest quality of life in the world. Austria has an exciting cultural
scene, world-famous historical sites, a large international community,
varied cuisine, and famous coffee houses.

 

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180627/0e917d4f/attachment.html>