[TYPES/announce] MRes Studentship in Swansea

is a Bachelor / Master (or equivalent) in Computer Science or Mathematics. For further information contact Markus Roggenbach (csmar...@swan.ac.uk).

[TYPES/announce] Post-doc position: Timed systems

AIST in Japan. The successful candidate will join the Processes and Data Group, see http://www.cs.swan.ac.uk/~csmarkus/ProcessesAndData/, as well as become a member of the Swansea Railway Verification Group. Informal enquiries are welcome and should be directed to Dr Markus Roggenbach, on +44 (0

[TYPES/announce] CFP FM-RAIL-BOK Workshop

participants: 2 September 2013 Workshop in Madrid: 23-24 September 2013 Thereafter: post-discussions and further work towards the planned book release WORKSHOP CO-CHAIRS Anne Haxthausen, Technical University of Denmark Markus Roggenbach, University of Swansea, Great Britain Stefan Gruner

[TYPES/announce] CFP: Model-based design and analysis of cyber-physical systems - SPES_XT Summer School at AVoCS'14

, SysML, MARTE Alessio Lomuscio: Model Checking of Multi-Agent Systems Marieke Huisman: Verification of Concurrent Software Markus Roggenbach: Foundational Concepts and Techniques for Modeling and Verification Stephan Merz: Modeling and Verifying Systems in TLA+ Joachim Wegener: Methods

[TYPES/announce] CFP: Model-based design and analysis of cyber-physical systems - SPES_XT Summer School at AVoCS'14

Assertions Alexander Knapp: Modern modeling formalisms: UML, SysML, MARTE Alessio Lomuscio: Model Checking of Multi-Agent Systems Marieke Huisman: Verification of Concurrent Software Markus Roggenbach: Foundational Concepts and Techniques for Modeling and Verification Stephan Merz: Modeling

[TYPES/announce] 2 year postdoc on formal security at Swansea University

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] +++ call for applications +++ 2 year post doc at Swansea Univeristy on formal security analys of smart phone apps +++ call for

[TYPES/announce] CFP: WADT'16

) Fernando Orejas (Spain) Francesco Parisi-Presicce (Italy) Markus Roggenbach (UK) [chair] Grigore Rosu (United States) Andrzej Tarlecki (Poland) ORGANIZING COMMITTEE Phillip James (UK) Markus Roggenbach (UK) CONTACT INFORMATION Email: m.roggenb...@swansea.ac.uk Homepage:http://cs.swan.ac.uk

[TYPES/announce] Research officer in theoretical foundations of cyber security at Swansea University

track record in cyber security will be valuable, however not be necessary. For informal enquires please contact Prof John Tucker (j.v.tuc...@swansea.ac.uk <mailto:j.v.tuc...@swansea.ac.uk>) or Prof Markus Roggenbach (m.roggenb...@swansea.ac.uk <mailto:m.roggenb...@swansea.ac.uk>)

[TYPES/announce] 3 year, post PhD, RA position in Theoretical Computer Science in Swan

not be necessary. Closing date: 5.9.2016. Informal enquiries are welcome and should be directed to Markus Roggenbach m.roggenb...@swan.ac.uk. Link to the advert: http://www.swansea.ac.uk/personnel/jobs/details.php?nPostingId=3541=6123=QHUFK026203F3VBQB7VLO8NXD=UK=suext

[TYPES/announce] Positions in Swansea with opportunities in types, semantics, programming languages, verification, logic.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Swansea computer science is currently offering a number posts, including 1 Lecturer (Dependable Systems) – Research - https://tinyurl.com/swansea-cs-lecturer-dependable

[TYPES/announce] 2 PhD positions in Formal Methods at Swansea, UK

tp://www.swansea.ac.uk/postgraduate/scholarships/research/computer-science-dtc-phd-service-composition.php <http://www.swansea.ac.uk/postgraduate/scholarships/research/computer-science-dtc-phd-service-composition.php> For informal enquiries please contact Markus Roggenbach at m.roggenb...@swa

[TYPES/announce] Permanent Position in Applied Formal Methods at Swansea University

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Closing Date: 09-10-2023 Salary: Lecturer - £38,205 to £44,263 per annum with USS benefits Senior Lecturer - £45,585 to £54,395 per annum with USS benefits Contract: Permanent, Full time

[TYPES/announce] SEFM Summer School 2022

luding lunches, refreshments, and a Summer School dinner). Please be so kind as to encourage your students to participate, and to distribute this call to possibly interested people. With kind regards, Markus Roggenbach Swansea University, UK

[TYPES/announce] Permanent Position S/SL in Applied Formal Methods at Swansea University

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear friends and colleagues, There is a permanent position as a Lecturer/Senior Lecturer in Applied Formal methods at Swansea University: