PhD in Formal Methods for Security and Concurrency

PhD in Formal Methods for Security and Concurrency


PhD in Formal Strategies for Safety and Concurrency

We have now a emptiness for a PhD candidate within the Techniques Safety Group on the Data Safety Division, throughout the Division of Data Safety and Communication Know-how on the Norwegian College of Science and Know-how, campus Gjøvik.

For a place as a PhD Candidate, the objective is a accomplished doctoral schooling as much as acquiring a doctoral diploma.

The subject is usually positioned on the intersection between safety and concurrency with purposes to many fashionable methods included beneath the time period concurrency, akin to distributed and speaking methods, multi-core or high-performance computing, or extra typically methods of methods. The primary focus of the subject will likely be on formal strategies and instruments utilized to novel issues stemming from the mixtures of safety and extremely complicated concurrent methods. Relying on the inclinations and abilities of the applicant, the work can embody theoretical investigations in addition to growth and enchancment of current strategies and instruments for fixing verification challenges in such fashionable purposes; however the work can even embody modelling and verification of real-world protocols pertaining to, e.g., IoT, Sensible Grids, or Sensible Contrcts. Subsequently, the analysis duties might be something from extra theoretical, designing new formalisms and algorithms, to extra sensible, implementing modules, extensions, or new instruments.

If the work will go in a extra theoretical route, the candidate can anticipate to look into formalisms akin to course of algebras and their strategies akin to bisimulations, or into concurrency fashions and the challenges these deliver to safety, or into extra mathematical matters together with logics, relational algebras, automata, and so on. If the work will go in a extra sensible route, the candidate can anticipate to work with safety verification instruments akin to Isabelle or Tamarin.

You’ll report back to the Head of Division.

Duties of the place

  • Work with formal instruments akin to Isabelle or Tamarin.
  • Develop formalisms/logics/algorithms for modelling and verification of safety.
  • Apply formal strategies to review novel issues on the intersection of safety and fashionable concurrent methods.
  • Take part in educating and supervision duties on matters associated to the above.

Required choice standards

  • You could have a technically related background in Arithmetic or Laptop Science, with a bonus given by background in Safety or Concurrent methods.
  • Your schooling should correspond to a five-year Norwegian diploma programme, the place 120 credit are obtained at grasp’s stage.
  • You could have a robust tutorial background out of your earlier research and a median grade from the grasp’s diploma program, or equal schooling, which is the same as B or higher in contrast with NTNU’s grading scale. When you do not need letter grades from earlier research, you could have an equally good tutorial foundation. When you have a weaker grade background, chances are you’ll be assessed when you can doc that you’re notably appropriate for a PhD schooling (e.g., having lengthy sensible expertise in related fields).
  • You could meet the necessities for admission to the PhD programme in Data Safety and Communication Know-how.
  • Good grades in matters near Theoretical Laptop Science or Arithmetic

The appointment is to be made in accordance with the laws in power regarding State Staff and Civil Servants and Rules regarding the levels of Philosophiae Physician (PhD) and Philosodophiae Physician (PhD) in creative analysis nationwide pointers for appointment as PhD, submit physician and analysis assistant  

Most well-liked choice standards

  • Each Arithmetic and Laptop Science depend as appropriate backgrounds because of the generality and inclusiveness of the subject targeted on formal strategies.
  • Background in Safety and its purposes is just secondary, as a result of formal strategies methods is the tougher a part of the subject, whereas Safety is the purposes half.
  • Glorious written and oral English language abilities must be documented both by way of assessments or by way of already produced works.
  • Scandinavian language audio system have benefit as a consequence of their suitability for the educating and supervision duties of the place.

Private traits

  • Motivated for analysis with a curious character and inquisitive thoughts.
  • Hardworking and tenacious with a aptitude for element and group of data.
  • Appreciative but essential, at all times on the lookout for the variations and similarities between ideas.
  • Good staff and collaboration abilities and appreciation for variety of individuals and consideration for reverse views.
  • Optimism, objectiveness.

We provide

  • thrilling and stimulating duties in a robust worldwide tutorial atmosphere
  • an open and inclusive work atmosphere with devoted colleagues
  • Lengthy-term stays overseas and collaboration alternatives with, e.g.: Gothenburg, Rennes, Sheffield, Warsaw, Luxembourg.
  • numerous doable industrial collaborators to offer you analysis outcomes with take a look at situations and innovation alternatives
  • beneficial phrases within the Norwegian Public Service Pension Fund
  • worker advantages

Wage and circumstances

PhD candidates are remunerated in code 1017, and are usually remunerated at gross from NOK 491 200 every year earlier than tax, relying on {qualifications} and seniority. From the wage, 2% is deducted as a contribution to the Norwegian Public Service Pension Fund.

The interval of employment is 3 years or 4 years together with educating duties.

Appointment to a PhD place requires that you’re admitted to the PhD programme in Data Safety inside three months of employment, and that you just take part in an organized PhD programme in the course of the employment interval.

The engagement is to be made in accordance with the laws in power regarding State Staff and Civil Servants, and the acts referring to Management of the Export of Strategic Items, Companies and Know-how. Candidates who by evaluation of the appliance and attachment are seen to battle with the standards within the latter regulation will likely be prohibited from recruitment to NTNU. After the appointment you could assume that there could also be adjustments within the space of labor.

In regards to the software

The applying and supporting documentation for use as the premise for the evaluation should be in English.

Publications and different scientific work should comply with the appliance. Please word that purposes are solely evaluated primarily based on the data out there on the appliance deadline. You must be certain that your software exhibits clearly how your abilities and expertise meet the standards that are set out above.

The applying should embody:

  • CV, certificates and diplomas.
  • Transcripts and diplomas for bachelor’s and grasp’s levels. When you have not accomplished the grasp’s diploma, you could submit a affirmation that the grasp’s thesis has been submitted.
  • A replica of the grasp’s thesis. When you just lately have submitted your grasp’s thesis, you may connect a draft of the thesis. Documentation of a accomplished grasp’s diploma should be offered earlier than taking over the place.
  • Undertaking proposal (or Letter of Curiosity) detailing why you match for the place.
  • Analysis plan.
  • Identify and tackle of three referees.
  •  When you have publications or different related analysis work.

If all, or elements, of your schooling has been taken overseas, we additionally ask you to connect documentation of the scope and high quality of your whole schooling, each bachelor’s and grasp’s schooling, along with different larger schooling. Description of the documentation required might be discovered right here. If you have already got a press release from NOKUT, please connect this as properly.

Joint works will likely be thought-about. Whether it is troublesome to determine your contribution to joint works, you could connect a quick description of your participation.

Within the analysis of which candidate is greatest certified, emphasis will likely be positioned on schooling, expertise and private and interpersonal qualities. Motivation, ambitions, and potential may even depend within the evaluation of the candidates.

NTNU is dedicated to following analysis standards for analysis high quality in response to The San Francisco Declaration on Analysis Evaluation – DORA.

Normal data

Working at NTNU

work atmosphere is characterised by variety. We encourage certified candidates to use, no matter their gender, useful capability or cultural background.

The town of Gjøvik has a inhabitants of 30 000 and is a city identified for its wealthy music and cultural life. The attractive nature surrounding the town is good for an lively outside life! The Norwegian welfare state, together with healthcare, faculties, kindergartens and general equality, might be the very best of its form on the earth.

As an worker at NTNU, you could always adhere to the adjustments that the event within the topic entails and the organizational adjustments which might be adopted.

Data Act (Offentleglova), your identify, age, place and municipality could also be made public even when you’ve got requested to not have your identify entered on the listing of candidates.

When you have any questions in regards to the place, please contact Assoc.Prof. Christian Johansen, electronic mail or Prof. Basel Katt, electronic mail . When you have any questions in regards to the recruitment course of, please contact Stine Terese Ruen Nymoen, e-mail:

Please submit your software electronically through together with your CV, diplomas and certificates. Purposes submitted elsewhere won’t be thought-about. Diploma Complement is required to connect for European Grasp Diplomas exterior Norway. Chinese language candidates are required to offer affirmation of Grasp Diploma from China Credentials Verification (CHSI).

In case you are invited for interview you could embody licensed copies of transcripts and reference letters. Please discuss with the appliance quantity 2021/40723 when making use of.

Utility deadline: 30.09.21.

NTNU – information for a greater world

NTNU – information for a greater world

The Norwegian College of Science and Know-how (NTNU) creates information for a greater world and options that may change on a regular basis life.

Division of Data Safety and Communication Know-how

Analysis is important to the safety of our society. We train and conduct analysis in cyber safety, data safety, communications networks and networked companies. Our areas of experience embody biometrics, cyber defence, cryptography, digital forensics, safety in e-health and welfare expertise, clever transportation methods and malware. The Division of Data Safety and Communication Know-how is one in every of seven departments within the School of Data Know-how and Electrical Engineering .

Apply for this job

About the author


Leave a Comment