Sometimes, I receive e-mails offering positions at other universities. They are stored here for some weeks. The sender of the e-mail is responsible for the contents.
  1. Halle-Wittenberg

    An der Martin-Luther-UniversitÀt Halle-Wittenberg, Naturwissenschaftliche FakultÀt III, Institut fÌr Informatik, ist zum nÀchstmöglichen Zeitpunkt die fÌr 3 Jahre befristete Stelle einer/eines Wissenschaftlichen Mitarbeiterin/Mitarbeiters (m-w-d) zu besetzen. VollzeitbeschÀftigung: 100% Die VergÌtung erfolgt je nach AufgabenÌbertragung und ErfÌllung der persönlichen Voraussetzungen bis zur Entgeltgruppe E 13 TV-L.

    - Abgeschlossenes Hochschulstudium auf einem der Gebiete Informatik, Bioinformatik oder Wirtschaftsinformatik, Promotion erwÃŒnscht.
    - Gute Kenntnisse in einigen der Gebiete Softwaretechnik, Programmiersprachen, Ãœbersetzerbau, Programmanalysen, Verifikation.
    - Bereitschaft zur akademischen Qualifikation.
    - Beherrschung der englischen Sprache

    - Leitung und Betreuung von Ãœbungen, Seminaren und Praktika im Bereich der Praktischen Informatik.
    - Mitarbeit an den Forschungsthemen der Professur – insbesondere im Bereich Programmanalysen, Komponententechnologie und Übersetzerbau.

    Schwerbehinderte Bewerberinnen und Bewerber werden bei gleicher Eignung und BefÀhigung bevorzugt berÌcksichtigt. Frauen werden nachdrÌcklich aufgefordert, sich zu bewerben.

    Bei RÃŒckfragen wenden Sie sich bitte an Herrn Prof. Dr. Wolf Zimmermann, Tel.: 0345 55-24712, Fax: 0345 55-27333,

    Ihre Bewerbung richten Sie bitte unter Angabe der Reg.-Nr. 5-7000/19-H mit den Ìblichen Unterlagen bis zum 12.07.2019 an die Martin-Luther-UniversitÀt Halle-Wittenberg, Naturwissenschaftliche FakultÀt III, Institut fÌr Informatik, Herrn Prof. Dr. Wolf Zimmermann, Von-Seckendorff-Platz 1, 06120 Halle (Saale).

    Die Ausschreibung erfolgt unter Vorbehalt eventueller haushaltsrechtlicher Restriktionen. Bewerbungskosten werden von der Martin-Luther-UniversitÀt nicht erstattet. Bewerbungsunterlagen werden nur zurÌckgesandt, wenn ein ausreichend frankierter RÌckumschlag beigefÌgt wurde. Eine elektronische Bewerbung ist möglich.


  2. Freiburg

    The programming languages group at University of Freiburg, Germany, has openings for researchers to work with Prof Peter Thiemann on DFG-funded projects. One project deals with inferrable resource typing, where the goal is a system that combines Rust-style borrowing and typestate with type inference. Session typing is a special instance of the system. The other project develops new approaches to infer and verify TypeScript signatures from JavaScript sources. Both projects involve a combination of theory (formal models, mechanized metatheory, and logics) and practical work (implementation and validation by case studies), but the emphasis can be negotiated.

    The salary is according to the TV-L E13 scale of the German public service.

    The university of Freiburg aims at increasing the number of female employees and thus especially welcomes applications of female candidates.

    Applications of disabled candidates will be given priority, depending on their suitability.

    Applications in PDF format or informal enquiries by email to are welcome. The application deadline is June 30, but applications will be considered until the position is filled. The starting date is negotiable, but preferably no later than October 1, 2019.

    Check out our research webpage
    or the DBLP publication profile
    for more information.


  3. Edinburgh (GB)

    Several Assistant Professor or Associate Professor positions are opening at Heriot-Watt University, with a focus on the following areas: verification/programming languages, computer security, or data science.

    Link for further details, and how to apply:

    Application deadline: 12th May.

    We invite bright researchers with expertise and a strong publication record in one of the following: programming languages, semantics, static analysis, type systems, proof theory, verification, formal methods, distributed systems, and parallel computation.

    If you have any further questions, please do not hesitate to contact me directly:
    Hans-Wolfgang Loidl
    School of Mathematical and Computer Sciences,
    Heriot-Watt University,
    Edinburgh EH14 4AS
    Scotland, U.K.


  4. Irvine (Calif.)

    The research group of Professor Michael Franz is welcoming applications for one or more Post-Doctoral Researcher(s) to join our team in early 2019 (or later). We work on a wide range of "Systems" research topics at the intersection of compilers, virtual machines, and security.

    Our research group is well known for inventing trace tree compilation, the technology that is behind the TraceMonkeyjust-in-time compiler for JavaScript in Firefox, which was created in a collaborative project between Mozilla and our lab. Additionally, we transitioned the "compartmental garbage collector" into Firefox, which not only makes JavaScript in Firefox safer, but surprisingly also faster. Another open-source project that we have contributed to is the LLVM compiler infrastructure.

    Over the past few years, our research has moved further into security - that is where some of the most interesting "Systems" problems are these days. Our research has been appearing in some of the most competitive publication venues, including two papers at NDSS 2015, one at IEEE Security and Privacy 2015, two at ACM CCS 2015, one at NDSS 2016, two at USENIX ATC 2016, and one each atNDSS 2017, EuroSys 2017, USENIX Security 2017, DIMVA 2018,ECOOP 2018, andRAID 2018. We also have an already accepted paper forIEEE S&P 2019.

    Appointments will be initially for a one-year period and will be renewable up to 6 years; most PostDocs stay for around 3-4 years. Several of our former PostDocs have gone on to become university professors, two have co-founded startup companies. PostDoc positions require a Ph.D. degree in Computer Science and demonstrated expertise, at the highest level, in the area of computer security, compilers, operating systems, or combinations of these. The ideal candidate would already have publications in top conferences such as IEEE S&P, ACM CCS, NDSS, USENIX Security, PLDI, CGO, EuroSys,USENIX ATC, OSDI, SOSP, or ASPLOS, and/or top journals such as ACM TOPLAS, ACM TACO, ACM TOPSor IEEE TDSC.

    Current graduate students who fulfill all other requirements but who have not quite yet completed their Ph.Ds. are welcome to apply; offers will be made contingent on successful completion of their degree.

    Salary is typically in a range between $75,000-$85,000 annually, depending on experience and qualification. On-campus subsidized housingis also available. We have generous equipment and travel budgets, allowing group members to travel to major conferences no matter where these are located in the world. Somewhat unusually, we also have spacious one- or two-person offices with windows and views instead of the windowless cubicles that are the norm in academia in the United States.

    UCI ranks among the top public research universities in the world. Meanwhile, the California city of Irvineconsistently ranks among the "best places to live" in North America and the surrounding Orange County beach cities are among the top tourist destinations in the United States. Founded only 50 years ago, UC Irvine has already produced three Nobel laureates and is known for combining academic achievement with an unsurpassed quality of life. The university is located about 5 miles from the Pacific Ocean, 45 miles South of Los Angeles and 80 miles North of San Diego.

    This leaflet is for informational purposes only. To apply, please go to apply/JPF04848.
    UCI is an Equal Opportunity, Affirmative Action Employer advancing inclusive excellence. All qualified applicants will receive consideration without regard to race, color, national origin, religion, sex, gender, gender expression, gender identity, pregnancy, physical or mental disability, medical condition, genetic information, ancestry, marital status, age, sexual orientation, citizenship, or service in the uniformed services.


watermark seal