{"id":7892,"date":"2018-03-05T14:25:17","date_gmt":"2018-03-05T13:25:17","guid":{"rendered":"https:\/\/physik.nawi.at\/?p=7892"},"modified":"2018-03-05T14:25:17","modified_gmt":"2018-03-05T13:25:17","slug":"16-phd-stellen","status":"publish","type":"post","link":"https:\/\/physik.nawi.at\/index.php\/16-phd-stellen\/","title":{"rendered":"16 PhD Stellen"},"content":{"rendered":"<p>Die TU Wien, TU Graz, und JKU Linz suchen nach Doktoratsstudierenden im Rahmen ihres Doktoratsaprogramms LogiCS in den folgenden Gebieten:<\/p>\n<ul>\n<li><strong>Computational Logic<br \/>\n<\/strong>proof theory, computational complexity and automated deduction<\/li>\n<li><strong>Databases \/ Artificial Intelligence<br \/>\n<\/strong>applications of logic to databases and arti\fcial intelligence<\/li>\n<li><strong>Verification<br \/>\n<\/strong>computer-aided verification, in particular model checking<\/li>\n<li>Application domains such as\u00a0<strong>security &amp; privacy, cyber-physical systems, and distributed systems<\/strong><\/li>\n<\/ul>\n<p><a href=\"http:\/\/logic-cs.at\/phd\/admission\/\">Hier<\/a> mehr infos.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Die TU Wien, TU Graz, und JKU Linz suchen nach Doktoratsstudierenden im Rahmen ihres Doktoratsaprogramms LogiCS in den folgenden Gebieten: Computational Logic proof theory, computational complexity and automated deduction Databases \/ Artificial Intelligence applications of logic to databases and arti\fcial intelligence Verification computer-aided verification, in particular model checking Application domains such as\u00a0security &amp; privacy, cyber-physical [&hellip;]<\/p>\n","protected":false},"author":57,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"wds_primary_category":0,"_wpscppro_dont_share_socialmedia":false,"_wpscppro_custom_social_share_image":0,"_facebook_share_type":"","_twitter_share_type":"","_linkedin_share_type":"","_pinterest_share_type":"","_linkedin_share_type_page":"","_instagram_share_type":"","_medium_share_type":"","_threads_share_type":"","_google_business_share_type":"","_selected_social_profile":[],"_wpsp_enable_custom_social_template":false,"_wpsp_social_scheduling":{"enabled":false,"datetime":null,"platforms":[],"status":"template_only","dateOption":"today","timeOption":"now","customDays":"","customHours":"","customDate":"","customTime":"","schedulingType":"absolute"},"_wpsp_active_default_template":true},"categories":[72],"tags":[],"_links":{"self":[{"href":"https:\/\/physik.nawi.at\/index.php\/wp-json\/wp\/v2\/posts\/7892"}],"collection":[{"href":"https:\/\/physik.nawi.at\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/physik.nawi.at\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/physik.nawi.at\/index.php\/wp-json\/wp\/v2\/users\/57"}],"replies":[{"embeddable":true,"href":"https:\/\/physik.nawi.at\/index.php\/wp-json\/wp\/v2\/comments?post=7892"}],"version-history":[{"count":0,"href":"https:\/\/physik.nawi.at\/index.php\/wp-json\/wp\/v2\/posts\/7892\/revisions"}],"wp:attachment":[{"href":"https:\/\/physik.nawi.at\/index.php\/wp-json\/wp\/v2\/media?parent=7892"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/physik.nawi.at\/index.php\/wp-json\/wp\/v2\/categories?post=7892"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/physik.nawi.at\/index.php\/wp-json\/wp\/v2\/tags?post=7892"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}