Several Open PhD Positions in the doctoral program on Logical Methods in Computer Science (LogiCS) in Austria ***Deadline: June 12, 2020***

--_000_158928000435235874tuwienacat_
Content-Type: text/plain; charset="Windows-1252"
Content-Transfer-Encoding: quoted-printable

{With apologies for cross-posting, please see below for information and tha=
nk you for a possible share among your network nodes}


___________________________________________________________________________=
_________________________________
TU Wien (Vienna University of Technology)
TU Graz (Graz University of Technology), and
JKU Linz (Johannes Kepler University),

are seeking highly qualified candidates for the joint doctoral program on L=
ogical Methods in Computer Science (LogiCS),
funded by the Austrian Science Fund (FWF).

We are recruiting up to 12 doctoral candidates for a starting period of 3 y=
ears, with a negotiable starting date.

Deadline: June 12, 2020
___________________________________________________________________________=
_________________________________
The PhD program focuses on interdisciplinary research topics covering
=96 computational logic, and applications of logic to
=96 databases and artificial intelligence,
=96 computer-aided verification,
=96 security and privacy,
=96 cyber-physical systems, as well as to
=96 distributed systems.
______________________________________________________

THE PROGRAM
______________________________________________________

Our PhD program LogiCS is focusing on logic and its applications in compute=
r science. Successful applicants will work with and be mentored by leading =
researchers in the fields of computational logic, databases and knowledge r=
epresentation, computer-aided verification, security and privacy, cyber-phy=
sical systems, and distributed systems.

The LogiCS doctoral program offers top research expertise, and a stimulatin=
g and supportive environment. The LogiCS is coordinated by TU Wien, which o=
ffers an outstanding research environment and numerous professional develop=
ment opportunities. The Faculty of Informatics of TU Wien is the largest on=
e in Austria and is consistently ranked among the best in Europe. The found=
ing body of the LogiCS, the Austrian Science Fund (FWF), offers multiple fu=
nding opportunities for young researchers to advance their independent scie=
ntific careers.

______________________________________________________

FACULTY MEMBERS
______________________________________________________

- M. Bartocci
- A. Biere
- R. Bloem
- A. Ciabattoni
- T. Eiter
- G. Gottlob
- R. Grosu
- L. Kovacs
- M. Maffei
- M. Ortiz
- U. Schmid
- M. Seidl
- S. Szeider
- G. Weissenbacher
- S. Woltran

The LogiCS faculty comprises 15 renowned researchers with strong records in=
 research, teaching and advising, complemented by 15 associated members who=
 further strengthen the research and teaching activities of the college.

______________________________________________________

POSITIONS AND FUNDING
______________________________________________________

* We are looking for 12 very strong doctoral students.
* The doctoral positions are funded for at least 3 years according to the f=
unding scheme of the Austrian Science Fund (FWF). (30 hours per week/ 39.00=
0 EUR gross/year)
* The funding can be extended for one additional year contingent on a place=
ment at one of our international partner institutions.
* The location of the research post is Vienna, Graz or Linz, Austria.

______________________________________________________

SEEKING CANDIDATES FOR THE CURRENT RESEARCH AREAS
______________________________________________________

At the moment we are particularly looking for candidates interested in the =
following areas:

* Automated Software Verification

* Description Logics

* Epistemic logic in distributed computing

* Game-based Semantics

* Fixed-Parameter Algorithms and Complexity

* Formal Verification of hybrid systems

* Knowledge Representation and Reasoning

* Model Checking

* Modeling and analysis of digital integrated circuits

* Normative Reasoning

* Ontology-based Data Access

* Security and Privacy

* Scheduling and logic programming

* Study of the Interaction between rules from a knowledge base and rules ar=
ising from machine learning

* Topology in distributed computing

* Quantified Boolean Formulas

______________________________________________________

HOW TO APPLY
______________________________________________________

Detailed information about the application process is available on the Logi=
CS web-page: https://logic-cs.at/phd/admission/

* The applicants are expected to have completed an excellent diploma or mas=
ter=92s degree in computer science, mathematics, or a related field.
* Candidates with comparable achievements will be considered on a case-by-c=
ase basis.
* Applications by the candidates need to be submitted electronically.

Application Deadline: June 12, 2020

______________________________________________________

LOGIC IN AUSTRIA
______________________________________________________

Austria has a highly active and successful logic in the computer science co=
mmunity. Recent activities include:

Austrian Research Network in Rigorous Systems Engineering - http://www.aris=
e.or.at

Vienna Center for Logic and Algorithms - http://www.vcla.at

International Kurt Goedel Society - http://www.kgs.logic.at

______________________________________________________

HIGHEST QUALITY OF LIFE
______________________________________________________

The Austrian cities Vienna, Graz, and Linz, located close to the Alps and s=
urrounded by beautiful nature, provide an exceptionally high quality of lif=
e, with a vibrant cultural scene, numerous cultural events, world-famous hi=
storical sites, a large international community, a varied cuisine and famou=
s coffee houses.

If you decide to be located in Vienna, the city features a vibrant and exce=
llence-driven research landscape, with several leading research institutes =
(e.g., University of Vienna, IST, AIT, SBA) and universities continuously e=
stablishing collaborations in various fields. Finally, Vienna has been cons=
istently ranked by Mercer over the last years the best city for quality of =
life worldwide.

______________________________________________________

ADDITIONAL INFORMATION
______________________________________________________

LogiCS web-page: https://logic-cs.at/phd/admission/
For further information please contact: [email protected]

--_000_158928000435235874tuwienacat_
Content-Type: text/html; charset="Windows-1252"
Content-Transfer-Encoding: quoted-printable

<html>
<head>
<meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3DWindows-1=
252">
<style type=3D"text/css" style=3D"display:none"><!--P{margin-top:0;margin-b=
ottom:0;} p=0A=
	{margin-top:0;=0A=
	margin-bottom:0}--></style>
</head>
<body dir=3D"ltr" style=3D"font-size:12pt;color:#000000;background-color:#F=
FFFFF;font-family:Calibri,Arial,Helvetica,sans-serif;">
<div dir=3D"ltr" style=3D"font-size:12pt; color:#000000; background-color:#=
FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id=3D"divRplyFwdMsg" dir=3D"ltr"></div>
<div>
<div dir=3D"ltr" style=3D"font-size:12pt; color:#000000; background-color:#=
FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id=3D"divRplyFwdMsg" dir=3D"ltr"></div>
<div>
<div dir=3D"ltr" style=3D"font-size:12pt; color:#000000; background-color:#=
FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id=3D"divRplyFwdMsg" dir=3D"ltr"></div>
<div>
<div dir=3D"ltr" style=3D"font-size:12pt; color:#000000; background-color:#=
FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id=3D"divRplyFwdMsg" dir=3D"ltr"></div>
<div>
<div dir=3D"ltr" style=3D"font-size:12pt; color:#000000; background-color:#=
FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id=3D"divRplyFwdMsg" dir=3D"ltr"></div>
<div>
<div dir=3D"ltr" style=3D"font-size:12pt; color:#000000; background-color:#=
FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id=3D"divRplyFwdMsg" dir=3D"ltr"></div>
<div>
<div dir=3D"ltr" style=3D"font-size:12pt; color:#000000; background-color:#=
FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id=3D"divRplyFwdMsg" dir=3D"ltr"></div>
<div>
<p></p>
<div dir=3D"ltr" style=3D"font-size:12pt; color:#000000; background-color:#=
FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div>
<div dir=3D"ltr" style=3D"font-size:12pt; color:#000000; background-color:#=
FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id=3D"divRplyFwdMsg" dir=3D"ltr"></div>
<div>
<div dir=3D"ltr" style=3D"font-size:12pt; color:#000000; background-color:#=
FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id=3D"divRplyFwdMsg" dir=3D"ltr"></div>
<div>
<div dir=3D"ltr" style=3D"font-size:12pt; color:#000000; background-color:#=
FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id=3D"divRplyFwdMsg" dir=3D"ltr"></div>
<div>
<div dir=3D"ltr" style=3D"font-size:12pt; color:#000000; background-color:#=
FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div dir=3D"ltr">{W<span class=3D"st">ith <em>apologies for cross-posting</=
em>, please see below for information and thank you
<em>for a possible share among your network nodes</em>}</span><br>
</div>
<div dir=3D"ltr"><br>
</div>
<div>
<p></p>
<div dir=3D"ltr" style=3D"font-size:12pt; color:#000000; background-color:#=
FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div>
<p></p>
<div>______________________________________________________________________=
______________________________________<br>
</div>
<div style=3D"text-align:center">TU Wien (Vienna University of Technology)<=
/div>
<div style=3D"text-align:center">TU Graz (Graz University of Technology), a=
nd </div>
<div style=3D"text-align:center">JKU Linz (Johannes Kepler University),</di=
v>
<div style=3D"text-align:center"><br>
</div>
<div style=3D"text-align:center">are seeking highly qualified candidates fo=
r the joint doctoral program on Logical Methods in Computer Science (LogiCS=
),
</div>
<div style=3D"text-align:center">funded by the Austrian Science Fund (FWF).=
 </div>
<div style=3D"text-align:center"><br>
</div>
<div style=3D"text-align:center">We are recruiting up to 12 doctoral candid=
ates for a starting period of 3 years, with a negotiable starting date.
</div>
<div style=3D"text-align:center"><br>
</div>
<div style=3D"text-align:center">Deadline: June 12, 2020<br>
</div>
<div>______________________________________________________________________=
______________________________________<br>
</div>
<div>The PhD program focuses on interdisciplinary research topics covering<=
br>
</div>
=96 computational logic, and applications of logic to<br>
<div>=96 databases and artificial intelligence,</div>
<div>=96 computer-aided verification,<br>
</div>
=96 security and privacy,<br>
=96 cyber-physical systems, as well as to<br>
=96 distributed systems.<br>
______________________________________________________<br>
<br>
THE PROGRAM<br>
______________________________________________________<br>
<br>
Our PhD program LogiCS is focusing on logic and its applications in compute=
r science. Successful applicants will work with and be mentored by leading =
researchers in the fields of computational logic, databases and knowledge r=
epresentation, computer-aided verification,
 security and privacy, cyber-physical systems, and distributed systems.<br>
<br>
The LogiCS doctoral program offers top research expertise, and a stimulatin=
g and supportive environment. The LogiCS is coordinated by TU Wien, which o=
ffers an outstanding research environment and numerous professional develop=
ment opportunities. The Faculty
 of Informatics of TU Wien is the largest one in Austria and is consistentl=
y ranked among the best in Europe. The founding body of the LogiCS, the Aus=
trian Science Fund (FWF), offers multiple funding opportunities for young r=
esearchers to advance their independent
 scientific careers.<br>
<br>
______________________________________________________<br>
<br>
FACULTY MEMBERS<br>
______________________________________________________<br>
<br>
- M. Bartocci<br>
- A. Biere<br>
- R. Bloem<br>
- A. Ciabattoni<br>
- T. Eiter<br>
- G. Gottlob<br>
- R. Grosu<br>
- L. Kovacs<br>
- M. Maffei<br>
- M. Ortiz<br>
- U. Schmid<br>
- M. Seidl<br>
- S. Szeider<br>
- G. Weissenbacher<br>
- S. Woltran<br>
<br>
The LogiCS faculty comprises 15 renowned researchers with strong records in=
 research, teaching and advising, complemented by 15 associated members who=
 further strengthen the research and teaching activities of the college.<br=
>
<br>
______________________________________________________<br>
<br>
POSITIONS AND FUNDING<br>
______________________________________________________<br>
<br>
* We are looking for 12 very strong doctoral students.<br>
* The doctoral positions are funded for at least 3 years according to the f=
unding scheme of the Austrian Science Fund (FWF). (30 hours per week/ 39.00=
0 EUR gross/year)<br>
<div>* The funding can be extended for one additional year contingent on a =
placement at one of our international partner institutions.</div>
<div>* The location of the research post is Vienna, Graz or Linz, Austria. =
<br>
</div>
<br>
______________________________________________________<br>
<br>
SEEKING CANDIDATES FOR THE CURRENT RESEARCH AREAS<br>
______________________________________________________<br>
<br>
<div>At the moment we are particularly looking for candidates interested in=
 the following areas:</div>
<br>
* Automated Software Verification<br>
<br>
* Description Logics<br>
<br>
* Epistemic logic in distributed computing<br>
<br>
* Game-based Semantics<br>
<br>
* Fixed-Parameter Algorithms and Complexity<br>
<br>
* Formal Verification of hybrid systems<br>
<br>
* Knowledge Representation and Reasoning<br>
<br>
* Model Checking<br>
<br>
* Modeling and analysis of digital integrated circuits<br>
<br>
* Normative Reasoning<br>
<br>
* Ontology-based Data Access<br>
<br>
* Security and Privacy<br>
<br>
* Scheduling and logic programming<br>
<br>
* Study of the Interaction between rules from a knowledge base and rules ar=
ising from machine learning<br>
<br>
* Topology in distributed computing<br>
<br>
* Quantified Boolean Formulas<br>
<br>
______________________________________________________<br>
<br>
HOW TO APPLY<br>
______________________________________________________<br>
<br>
Detailed information about the application process is available on the Logi=
CS web-page: https://logic-cs.at/phd/admission/<br>
<br>
* The applicants are expected to have completed an excellent diploma or mas=
ter=92s degree in computer science, mathematics, or a related field.<br>
* Candidates with comparable achievements will be considered on a case-by-c=
ase basis.<br>
* Applications by the candidates need to be submitted electronically.<br>
<br>
Application Deadline: June 12, 2020<br>
<br>
______________________________________________________<br>
<br>
LOGIC IN AUSTRIA<br>
______________________________________________________<br>
<br>
Austria has a highly active and successful logic in the computer science co=
mmunity. Recent activities include:<br>
<br>
Austrian Research Network in Rigorous Systems Engineering - http://www.aris=
e.or.at<br>
<br>
Vienna Center for Logic and Algorithms - http://www.vcla.at <br>
<br>
International Kurt Goedel Society - http://www.kgs.logic.at <br>
<br>
______________________________________________________<br>
<br>
HIGHEST QUALITY OF LIFE<br>
______________________________________________________<br>
<br>
The Austrian cities Vienna, Graz, and Linz, located close to the Alps and s=
urrounded by beautiful nature, provide an exceptionally high quality of lif=
e, with a vibrant cultural scene, numerous cultural events, world-famous hi=
storical sites, a large international
 community, a varied cuisine and famous coffee houses.<br>
<br>
<div>If you decide to be located in Vienna, the city features a vibrant and=
 excellence-driven research landscape, with several leading research instit=
utes (e.g., University of Vienna, IST, AIT, SBA) and universities continuou=
sly establishing collaborations
 in various fields. Finally, Vienna has been consistently ranked by Mercer =
over the last years the best city for quality of life worldwide.</div>
<br>
______________________________________________________<br>
<br>
ADDITIONAL INFORMATION<br>
______________________________________________________<br>
<br>
LogiCS web-page: https://logic-cs.at/phd/admission/ <br>
For further information please contact: [email protected]<br>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</body>
</html>

--_000_158928000435235874tuwienacat_--