[Proof Complexity] Proof-Complexity Digest, Vol 128, Issue 5

[Vasilyi Shangin]

brain drain is in action!

2015-05-29 13:00 GMT+03:00 <proof-complexity-request at math.cas.cz>:

> Send Proof-Complexity mailing list submissions to
>         proof-complexity at math.cas.cz
>
> To subscribe or unsubscribe via the World Wide Web, visit
>         http://list.math.cas.cz/listinfo/proof-complexity
> or, via email, send a message with subject or body 'help' to
>         proof-complexity-request at math.cas.cz
>
> You can reach the person managing the list at
>         proof-complexity-owner at math.cas.cz
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of Proof-Complexity digest..."
>
>
> Today's Topics:
>
>    1. New Doctoral Program on Logical Methods in        Computer Science
>       (LogiCS) (list-announcer at dbai.tuwien.ac.at)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Fri, 29 May 2015 11:48:44 +0200 (CEST)
> From: list-announcer at dbai.tuwien.ac.at
> To: proof-complexity at math.cas.cz
> Subject: [Proof Complexity] New Doctoral Program on Logical Methods in
>         Computer Science (LogiCS)
> Message-ID: <20150529094844.4D6111E0CC at vexpert.dbai.tuwien.ac.at>
>
> Funded Doctoral Positions in Computer Science
>
> TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and
> motivated students for their joint doctoral program LogiCS. The LogiCS
> doctoral college focuses on interdisciplinary research topics covering
>
> (i) computational logic, and applications of logic to
> (ii) databases and artificial intelligence as well as to
> (iii) computer-aided verification.
>
> THE PROGRAM
>
> LogiCS is a doctoral college focusing on logic and its applications in
> computer science. Successful applicants will work with and be
> supervised by leading researchers in the fields of computational
> logic, databases and knowledge representation, and computer-aided
> verification.
>
> FACULTY MEMBERS
>
> M. Baaz     A. Biere  R. Bloem         A. Ciabattoni
> U. Egly     T. Eiter  C. Fermueller    R. Grosu
> A. Leitsch  M. Ortiz  R. Pichler       S. Szeider
> H. Tompits  H. Veith  G. Weissenbacher
>
> The LogiCS faculty comprises 15 renowned researchers with strong
> records in research, teaching and advising, complemented by 12
> associated members who further strengthen the research and teaching
> activities of the college.
>
> Details are provided on http://logic-cs.at/faculty/
>
> POSITIONS AND FUNDING
>
> We are looking for 1 doctoral students per faculty member, where 30%
> of the positions are reserved for highly qualified female candidates.
> The doctoral positions are funded for a period of 3 years according to
> the funding scheme of the Austrian Science Fund (details:
> http://www.fwf.ac.at/de/forschungsfoerderung/personalkostensaetze/)
> The funding can be extended for one additional year contingent on a
> placement at one of our international partner institutions.
>
> CURRENT RESEACH AREAS
>
> At the moment we are particularly looking for people in the following
> areas:
>
> * Answer Set Programming
> * Concurrency
> * Description Logic
> * Database Theory
> * Model Checking
> * Proof Theory and Automated Deduction
> * QBF Solving
>
> HOW TO APPLY
>
> Detailed information about the application process is available on the
> LogiCS web-page
>
> http://logic-cs.at/phd/
>
> The applicants are expected to have completed an excellent diploma or
> master's degree in computer science, mathematics, or a related field.
> Candidates with comparable achievements will be considered on a
> case-by-case basis. Applications by the candidates need to be
> submitted electronically.
>
> Next application Deadline: July 1, 2015.
>
> 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
>
> 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 at logic-cs.at
>
>
>
> ------------------------------
>
> _______________________________________________
> Proof-Complexity mailing list
> Proof-Complexity at math.cas.cz
> http://list.math.cas.cz/listinfo/proof-complexity
>
>
> End of Proof-Complexity Digest, Vol 128, Issue 5
> ************************************************
>



-- 
С уважением, Василий Олегович Шангин