From owner-freebsd-embedded@freebsd.org Tue Jun 9 15:50:36 2020 Return-Path: Delivered-To: freebsd-embedded@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 0D72D330E69 for ; Tue, 9 Jun 2020 15:50:36 +0000 (UTC) (envelope-from mihaela.rozman@tuwien.ac.at) Received: from secgw1.intern.tuwien.ac.at (secgw1.intern.tuwien.ac.at [IPv6:2001:629:1005:30::71]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 49hF2L75cdz3dLq for ; Tue, 9 Jun 2020 15:50:34 +0000 (UTC) (envelope-from mihaela.rozman@tuwien.ac.at) Received: from totemomail (localhost [127.0.0.1]) by secgw1.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 059FoV39019343 for ; Tue, 9 Jun 2020 17:50:31 +0200 Received: from localhost ([127.0.0.1]) by totemomail (Totemo SMTP Server) with SMTP ID 240 for ; Tue, 9 Jun 2020 17:50:31 +0200 (CEST) Received: from edge13a.intern.tuwien.ac.at (edge13a.intern.tuwien.ac.at [IPv6:2001:629:1005:30::66]) by secgw1.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 059FoVTF019330 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=FAIL) for ; Tue, 9 Jun 2020 17:50:31 +0200 Received: from mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) by edge13a.intern.tuwien.ac.at (2001:629:1005:30::66) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Tue, 9 Jun 2020 17:50:30 +0200 Received: from vita (128.131.111.209) by mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Tue, 9 Jun 2020 17:50:30 +0200 From: Mihaela Rozman To: References: In-Reply-To: Subject: PostDoc Position in Knowledge-based Systems and Artificial Intelligence. Vienna, Austria. Application deadline: July 15, 2020 Date: Tue, 9 Jun 2020 17:50:22 +0200 Message-ID: <164101d63e75$af3489c0$0d9d9d40$@tuwien.ac.at> MIME-Version: 1.0 X-Mailer: Microsoft Outlook 16.0 Content-Language: de-at Thread-Index: AQI5OttI/XLotBiOkHJSwHcJtBneoagKdaDA X-ClientProxiedBy: mbx13c.intern.tuwien.ac.at (2001:629:1005:30::63) To mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) X-Rspamd-Queue-Id: 49hF2L75cdz3dLq X-Spamd-Bar: - Authentication-Results: mx1.freebsd.org; dkim=none; dmarc=fail reason="No valid SPF, No valid DKIM" header.from=tuwien.ac.at (policy=none); spf=none (mx1.freebsd.org: domain of mihaela.rozman@tuwien.ac.at has no SPF policy when checking 2001:629:1005:30::71) smtp.mailfrom=mihaela.rozman@tuwien.ac.at X-Spamd-Result: default: False [-1.04 / 15.00]; ARC_NA(0.00)[]; NEURAL_HAM_MEDIUM(-0.34)[-0.343]; RCVD_COUNT_FIVE(0.00)[6]; FROM_HAS_DN(0.00)[]; TO_MATCH_ENVRCPT_ALL(0.00)[]; NEURAL_HAM_LONG(-0.54)[-0.541]; MIME_GOOD(-0.10)[multipart/alternative,text/plain]; TO_DN_NONE(0.00)[]; PREVIOUSLY_DELIVERED(0.00)[freebsd-embedded@freebsd.org]; RCPT_COUNT_ONE(0.00)[1]; NEURAL_HAM_SHORT(-0.16)[-0.157]; RCVD_IN_DNSWL_NONE(0.00)[2001:629:1005:30::71:from]; R_SPF_NA(0.00)[no SPF record]; FROM_EQ_ENVFROM(0.00)[]; RCVD_TLS_LAST(0.00)[]; R_DKIM_NA(0.00)[]; ASN(0.00)[asn:1853, ipnet:2001:628::/29, country:AT]; MIME_TRACE(0.00)[0:+,1:+,2:~]; MID_RHS_MATCH_FROM(0.00)[]; DMARC_POLICY_SOFTFAIL(0.10)[tuwien.ac.at : No valid SPF, No valid DKIM,none] Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Content-Filtered-By: Mailman/MimeDel 2.1.33 X-BeenThere: freebsd-embedded@freebsd.org X-Mailman-Version: 2.1.33 Precedence: list List-Id: Dedicated and Embedded Systems List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 09 Jun 2020 15:50:36 -0000 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 = (simkus@dbai.tuwien.ac.at )=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/ [2] = http://www.simkus.info/projects/fwf-project-p30873/ [3] https://logic-cs.at [4] = = https://mobilityexchange.mercer.com/Insights/quality-of-living-rankings =20 From owner-freebsd-embedded@freebsd.org Tue Jun 9 13:56:17 2020 Return-Path: Delivered-To: freebsd-embedded@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 57C4732E21A for ; Tue, 9 Jun 2020 13:56:17 +0000 (UTC) (envelope-from mihaela.rozman@tuwien.ac.at) Received: from secgw2.intern.tuwien.ac.at (secgw2.intern.tuwien.ac.at [IPv6:2001:629:1005:30::72]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 49hBVS0PBpz4dqB for ; Tue, 9 Jun 2020 13:56:15 +0000 (UTC) (envelope-from mihaela.rozman@tuwien.ac.at) Received: from totemomail (localhost [127.0.0.1]) by secgw2.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 059Dtlnt000366; Tue, 9 Jun 2020 15:55:47 +0200 Received: from localhost ([127.0.0.1]) by totemomail.intern.tuwien.ac.at (Totemo SMTP Server) with SMTP ID 333; Tue, 9 Jun 2020 15:55:47 +0200 (CEST) Received: from edge13b.intern.tuwien.ac.at (edge13b.intern.tuwien.ac.at [IPv6:2001:629:1005:30::67]) by secgw2.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 059DtkHD000315 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=FAIL); Tue, 9 Jun 2020 15:55:46 +0200 Received: from mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) by edge13b.intern.tuwien.ac.at (2001:629:1005:30::67) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Tue, 9 Jun 2020 15:55:46 +0200 Received: from vita (128.131.111.209) by mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Tue, 9 Jun 2020 15:55:46 +0200 From: Mihaela Rozman To: References: In-Reply-To: Subject: PhD position(s) in Structural and Algorithmic Aspects of Preference-based Problems in Social Choice - Vienna, Austria - Deadline: July 31, 2020 Date: Tue, 9 Jun 2020 15:55:38 +0200 Message-ID: <064301d63e65$a7db6280$f7922780$@tuwien.ac.at> MIME-Version: 1.0 X-Mailer: Microsoft Outlook 16.0 Content-Language: de-at Thread-Index: AQHtUfJMGy+Or8jJjacG/9VZzpuk6qiiJ2Fw X-ClientProxiedBy: mbx13c.intern.tuwien.ac.at (2001:629:1005:30::63) To mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) X-Rspamd-Queue-Id: 49hBVS0PBpz4dqB X-Spamd-Bar: ++ Authentication-Results: mx1.freebsd.org; dkim=none; dmarc=fail reason="No valid SPF, No valid DKIM" header.from=tuwien.ac.at (policy=none); spf=none (mx1.freebsd.org: domain of mihaela.rozman@tuwien.ac.at has no SPF policy when checking 2001:629:1005:30::72) smtp.mailfrom=mihaela.rozman@tuwien.ac.at X-Spamd-Result: default: False [2.86 / 15.00]; ARC_NA(0.00)[]; RCVD_COUNT_FIVE(0.00)[6]; RCVD_IN_DNSWL_LOW(-0.10)[2001:629:1005:30::72:from]; FROM_HAS_DN(0.00)[]; DMARC_POLICY_SOFTFAIL(0.10)[tuwien.ac.at : No valid SPF, No valid DKIM,none]; NEURAL_SPAM_SHORT(0.06)[0.058]; MIME_GOOD(-0.10)[multipart/alternative,text/plain]; TO_DN_NONE(0.00)[]; NEURAL_SPAM_MEDIUM(0.56)[0.557]; RCPT_COUNT_ONE(0.00)[1]; NEURAL_SPAM_LONG(0.35)[0.346]; R_SPF_NA(0.00)[no SPF record]; FROM_EQ_ENVFROM(0.00)[]; RCVD_TLS_LAST(0.00)[]; R_DKIM_NA(0.00)[]; FORGED_RECIPIENTS(2.00)[office@vcla.at,freebsd-embedded@freebsd.org]; MIME_TRACE(0.00)[0:+,1:+,2:~]; MID_RHS_MATCH_FROM(0.00)[]; ASN(0.00)[asn:1853, ipnet:2001:628::/29, country:AT] X-Mailman-Approved-At: Wed, 10 Jun 2020 04:39:46 +0000 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Content-Filtered-By: Mailman/MimeDel 2.1.33 X-BeenThere: freebsd-embedded@freebsd.org X-Mailman-Version: 2.1.33 Precedence: list List-Id: Dedicated and Embedded Systems List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 09 Jun 2020 13:56:17 -0000 PhD POSITION(S)=20 PROJECT Structural and Algorithmic Aspects of Preference-based Problems = in Social Choice STARTING DATE: Negotiable LOCATION: Vienna, Austria INSTITUTION: Algorithms and complexity group at the Faculty of = Informatics, Technische Universit=C3=A4t Wien (Vienna University of = Technology) FUNDING: The PhD candidates receive an employment contract for the = initial period of 3 years, thus study fees do not apply. Salary range = starts at 22.000 net/year EUR for 30h/week.=20 APPLICATION DEADLINE: July 31, 2020 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D We invite applications for PhD position(s) (3 years with the possibility = of extension), working with Jiehua Chen in the Algorithms and Complexity = Group at the Vienna University of Technology (Technische = Universit=C3=A4t Wien =E2=80=93 TU Wien), Vienna, Austria.=20 =20 The PhD position(s) is available for the WWTF research project (Vienna = Science and Technology Fund) titled Structural and Algorithmic Aspects = of Preference-based Problems in Social Choice: = https://www.wwtf.at/programmes/vienna_research_groups/VRG18-012/index.php= ?lang=3DEN =20 The research topics include voting, structured preferences, stable = matching (matchings under preferences) with a focus on parameterized and = approximation algorithm design. =20 =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=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=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D =20 Applicants with a solid background in areas such as algorithm design = (including BUT NOT LIMITED to parameterized algorithms and approximation = algorithms), computational complexity, and/or discrete mathematics are = welcome to apply. =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=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=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D =20 -The PhD position(s) entails an employment contract.=20 -The position(s) is available immediately and the starting date is quite = flexible - A research and study environment that is friendly and gender-balanced=20 - TU Wien is a great place for professional growth (e.g., the Austrian = Science Fund and other funding agencies offer multiple funding = opportunities for young researchers to advance their independent = scientific careers)=20 - Vienna, the city, features a vibrant and excellence-driven research = landscape, with several leading research institutes (e.g., University of = Vienna, IST, AIT, SBA) and universities continuously establishing = collaborations in various fields - Vienna has been consistently ranked by Mercer over the last years the = best city for quality of life worldwide. =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D APPLICATION=20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D =20 Please send your application, including - your academic CV, - a motivation letter, including an explanation of your research = interests, - your Master's thesis and - a list of subjects studied, giving sufficient details and grades/marks = obtained =20 directly to Jiehua Chen: jiehua.chen@tuwien.ac.at = =20 (If possible all in a single PDF file) =20 DEADLINE: 31. July 2020=20 =20 For informal inquiries you can also contact via the above email address. =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D ADDITIONAL INFORMATION =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D Faculty of Informatics: https://informatics.tuwien.ac.at/=20 Research group website: https://www.ac.tuwien.ac.at/=20 Outreach: www.vcla.at =20 Twitter: @vclaTUwien =20 =20 =20