26/03/2020

Scientific Staff


  • ORGANISATION/COMPANY
    Faculty of Computer Science
  • RESEARCH FIELD
    Computer scienceComputer architecture
  • RESEARCHER PROFILE
    Recognised Researcher (R2)
  • APPLICATION DEADLINE
    15/04/2020 00:00 - Europe/London
  • LOCATION
    Austria › Vienna
  • TYPE OF CONTRACT
    Temporary
  • JOB STATUS
    Full-time
  • HOURS PER WEEK
    40
  • REFERENCE NUMBER
    10718
  • MARIE CURIE GRANT AGREEMENT NUMBER
    No

We are looking for a motivated student interested in pursuing a PhD on developing the foundations of a next generation of reliable networks: networks which are highly automated, and verify and correct themselves autonomously, relying on formal methods. Communication networks have become a critical infrastructure of our society and hence come with stringent requirements on dependability. We believe that automation can improve reliability: many network outages these days are due to human errors.

The research position is fully funded through a joint project between the University of Vienna and the University of Aalborg. The PhD position is offered at the Faculty of Computer Science at the University of Vienna, in Austria. The candidate will be given the opportunity to collaborate with Aalborg university and also engage into longer visits, if she/he is interested.

The candidate should have a strong background in formal methods, model checking and algorithms, and be knowledgeable about communication networks, with a strong interest in this application domain.

We offer a productive research environment and excellent contacts to other universities as well as industry interested in this application domain. While our goal is to lay the theoretical foundations of such networks, we also plan to prototype our ideas and ideally make a practical contribution.

For an idea on the kind of research we are doing in this area, please see the sample publications accessible via the links below.

Please do not hesitate to contact me for any further information.

Some related papers:

P-Rex: Fast Verification of MPLS Networks with Multiple Link Failures, ACM CoNEXT 2018: https://www.univie.ac.at/ct/stefan/conext18.pdf

Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks, INFOCOM 2018: https://www.univie.ac.at/ct/stefan/infocom18prefixnet.pdf

Areas of work:
Participation in research and administration:
- Participation in research projects / research studies
- Participation in publications / academic articles / presentations
- Involvement in the organisation of meetings, conferences, symposiums
- Involvement in the department administration as well as in research administration Areas of work:
Participation in research and administration:
- Participation in research projects / research studies
- Participation in publications / academic articles / presentations
- Involvement in the organisation of meetings, conferences, symposiums
- Involvement in the department administration as well as in research administration

Benefits

Eligibility criteria

- Professional competence in theoretical computer science, algorithms and programming. Familiar with basic networking concepts.

- Master-Diploma (or equivalents) with distinction in computer science, electrical engineering, mathematics, or a related field; focus on algorithms and/or optimization.

- Methodological competence in modelling, optimization, algorithms.

- Didactic competence

- High ability to express yourself both orally and in writing

- Excellent command of written and spoken English

- IT user skills

- Ability to work in a team

Selection process

- Professional competence in theoretical computer science, algorithms and programming. Familiar with basic networking concepts.

- Master-Diploma (or equivalents) with distinction in computer science, electrical engineering, mathematics, or a related field; focus on algorithms and/or optimization.

- Methodological competence in modelling, optimization, algorithms.

- Didactic competence

- High ability to express yourself both orally and in writing

- Excellent command of written and spoken English

- IT user skills

- Ability to work in a team

Additional comments

The University of Vienna was founded in 1365 and is the oldest university in the German-speaking world and one of the largest in Central Europe. At present, about 88,000 students are enrolled in 180 courses at the University of Vienna. The University of Vienna is also the largest teaching and research institution in Austria with 8,900 employees, 6,700 of whom are scientists and academics.

Web site for additional job details

Required Research Experiences

  • RESEARCH FIELD
    Computer scienceComputer architecture
  • YEARS OF RESEARCH EXPERIENCE
    None

Offer Requirements

Skills/Qualifications

- Professional competence in theoretical computer science, algorithms and programming. Familiar with basic networking concepts.

- Master-Diploma (or equivalents) with distinction in computer science, electrical engineering, mathematics, or a related field; focus on algorithms and/or optimization.

- Methodological competence in modelling, optimization, algorithms.

- Didactic competence

- High ability to express yourself both orally and in writing

- Excellent command of written and spoken English

- IT user skills

- Ability to work in a team Desirable qualifications are
- Teaching experience / experience of working with e-learning
- Knowledge of university processes and structures
- Experience abroad
- Basic experience in research methods and academic writing

Application documents
- Letter of motivation
- Academic curriculum vitae
- List of publications, evidence of teaching experience (if available)
- Short doctoral project proposal
- Degree certificates

Specific Requirements

- Professional competence in theoretical computer science, algorithms and programming. Familiar with basic networking concepts.

- Master-Diploma (or equivalents) with distinction in computer science, electrical engineering, mathematics, or a related field; focus on algorithms and/or optimization.

- Methodological competence in modelling, optimization, algorithms.

- Didactic competence

- High ability to express yourself both orally and in writing

- Excellent command of written and spoken English

- IT user skills

- Ability to work in a team Desirable qualifications are
- Teaching experience / experience of working with e-learning
- Knowledge of university processes and structures
- Experience abroad
- Basic experience in research methods and academic writing

Application documents
- Letter of motivation
- Academic curriculum vitae
- List of publications, evidence of teaching experience (if available)
- Short doctoral project proposal
- Degree certificates

Work location(s)
1 position(s) available at
Research Group Communication Technologies
Austria
VIENNA
Vienna
1010
Universitätsring 1

EURAXESS offer ID: 508538
Posting organisation offer ID: 10718

Disclaimer:

The responsibility for the jobs published on this website, including the job description, lies entirely with the publishing institutions. The application is handled uniquely by the employer, who is also fully responsible for the recruitment and selection processes.

 

Please contact support@euraxess.org if you wish to download all jobs in XML.