[isabelle] Doctoral Program on Logical Methods in Compute... · Archive Mirror: Isabelle Users Mailing List

Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Doctoral Program on Logical Methods in Compute...

Email Gateway (Aug 19 2022 at 15:05):

From: list-announcer@dbai.tuwien.ac.at
--089e01161d2ce1e07704ff0a5f4b
Content-Type: text/plain; charset=UTF-8

NEW DOCTORAL PROGRAM ON LOGICAL METHODS IN COMPUTER SCIENCE (LogiCS)
[http://logic-cs.at/phd/]

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-2 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.

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: September 1, 2014.

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@logic-cs.at

--089e01161d2ce1e07704ff0a5f4b
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div>NEW DOCTORAL PROGRAM ON LOGICAL METHODS IN COMPUTER S=
CIENCE (LogiCS)</div><div>[<a href=3D"http://logic-cs.at/phd/">http://logic=
-cs.at/phd/</a>]</div><div><br></div><div>Funded Doctoral Positions in Comp=
uter Science</div>

<div><br></div><div>TU Wien, TU Graz, and JKU Linz are seeking exceptionall=
y talented and motivated students for their joint doctoral program LogiCS. =
The LogiCS doctoral college focuses on interdisciplinary research topics co=
vering</div>

<div><br></div><div>(i) computational logic, and applications of logic to</=
div><div>(ii) databases and artificial intelligence as well as to</div><div=

(iii) computer-aided verification.</div><div><br></div><div>THE PROGRAM</d=
iv>

<div><br></div><div>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.</d=
iv>

<div><br></div><div>FACULTY MEMBERS</div><div><br></div><div>M. Baaz =C2=A0=
=C2=A0 A. Biere =C2=A0R. Bloem =C2=A0 =C2=A0 =C2=A0 =C2=A0 A. Ciabattoni</=
div><div>U. Egly =C2=A0 =C2=A0 T. Eiter =C2=A0C. Fermueller =C2=A0 =C2=A0R.=
Grosu</div><div>A. Leitsch =C2=A0M. Ortiz =C2=A0R. Pichler =C2=A0 =C2=A0 =
=C2=A0 S. Szeider</div>

<div>H. Tompits =C2=A0H. Veith =C2=A0G. Weissenbacher</div><div><br></div><=
div>The LogiCS faculty comprises 15 renowned researchers with strong record=
s in research, teaching and advising, complemented by 12 associated members=
who further strengthen the research and teaching activities of the college=
.</div>

<div><br></div><div>Details are provided on <a href=3D"http://logic-cs.at/f=
aculty/">http://logic-cs.at/faculty/</a></div><div><br></div><div>POSITIONS=
AND FUNDING</div><div><br></div><div>We are looking for 1-2 doctoral stude=
nts 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 (d=
etails: <a href=3D"http://www.fwf.ac.at/de/forschungsfoerderung/personalkos=
tensaetze/">http://www.fwf.ac.at/de/forschungsfoerderung/personalkostensaet=
ze/</a>)</div>

<div>The funding can be extended for one additional year contingent on a pl=
acement at one of our international partner institutions.</div><div><br></d=
iv><div>HOW TO APPLY</div><div><br></div><div>Detailed information about th=
e application process is available on the LogiCS web-page</div>

<div><br></div><div><a href=3D"http://logic-cs.at/phd/">http://logic-cs.at/=
phd/</a></div><div><br></div><div>The applicants are expected to have compl=
eted an excellent diploma or master's degree in computer science, mathe=
matics, 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.</div>

<div><br></div><div>Next application Deadline: September 1, 2014.</div><div=

<br></div><div>LOGIC IN AUSTRIA</div><div><br></div><div>Austria has a hig=
hly active and successful logic in computer science community. Recent activ=
ities include:</div>

<div><br></div><div><a href=3D"http://vsl2014.at">vsl2014.at</a></div><div>=
Vienna Summer of Logic, the Largest Conference in the History of Logic</div=

<div><br></div><div><a href=3D"http://www.arise.or.at">www.arise.or.at</a>=
</div>

<div>Austrian Research Network in Rigorous Systems Engineering</div><div><b=
r></div><div><a href=3D"http://vcla.at">vcla.at</a></div><div>Vienna Center=
for Logic and Algorithms</div><div><br></div><div><a href=3D"http://kgs.lo=
gic.at">kgs.logic.at</a></div>

<div>International Kurt Goedel Society</div><div><br></div><div>HIGHEST QUA=
LITY OF LIFE</div><div><br></div><div>The Austrian cities Vienna, Graz, and=
Linz, located close to the Alps and surrounded by beautiful nature, provid=
e an exceptionally high quality of life, with a vibrant cultural scene, num=
erous cultural events, world-famous historical sites, a large international=
community, a varied cuisine and famous coffee houses.</div>

<div><br></div><div>For further information please contact:</div><div><a hr=
ef=3D"mailto:info@logic-cs.at">info@logic-cs.at</a></div><div><br></div></d=
iv>

--089e01161d2ce1e07704ff0a5f4b--

Email Gateway (Aug 19 2022 at 16:32):

From: list-announcer@dbai.tuwien.ac.at
NEW DOCTORAL PROGRAM ON LOGICAL METHODS IN COMPUTER SCIENCE (LogiCS)
http://logic-cs.at/phd/

Funded Doctoral Positions in Computer Science

(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-2 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/en/research-funding/personnel-costs/)
The funding can be extended for one additional year contingent on a
placement at one of our international partner institutions.

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: December 1, 2014.