PostDoc Position in Knowledge-based Systems and Artificial Intelligence. Vienna, Austria. Application deadline: July 15, 2020

Mihaela Rozman <[email protected]> Tue, 9 Jun 2020 17:38:18 +0200
Newsgroups gmane.comp.web.rdf
Message-ID <[email protected]>
------=_NextPart_000_128D_01D63E84.C3861D80
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable

A PostDoc position is available at the Database and Artificial =
Intelligence Group at TU Wien (Vienna University of Technology), =
Austria.=20

=20

We invite highly motivated applicants interested both in the theory and =
practice of

- Description Logics

- Answer Set Programming=20

- Knowledge Representation and Reasoning=20

- Reasoning about Actions and Change

- Database Theory

=20

In particular, we are seeking to strengthen our research teams in two =
foundational research projects =E2=80=9COntology-mediated Queries for =
Graph Databases=E2=80=9D[1] and =E2=80=9CKtoAPP: Compiling Knowledge =
into Applications=E2=80=9D[2] funded by the Austrian Science Fund (FWF). =


=20

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

YOUR PROFILE

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

=20

- A PhD degree in Computer Science, Mathematics, or other closely =
related field

- Excellent academic record

- High motivation to succeed in academia=20

- Very good English writing skills

=20

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

WE OFFER

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

=20

- Employment at TU Wien from 2 years to 3.5 years, depending on research =
tasks

- Gross salary of approx. 54.453 EUR per year (approx. 35.463 EUR per =
year after taxes in basic circumstances)

- A department that offers top research expertise, and a stimulating and =
supportive environment

- TU Wien is a great place for professional growth (e.g., the Austrian =
Science Fund offers multiple funding opportunities for young researchers =
to advance their independent scientific careers).

- Vienna is a beautiful city that offers excellent quality of life [4]

=20

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

APPLICATION PROCESS

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

=20

Application Deadline: July 15, 2020

=20

Please send your application to Dr. Mantas =C5=A0imkus =
([email protected] <mailto:[email protected]> )=20

=20

Application Documents:

- Curriculum Vitae

- PhD thesis and/or the list of publications

- At least 2 names of referees

=20

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

LINKS

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

=20

[1]  <http://www.simkus.info/projects/fwf-project-p30360/> =
http://www.simkus.info/projects/fwf-project-p30360/

[2]  <http://www.simkus.info/projects/fwf-project-p30873/> =
http://www.simkus.info/projects/fwf-project-p30873/

[3]  <https://logic-cs.at/> https://logic-cs.at

[4]  =
<https://mobilityexchange.mercer.com/Insights/quality-of-living-rankings>=
 https://mobilityexchange.mercer.com/Insights/quality-of-living-rankings

=20


------=_NextPart_000_128D_01D63E84.C3861D80
Content-Type: text/html; charset="utf-8"
Content-Transfer-Encoding: quoted-printable

<html xmlns:v=3D"urn:schemas-microsoft-com:vml" =
xmlns:o=3D"urn:schemas-microsoft-com:office:office" =
xmlns:w=3D"urn:schemas-microsoft-com:office:word" =
xmlns:m=3D"http://schemas.microsoft.com/office/2004/12/omml" =
xmlns=3D"http://www.w3.org/TR/REC-html40"><head><meta =
http-equiv=3DContent-Type content=3D"text/html; charset=3Dutf-8"><meta =
name=3DGenerator content=3D"Microsoft Word 15 (filtered =
medium)"><style><!--
/* Font Definitions */
@font-face
	{font-family:"Cambria Math";
	panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
	{font-family:Calibri;
	panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
	{margin:0cm;
	margin-bottom:.0001pt;
	line-height:115%;
	font-size:11.0pt;
	font-family:"Arial",sans-serif;}
a:link, span.MsoHyperlink
	{mso-style-priority:99;
	color:#0563C1;
	text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
	{mso-style-priority:99;
	color:#954F72;
	text-decoration:underline;}
p.msonormal0, li.msonormal0, div.msonormal0
	{mso-style-name:msonormal;
	mso-margin-top-alt:auto;
	margin-right:0cm;
	mso-margin-bottom-alt:auto;
	margin-left:0cm;
	font-size:11.0pt;
	font-family:"Calibri",sans-serif;}
span.EmailStyle18
	{mso-style-type:personal;
	font-family:"Calibri",sans-serif;
	color:windowtext;}
span.EmailStyle19
	{mso-style-type:personal;
	font-family:"Calibri",sans-serif;
	color:windowtext;}
span.EmailStyle20
	{mso-style-type:personal;
	font-family:"Calibri",sans-serif;
	color:windowtext;}
span.EmailStyle21
	{mso-style-type:personal;
	font-family:"Calibri",sans-serif;
	color:windowtext;}
span.EmailStyle22
	{mso-style-type:personal-reply;
	font-family:"Calibri",sans-serif;
	color:windowtext;}
.MsoChpDefault
	{mso-style-type:export-only;
	font-size:10.0pt;}
@page WordSection1
	{size:612.0pt 792.0pt;
	margin:70.85pt 70.85pt 2.0cm 70.85pt;}
div.WordSection1
	{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext=3D"edit" spidmax=3D"1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext=3D"edit">
<o:idmap v:ext=3D"edit" data=3D"1" />
</o:shapelayout></xml><![endif]--></head><body link=3D"#0563C1" =
vlink=3D"#954F72"><div class=3DWordSection1><p class=3DMsoNormal =
style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>A<b> PostDoc =
position </b>is available at the <b>Database and Artificial Intelligence =
Group</b> at <b>TU Wien (Vienna University of Technology), Austria</b>. =
<o:p></o:p></span></p><p class=3DMsoNormal =
style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'><o:p>&nbsp;</=
o:p></span></p><p class=3DMsoNormal style=3D'line-height:normal'><span =
lang=3DEN style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>We =
invite highly motivated applicants interested both in the theory and =
practice of<o:p></o:p></span></p><p class=3DMsoNormal =
style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>- =
Description Logics<o:p></o:p></span></p><p class=3DMsoNormal =
style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>- Answer Set =
Programming <o:p></o:p></span></p><p class=3DMsoNormal =
style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>- Knowledge =
Representation and Reasoning <o:p></o:p></span></p><p class=3DMsoNormal =
style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>- Reasoning =
about Actions and Change<o:p></o:p></span></p><p class=3DMsoNormal =
style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>- Database =
Theory<o:p></o:p></span></p><p class=3DMsoNormal =
style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'><o:p>&nbsp;</=
o:p></span></p><p class=3DMsoNormal style=3D'line-height:normal'><span =
lang=3DEN style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>In =
particular, we are seeking to strengthen our research teams in two =
foundational research projects =E2=80=9C<span =
style=3D'color:#444444'>Ontology-mediated Queries for Graph =
Databases=E2=80=9D</span>[1]<span style=3D'color:#444444'> and =
=E2=80=9CKtoAPP: Compiling Knowledge into =
Applications=E2=80=9D</span>[2] funded by the Austrian Science Fund =
(FWF). <o:p></o:p></span></p><p class=3DMsoNormal =
style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'><o:p>&nbsp;</=
o:p></span></p><p class=3DMsoNormal style=3D'line-height:normal'><span =
lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></span></p><p =
class=3DMsoNormal style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>YOUR =
PROFILE<o:p></o:p></span></p><p class=3DMsoNormal =
style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></span></p><p =
class=3DMsoNormal style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'><o:p>&nbsp;</=
o:p></span></p><p class=3DMsoNormal style=3D'line-height:normal'><span =
lang=3DEN style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>- =
A PhD degree in Computer Science, Mathematics, or other closely related =
field<o:p></o:p></span></p><p class=3DMsoNormal =
style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>- Excellent =
academic record<o:p></o:p></span></p><p class=3DMsoNormal =
style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>- High =
motivation to succeed in academia <o:p></o:p></span></p><p =
class=3DMsoNormal style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>- Very good =
English writing skills<o:p></o:p></span></p><p class=3DMsoNormal =
style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'><o:p>&nbsp;</=
o:p></span></p><p class=3DMsoNormal style=3D'line-height:normal'><span =
lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></span></p><p =
class=3DMsoNormal style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>WE =
OFFER<o:p></o:p></span></p><p class=3DMsoNormal =
style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></span></p><p =
class=3DMsoNormal style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'><o:p>&nbsp;</=
o:p></span></p><p class=3DMsoNormal style=3D'line-height:normal'><span =
lang=3DEN style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>- =
Employment at TU Wien from 2 years to 3.5 years, depending on research =
tasks<o:p></o:p></span></p><p class=3DMsoNormal =
style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>- Gross =
salary of approx. 54.453 EUR per year (approx. <span =
style=3D'background:#F9F9F9'>35.463 </span>EUR per year after taxes in =
basic circumstances)<o:p></o:p></span></p><p class=3DMsoNormal =
style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>- A =
department that offers top research expertise, and a stimulating and =
supportive environment<o:p></o:p></span></p><p class=3DMsoNormal =
style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>- TU Wien is =
a great place for professional growth (e.g., the Austrian Science Fund =
offers multiple funding opportunities for young researchers to advance =
their independent scientific careers).<o:p></o:p></span></p><p =
class=3DMsoNormal style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>- Vienna is =
a beautiful city that offers excellent quality of life =
[4]<o:p></o:p></span></p><p class=3DMsoNormal =
style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'><o:p>&nbsp;</=
o:p></span></p><p class=3DMsoNormal style=3D'line-height:normal'><span =
lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></span></p><p =
class=3DMsoNormal style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>APPLICATION =
PROCESS<o:p></o:p></span></p><p class=3DMsoNormal =
style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></span></p><p =
class=3DMsoNormal style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'><o:p>&nbsp;</=
o:p></span></p><p class=3DMsoNormal style=3D'line-height:normal'><span =
lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>Application =
Deadline: <b>July 15, 2020</b><o:p></o:p></span></p><p class=3DMsoNormal =
style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'><o:p>&nbsp;</=
o:p></span></p><p class=3DMsoNormal style=3D'line-height:normal'><span =
lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>Please send =
your application to Dr. Mantas =C5=A0imkus (<a =
href=3D"mailto:[email protected]">[email protected]</a>) =
<o:p></o:p></span></p><p class=3DMsoNormal =
style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'><o:p>&nbsp;</=
o:p></span></p><p class=3DMsoNormal style=3D'line-height:normal'><span =
lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>Application =
Documents:<o:p></o:p></span></p><p class=3DMsoNormal =
style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>- Curriculum =
Vitae<o:p></o:p></span></p><p class=3DMsoNormal =
style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>- PhD thesis =
and/or the list of publications<o:p></o:p></span></p><p =
class=3DMsoNormal style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>- At least 2 =
names of referees<o:p></o:p></span></p><p class=3DMsoNormal =
style=3D'margin-left:72.0pt;line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'><o:p>&nbsp;</=
o:p></span></p><p class=3DMsoNormal style=3D'line-height:normal'><span =
lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></span></p><p =
class=3DMsoNormal style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>LINKS<o:p></o=
:p></span></p><p class=3DMsoNormal style=3D'line-height:normal'><span =
lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></span></p><p =
class=3DMsoNormal style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'><o:p>&nbsp;</=
o:p></span></p><p class=3DMsoNormal style=3D'line-height:normal'><span =
lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>[1] <a =
href=3D"http://www.simkus.info/projects/fwf-project-p30360/"><span =
style=3D'color:#1155CC'>http://www.simkus.info/projects/fwf-project-p3036=
0/</span></a><u><span =
style=3D'color:#1155CC'><o:p></o:p></span></u></span></p><p =
class=3DMsoNormal style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>[2] <a =
href=3D"http://www.simkus.info/projects/fwf-project-p30873/"><span =
style=3D'color:#1155CC'>http://www.simkus.info/projects/fwf-project-p3087=
3/</span></a><u><span =
style=3D'color:#1155CC'><o:p></o:p></span></u></span></p><p =
class=3DMsoNormal style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>[3] <a =
href=3D"https://logic-cs.at/"><span =
style=3D'color:#1155CC'>https://logic-cs.at</span></a><o:p></o:p></span><=
/p><p class=3DMsoNormal style=3D'line-height:normal'><span lang=3DEN =
style=3D'font-size:12.0pt;font-family:"Calibri",sans-serif'>[4] <a =
href=3D"https://mobilityexchange.mercer.com/Insights/quality-of-living-ra=
nkings"><span =
style=3D'color:#1155CC'>https://mobilityexchange.mercer.com/Insights/qual=
ity-of-living-rankings</span></a><o:p></o:p></span></p><p =
class=3DMsoNormal><span lang=3DEN-GB =
style=3D'font-size:12.0pt;line-height:115%;font-family:"Calibri",sans-ser=
if'><o:p>&nbsp;</o:p></span></p></div></body></html>
------=_NextPart_000_128D_01D63E84.C3861D80--