[TYPES/announce] assistant/associate professor in formal methods and programming, at University of Twente, Netherlands

[m.huis...@utwente.nl]

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

The Formal Methods and Tools (FMT) group of the Faculty of Electrical 
Engineering, Mathematics and Computer Science (EEMCS) of the University of 
Twente is looking for an Assistant/Associate Professor in the area of formal 
methods and programming.

You will teach in - and contribute to the degree programmes of Computer Science 
and Creative Technology, and you will participate in the teaching program of 
specialized courses related to Software Technology in Computer Science. In 
particular, the candidate is expected to contribute to programming education in 
the first and second year of Creative Technology, as well teaching a course on 
Principles of Programming, Processes and Patterns Programming and supervising 
Software Technology students during their Industrial Software Engineering 
Project.

The FMT Group:

The mission of FMT is to develop mathematical methods, high-performance data 
structures and algorithms, and suitable programming languages for the design of 
reliable software- and data-intensive control systems. We focus on modelling, 
synthesis, analysis, prediction, and maintenance of their functional, 
structural and quantitative aspects. We aim to understand a complex systems’ 
safety, reliability, performance, energy usage and the risks and costs 
associated to its architecture, design, operation, and maintenance.

Our mission builds on extensive experience in concurrency theory, static 
analysis, theorem proving, language design, model checking and term/graph 
rewriting.
More information about the group: https://www.utwente.nl/en/eemcs/fmt/

FMT embraces scholarship in learning and teaching. We are proudly involved in 
education at all levels: In undergraduate and graduate university curricula, 
primary and secondary schools, teacher education, extracurricular programs, and 
post-graduate teaching. We use the classroom setting in our research, 
co-publish with students, and do active research on educational research.

FMT has is an open and welcoming group. We value social interaction and 
transparency, and we value the input of all members of the group.

Your profile

You have a strong interest and shown ability to collaborate in an academic, 
multidisciplinary environment. A successful candidate will also demonstrate her 
or his intrinsic motivation and strong abilities for teaching at the bachelor 
and master level, and to various groups of students. You have excellent 
communication skills, allowing efficient interaction with colleagues.

Furthermore, we encourage you to apply if:

  *   You have a PhD degree in Computer Science or a related discipline;
  *   You are capable of strengthening the FMT group;
  *   You have strong abilities for high-quality research and teaching in a 
multidisciplinary context;
  *   You are effective in acquiring external funding;
  *   You are fluent in English. Knowledge of, or willingness to learn Dutch is 
an advantage;
  *   You have a University Teaching Qualification (Dutch: BKO) or equivalent, 
or are willing to acquire one within three years.

Our offer

  *   We offer a fulltime structural position, starting with a temporary 
appointment with the prospect of a permanent position after a positive 
evaluation;
  *   Our terms of employment are in accordance with the Dutch Collective Labor 
Agreement for Universities (CAO) and include a holiday allowance of 8% of the 
gross annual salary and a year-end bonus of 8.3 %;
  *   Depending on your relevant background and experience, the gross monthly 
salary on a full-time basis ranges from € 3.746,-  to € 6.940,- per month;
  *   A minimum of 29 leave days in case of full-time employment based on a 
formal workweek of 38 hours. A fulltime employment in practice means 40 hours a 
week, therefore resulting in 96 extra leave hours on an annual basis;
  *   Furthermore, we offer excellent professional and personal development 
programs;
  *   Finally, you will work in a lively, inspiring and dynamic working 
environment in an organization focusing on internationalization, where you will 
have a high degree of responsibility and independence.

Information and application

Are you interested in joining our team? Please submit your application before 
the 14th of July 2021, via 
https://www.utwente.nl/en/organisation/careers/!/50/, including:

  *   A curriculum vitae (including, list of publications, research and 
teaching statement)
  *   A cover letter in which you describe your motivation and qualifications 
for the position.

You are welcome to contact prof.dr. M. Huisman via 
m.huis...@utwente.nl, for any questions you might 
have.

About the organization

The faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) 
uses mathematics, electronics and computer technology to contribute to the 
development of Information and Communication Technology 

[TYPES/announce] Associate professor position in formal methods at the University of Oslo

[Peter Csaba Ølveczky]

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

A full-time tenured/permanent associate professor position  in formal
methods is available at the University of Oslo, Norway.

** Application deadline: August 11, 2021 **

See
https://www.jobbnorge.no/en/available-jobs/job/208063/associate-professor-in-formal-methods
for details and on how to apply.

The formal methods research group at the University of Oslo is quite
international, with faculty and PhD students from all around the
world, and is actively involved in European projects and organizing
international  scientific conferences and workshops.  

Beautiful and family-friendly Oslo provides rich
opportunities for culture and outdoor activities, and Norway is known
for its good quality of life. 


-

Feel free to contact Professor Peter Ölveczky (peterol  AT ifi.uio.no)
or Professor Einar Broch Johnsen (einarj AT ifi.uio.no) for more
information about the position, and HR Adviser Torunn Standal
Guttormsen (t.s.guttormsen AT mn.uio.no) for administrative
questions.

[TYPES/announce] Formal Methods 2021: Workshops and Tutorials

[Jun PANG]

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

24th International Symposium on Formal Methods
Beijing, November 20-26, 2021 (held virtually)
--

Workshops and Tutorials
===

http://lcs.ios.ac.cn/fm2021/workshops-and-tutorials/

The FM'21 Symposium on Formal Methods will host six exciting workshops
and tutorials on various topics related to formal methods.

   * FMTea: Formal Methods Teaching
   * appFM: Applicable Formal Methods
   * Implementing an IDE for "tiny" Event-B with JetBrains
Metaprogramming System MPS
   * FMI Co-simulation Based Digital Twin
   * Momba: Python for Quantitative Models
   * Continuous Verification using CBMC

For details about these events and how to participate or submit see
the Workshops and Tutorials page:

   http://lcs.ios.ac.cn/fm2021/workshops-and-tutorials/

For questions about the general organization of workshops and tutorials:

   * FM Workshops Chairs: Carlo A. Furia (Università della Svizzera
Italiana, Switzerland); Lijun Zhang (Chinese Academy of Sciences,
China)
   * FM Tutorials Chairs: Luigia Petre (Åbo Akademi University,
Finland); Tim A.C. Willemse (Eindhoven University of Technology,
Netherlands)

[TYPES/announce] SMT Workshop 2021: Call for Participation

[Nadel, Alexander]

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

   SMT 2021 Call for 
Participation
  19th International Workshop on Satisfiability Modulo Theories 
(SMT 2021)
   July 18-19, 2021, Online
  8am -- 12:45pm PDT
   Affiliated with CAV 2021
   
http://smt-workshop.cs.uiowa.edu/2021/index.shtml
  Registration: 
https://regmaster.com/2021conf/CAV21/register.php
   Early Registration till July 9: 75$/10$ (students); Regular 
Registration: 125$/15$ (students)



We are pleased to invite you to participate in the SMT 2021 workshop.

Determining the satisfiability of first-order formulas modulo background 
theories, known as Satisfiability Modulo Theories (SMT), has proved to be an 
enabling technology for verification, synthesis, test generation, compiler 
optimization, scheduling, and other areas. The aim of the annual SMT workshop 
is to bring together researchers and users of SMT tools and techniques.

This year, we have an exciting and versatile program, which includes the 
following sessions:

Sunday, July 18

1.Invited Talk by Guy Katz (Hebrew University): Using SMT and 
Abstraction-Refinement for Neural Network Verification
2.Theory of SMT
3.Proofs and Interpolation
4.Boosting SMT Solving
5.SMT Competition 2021: Report

Monday, July 19

1.Invited Talk by Karem Sakallah (University of Michigan): AVR: 
Word-Level Verification by Equality Abstraction of Data State
2.SMT Applications
3.SMT-LIB and API (Technical Session)
4.SMT-LIB and Business Meeting

Program details appear at http://smt-workshop.cs.uiowa.edu/2021/program.shtml

Talks will be live and will include Q

Program Chairs:
- Aina Niemetz (Stanford University)
- Alexander Nadel (Intel)

-
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.