[TYPES/announce] Three new Teaching Assistant positions in Nottingham

[Graham Hutton]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Dear all,

As part of a strategic expansion, the School of Computer Science
at the University of Nottingham is seeking to make three new
permanent appointments at Teaching Assistant level:

   https://www.nottingham.ac.uk/jobs/currentvacancies/ref/SCI290020

Applicants with expertise in functional programming are strongly
encouraged!  The deadline for applications is 11th December 2020.

Best wishes,

Graham

—
Professor Graham Hutton
School of Computer Science
University of Nottingham, UK
http://www.cs.nott.ac.uk/~pszgmh






This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please contact the sender and delete the email and
attachment. 

Any views or opinions expressed by the author of this email do not
necessarily reflect the views of the University of Nottingham. Email
communications with the University of Nottingham may be monitored 
where permitted by law.

[TYPES/announce] 10 PhD positions at TU Wien on Security and Privacy, Formal Methods, and Machine Learning

[Maffei, Matteo]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

As part of the newly established SecInt Doctoral College (“Secure and 
Intelligent Human-Centric Technologies"), TU Wien is offering ten PhD positions 
for 4 years in the areas of Security and Privacy, Formal Methods, and Machine 
Learning. Each position is  supervised by at least two professors from the 
respective research areas. Additional details on the individual projects can be 
found at https://secint.visp.wien/projects.

We offer:

  *   Diverse and exciting tasks, with lots of interdisciplinary collaboration
  *   Continuing personal and professional education and flexible working hours
  *   Central location with very good accessibility in a city regularly ranked 
first worldwide for life quality
  *   Possibility of an internship with one of our international research 
partners
  *   Very competitive salary

Your profile:

  *   Completion of a master or diploma curriculum in computer science or 
another related field
  *   Experience in Mathematical Modeling, Computational Logic, Formal Methods, 
Security and Privacy, Robotics and/or Machine Learning
  *   Very good skills in English communication and writing.
  *   Readiness for interdisciplinary collaboration
  *   Team competences, problem-solving skills and innovative ability

A predoctoral researcher at TU Wien currently receives a minimum of EUR 
2.929,00/month, 14 times/year for 40 hours/week (about EUR 28.675/year net). 
Relevant working experience may increase the monthly income.

We look forward to receiving your application!

Closing date for applications: 30th November, 2020

Contact: sec...@visp.wien

More information: https://secint.visp.wien