From fsrmathe at uni-jena.de Wed Oct 12 00:44:42 2016 From: fsrmathe at uni-jena.de (Fachschaftsrat Mathematik) Date: Wed, 12 Oct 2016 00:44:42 +0200 Subject: [fsrmathe-jobs] =?utf-8?q?SHK_in_Jena=3A_Compilerbau_/_Typableitu?= =?utf-8?q?ng_und_-pr=C3=BCfung?= In-Reply-To: <3f07fdf4d8962a4a80cdf72ac9251d70ade5fd70170069155@webmail.uni-jena.de> References: <3f07fdf4d8962a4a80cdf72ac9251d70ade5fd70170069155@webmail.uni-jena.de> Message-ID: <9fa009a7-7f92-d3e4-34ba-475f93add99d@uni-jena.de> Hallo liebe Studis, wenn ihr euch für Informatik interessiert und fürs kommende Semester (oder länger?) noch eine Hilfskraftstelle wollt, dann ist das doch vielleicht etwas für euch: Viele Grüße Der FSR Mathe ---- Skriptsprachen wie JavaScript oder Python erfreuen sich einer wachsenden Bedeutung und Beliebtheit. Nicht unwesentlich trägt dazu die den Skriptsprachen zugrunde liegende dynamische Typisierung bei. Diese ermöglicht eine sehr flexible und einfache Programmierung. Gleichzeitig bedingt die dynamische Typisierung aber eine Anfälligkeit für Programmierfehler, sowie eine Erhöhung von Programmlaufzeiten. Um diese Nachteile zu vermeiden, wurden zuletzt vielfältige Ansätze vorgeschlagen (Dart, Flow, Hack, mypy, TypeScript, usw.), mit denen, für ein grundsätzlich dynamisch typisiertes Programm, die Typen von Variablen durch den Programmierer annotiert oder mittels Programmanalysen abgeleitet werden können. Der Vorteil liegt auf der Hand, da Werkzeuge anhand von Typen automatisch nach Programmierfehlern suchen oder ein Programm hinsichtlich einer Reduzierung der Programmlaufzeiten optimieren können. Im Rahmen eines Forschungsprojektes sollen Techniken zur sicheren Typableitung und -prüfung für Programme der Programmiersprache Dart weiterentwickelt werden. Gesucht wird eine studentische Hilfskraft zur Unterstützung der im Projekt anfallenden Programmierarbeiten. Die Mitarbeit im Projekt erlaubt neben dem Ausbau von Programmierkenntnissen auch, einen Einblick in aktuelle Trends im Bereich der Programmiersprachen zu gewinnen. Daneben können erste Erfahrungen in der Forschungsarbeit gesammelt, sowie Reisen zu einem europäischen Projektpartner unternommen werden. Voraussetzungen: * gute Kenntnisse in der Programmierung mit Java * optional: Kenntnis von Konzepten aus Compilerbau/Programmanalyse Kontakt: Thomas Heinze R 3245, Ernst-Abbe-Platz 2, 07743 Jena ---- Vielen Dank und mit freundlichen Grüßen Thomas Heinze From fsrmathe at uni-jena.de Mon Oct 17 20:10:55 2016 From: fsrmathe at uni-jena.de (FSR Mathematik Uni Jena) Date: Mon, 17 Oct 2016 20:10:55 +0200 Subject: [fsrmathe-jobs] Berlin Mathematical School (BMS) - Call For Applications for PhD studies Message-ID: Liebe Kommilitonen, wie ihr unten sehen könnt, suchen die Berliner gerade interessierte und engagierte Promotionsstudierende. Vielleicht interessiert das ja einige von euch. Viele Grüße Der FSR Mathe > Dear colleagues, > > We would be grateful if you could inform interested students about our call for applications for graduate studies at the Berlin Mathematical School. > > Thanks in advance! > > Best wishes, > > Günter M. Ziegler, Professor of Mathematics > Chair, Berlin Mathematical School > > > Berlin Mathematical School (BMS) - Get Your Math PhD in Berlin > > The Berlin Mathematical School is the joint graduate school of the mathematics departments at the three major universities in Berlin: Freie Universität, Humboldt-Universität and Technische Universität. > > We offer an excellent (post)graduate program taught in English in a broad and active research environment. This is complemented by our mentoring program, language courses, soft-skills seminars, travel support for summer schools and conferences, and special funding for students with children. > > Our seven main research areas are: > > * Differential geometry, global analysis and mathematical physics > * Algebraic and arithmetic geometry, number theory > * Probability, statistics and financial mathematics > * Discrete mathematics and combinatorial optimization > * Geometry, topology and visualization > * Numerical mathematics and scientific computing > * Applied analysis and differential equations > > The graduate program starts with three to four semesters of course work (Phase I) leading to a master's degree. This is followed by four to six semesters of thesis research (Phase II) leading to a doctoral degree at one of the three universities. > > Students who will have completed their bachelor's degree by October 2017 can apply to Phase I; those who will have completed their master's degree by this date can apply to start directly in Phase II. > > Complete information about applying to the BMS is available online: > http://www.math-berlin.de/images/guidelines/BMS_PhD_Application_Guidelines.pdf > > Application deadline (scholarships available): 1 December 2016 > Late application deadline (limited number of scholarships available): 1 April 2017 > > Website: http://www.math-berlin.de/application > > Contact: > E-Mail:applications at math-berlin.de > phone: +49 30 314-78651 > http://www.math-berlin.de -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fsrmathe at uni-jena.de Fri Oct 21 16:33:49 2016 From: fsrmathe at uni-jena.de (FSR Mathematik) Date: Fri, 21 Oct 2016 16:33:49 +0200 Subject: [fsrmathe-jobs] Ausschreibung Werkstudent CGI In-Reply-To: <45d20adc-b353-2f35-ef4c-bda22053149d@uni-jena.de> References: <45d20adc-b353-2f35-ef4c-bda22053149d@uni-jena.de> Message-ID: <2a8d9d7b-3d83-85aa-489d-86e0b1aefa99@uni-jena.de> Für die Informatik-Interessierten unter euch: -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : Stellenausschreibung Werkstudent Erfurt.pdf Dateityp : application/pdf Dateigröße : 1761607 bytes Beschreibung: nicht verfügbar URL : From fsrmathe at uni-jena.de Fri Oct 21 17:10:18 2016 From: fsrmathe at uni-jena.de (FSR Mathematik) Date: Fri, 21 Oct 2016 17:10:18 +0200 Subject: [fsrmathe-jobs] Ausschreibung Message-ID: Liebe Studis, ist auf der Suche nach personeller Unterstützung an der Stabsstelle Kommunikation. Im Anhang findet ihr die Ausschreibung. Als Kontakt steht FrauDaniela Siebe zur Verfügung: Daniela Siebe ************************** Friedrich-Schiller-Universität Jena - Stabsstelle Kommunikation - /Marketing, Alumni, Veranstaltungen/ Daniela Siebe Zwätzengasse 4 07743 Jena Tel. 03641-931008 Fax. 03641-931007 Mail: daniela.siebe at uni-jena.de *Informationen zum Relaunch-Projekt: www.relaunch.uni-jena.de * *Chancengeber werden: www.deutschlandstipendium.uni-jena.de * ** -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : IR16_Ausschreibung.pdf Dateityp : application/pdf Dateigröße : 93116 bytes Beschreibung: nicht verfügbar URL : From fsrmathe at uni-jena.de Fri Oct 28 18:24:54 2016 From: fsrmathe at uni-jena.de (Fsr Mathe) Date: Fri, 28 Oct 2016 18:24:54 +0200 Subject: [fsrmathe-jobs] Studijob bei Campusscout Netzwerk Message-ID: Hier ein Stellengesuch von Campusscout Netzwerk Der Stundenlohn beträgt 10-15 Euro je nach Auftrag. Rest siehe Anhang. Gruß Joni -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : Campus Scout Netzwerk - Stellenausschreibung.pdf Dateityp : application/pdf Dateigröße : 64682 bytes Beschreibung: nicht verfügbar URL :