Halmstad University, Akademin för informationsteknologi


Recent growth in the research activities and the well-established educational programs of the School of Information Technology (ITE) is enabling a significant expansion. In 2018 the total research expenditures exceeded 70 MSEK and the school hosted over 850 students. Over the next two years, the School will grow significantly. 


We have an opening for a Ph.D. student to conduct research in cyber security on issues related to  blockchain technology and financial contracts. The Ph.D. work involves in-depth study in designing, developing the metatheory for, implementing, and evaluating automated security analyses for smart contracts. Focus will be on declarative languages and their mathematical semantics, and in particular, aspects relating to the operation of these contracts in an environment involving real-valued entities and real-valued notion of time. The project will also address aspects relating to the use of machine learning techniques.

The selected Ph.D. student will be responsible for conducting research within the project and for participating in the required Ph.D. course activities. The employment also includes teaching responsibilities corresponding to a maximum of 20% of full-time. The Ph.D. student will work in an environment of internal researchers with diverse backgrounds.

The position is full time and is available from 2019/12 for a period of one year with a possibility of a further extension, subject to satisfactory progress of the Ph.D. studies and funding availability. Enough resources to fund experiments and conference travels are available.


The applicant should have a Masters level degree, or equivalent, in Computer Science, Digital Security or Forensics, Software Engineering, or Functional Programming. The candidate is also expected to have balanced expertise in these areas, and at minimal a solid familiarity with the fundamentals in each. Knowledge of Haskell, Java, JavaScript, and C# is highly desirable, as is prior experience with software engineering, especially with language processing and/or program analysis. Applicants must be fluent in spoken and written English. Knowledge of Swedish is always viewed positively.

Only persons who are being admitted, or already have been admitted, to doctoral studies at an institution of higher education may be appointed as doctoral students. (The Higher Education Ordinance Chapter 5, § 3). The student’s ability to benefit from doctoral studies will be taken into account when we make the appointment. (The Higher Education Ordinance Chapter 5, § 5).


Doctoral students are employees of the University and paid a salary according to a uniform salary scale, adjusted in relation to the progress in education.

The position includes studies up to a doctoral degree and is annually extended in accordance with the Higher Education Ordinance Chapter 5, §7. The total employment period is four years but may be extended to a maximum of five years if the student performs 20% teaching or other tasks within the university.


Applications should be sent via Halmstad University's recruitment system Varbi (see link on this page). The application should include:

  1. A cover letter stating the purpose of the application and a brief statement of your background and goals are well-matched to the goals of this position,
  2. A curriculum Vitae that includes at least
    1. A list of previous degrees, dates, and institution, transcripts for higher-education studies until most recent available
    2. A complete list of publications and a description of previous research and other work experience and links to online copies of the most important publications
  3. Copies of previous transcripts and degrees,
  4. A copy of previous publications, if any, and
  5. Contact information for three reference persons.

General Information

We value the qualities that diversity and gender balance bring to our organization. We therefore welcome applicants with different backgrounds, gender, functionality and, not least, life experience. The working language at Halmstad University is English and knowledge of the Swedish language, while not required to start working, will always be helpful for living Sweden. Also for daily life, English is spoken widely and Sweden has the highest English Proficiency index in the world. Learning to speak Swedish will, for example, make it easier to interact with public and private services, to follow local and national issues, to participate in teaching junior students, and to participate in administrative and leadership roles. National Swedish language courses (SFI) are
available on campus.

You can read more about Halmstad University at http://hh.se/english/discover/discoverhalmstaduniversity.9285.html

Type of employment Visstidsanställning längre än 6 månader
Contract type Full time
Number of positions 1
Working hours 100%
City Halmstad
County Hallands län
Country Sweden
Reference number 2019/120
  • Håkan Pettersson, 035-167306
  • Walid Taha, 035-167619
Union representative
  • Kristina Hildebrand, Saco-S, 070-7721015
  • Camilla Soto, ST, 035-167242
  • Anniqa Lagergren, OFR, 035-167655
Published 07.Oct.2019
Last application date 20.Oct.2019 11:59 PM CET

Tillbaka till lediga jobb