Monthly 217September 01, 2021
Past Issues - How to submit an announcement
- JOB ANNOUNCEMENTS
|Tenure track lecturer (Vrije Universiteit Brussel):||Sept 6, 2021 (application deadline)|
|Applications for positions in Formal Methods for Software Reliability group (TU Munich):||Sept 13, 2021|
|CPP 2022:||Sep 16, 2021 (Abstract submission deadline), Sep 22, 2021 (Paper submission deadline)|
|FLoC 2022:||Sep 27, 2021 (Submission of workshop proposals deadline)|
|PhD position in Formal Methods for Security and Concurrency at NTNU:||Sep 30, 2021 (Deadline)|
|HSCC 2022:||Oct 29, 2021 (Submission deadline)|
- Hybrid Systems: Computation and Control (HSCC) 2022 is the 25th in a series of conferences focusing on original research on concepts, tools, and techniques from computer science, control theory, and applied mathematics for the analysis and control of hybrid dynamical systems, with an emphasis on computational aspects. By drawing on strategies from computation and control, the hybrid systems field offers techniques that are applicable to both man-made cyber-physical systems (ranging from small robots to global infrastructure networks) and natural systems (ranging from biochemical networks to physiological models). Papers in the conference are expected to range over a wide spectrum of topics from theoretical results to practical considerations, and from academic research to industrial adoption.
Topics of interest include, but are not limited to:
- Mathematical foundations, computability and complexity
- Analysis, verification, validation, and testing
- Modeling paradigms and techniques
- Design, synthesis, planning, and control
- Programming and specification languages
- Network science and network-based control
- Security, privacy, and resilience for cyber-physical systems with focus on computation and control
- Safe autonomy, Artificial intelligence and Machine learning in CPS
- Software tools for the above topics
- Applications and industrial case studies in: automotive, transportation, autonomous systems, avionics, energy and power, robotics, medical devices, manufacturing, systems and synthetic biology, models for the life sciences, and other related areas.
HSCC invites submissions in two categories: (1) regular papers and (2) tool and case study papers. Submissions in both of these categories can be either long (10 pages max, 9pt font, two-column ACM format) or short papers (6 pages max, 9pt font, two-column ACM format). We will employ a double-blind reviewing process and will have a rebuttal phase to provide authors with the opportunity to reply to the reviewers’ concerns. https://easychair.org/conferences/?conf=hscc2022
- IMPORTANT DATES (AOE)
Submission deadline: Oct 29, 2021 Tool/case study paper repeatability package submission deadline: Nov 01, 2021 Rebuttal phase: December 15-17, 2021 Acceptance/rejection notifications: Jan 17, 2022 Posters/demos submission deadline: Jan 31, 2021
Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky:JOB ANNOUNCEMENT
We are looking for highly motivated candidates who will fit our enthusiastic and collaborative group spirit:
- postdoc in the area of quantitative verification
- PhD students in quantitative verification and verified AI, possibly interested in co-developing Automata Tutor
- main developer of Automata Tutor
- QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification and verification of machine-learnt systems such as neural networks (also in industrial cooperation with AUDI), building model checkers (also verified by automated theorem proving) etc.
- AUTOMATA TUTOR (available at https://automata-tutor.model.in.tum.de/, described in publication https://link.springer.com/chapter/10.1007%2F978-3-030-53291-8_1) is a tool to teach undergraduate students the basics of theoretical computer science. It offers automatic grading and feedback of various types of exercises. The tool has been used at dozens of universities around the world (including 5 times at TUM) and graded almost a million exercise solutions.
- Please see the full job posting for further information on the requirements, offer, conditions, salary and application process (deadline Sept 13, 2021). https://www7.in.tum.de/~kretinsk/positions.html
- Please contact email@example.com for any further information.
- We have a vacancy for a PhD researcher at the Systems Security Group in the Information Security Division of the Department of Information Security and Communication Technology at the Norwegian University of Science and Technology (NTNU) in the Gjøvik campus.
- DEADLINE AND APPLICATION
Deadline: Sep 30, 2021
Apply through the official announcement https://www.jobbnorge.no/en/available-jobs/job/209665/phd-candidate-in-formal-methods-for-security-and-concurrency
The topic is generally placed at the intersection between security and concurrency with applications to many modern systems included under the term concurrency, such as distributed and communicating systems, multi-core or high-performance computing, or more generally systems of systems. The main focus of the topic will be on formal methods and tools applied to novel problems stemming from the combinations of security and highly complex concurrent systems. Depending on the inclinations and skills of the applicant, the work can include theoretical investigations as well as development and improvement of existing methods and tools for solving verification challenges in such modern applications; but the work can also include modelling and verification of real-world protocols pertaining to, e.g., IoT, Smart Grids, or Smart Contracts. Therefore, the research tasks can be anything from more theoretical, designing new formalisms and algorithms, to more practical, implementing modules, extensions, or new tools. If the work will go in a more theoretical direction, the candidate can expect to look into formalisms such as process algebras and their methods such as bisimulations, or into concurrency models and the challenges these bring to security, or into more mathematical topics including logics, relational algebras, automata, etc. If the work will go in a more practical direction, the candidate can expect to work with security verification tools such as Isabelle or Tamarin.
- Contact: firstname.lastname@example.org (for inquires about the position)
- For further details regarding application process, selection criteria, salary, conditions and further information please see the full advert: https://www.jobbnorge.no/en/available-jobs/job/209665/
To the SIGLOG or LICS website