List of job vacancies - page 2

FIVE tenure-track positions at Stevens Institute of Technology (NYC)
by Eric Koskinen, Dec. 15, 2017

The Department of Computer Science at the Schaefer School of Engineering and Science, Stevens Institute of Technology (Stevens) invites applications for five tenure-track positions at all levels in the areas of Artificial Intelligence, Machine Learning, and Systems; however, exceptional candidates in all areas of Computer Science will be considered. Deadline: January 15

Multiple tenure-track positions at University of Minnesota
by Eric Eric Van Wyk, Dec. 4, 2017

The Computer Science & Engineering department at the University of Minnesota has multiple open tenure-track position. We are actively seeking applicants in various areas of programming languages.

Post-doc position in Security and Web Programming
by Coen De Roover, Nov. 10, 2017

The Software Languages Lab ( of the Vrije Universiteit Brussel ( is welcoming applications for a vacant post-doctoral position in "security and web programming”. The position will play a leading role in our research on programming technology for Rich Internet Applications in the context of the SeCloud ( and Tearless ( projects. In these projects, we have been applying our expertise in programming languages and software engineering to the problems of developing and securing Rich Internet Applications. Keywords include language-based security, dynamic and static programming analysis, language support for offline functionality and data replication, migration tooling for multi-tier web applications. The research prototypes built for both projects are based on JavaScript technology.

Funded PhD position at the University of Liverpool (EU/UK students)
by Igor Potapov, Nov. 8, 2017

Funded PhD position is available for EU/UK students to work on computer-aided methods for predictability of probabilistic discrete-time models with uncertainty. Applications are admitted until 20 November 2017, or until a suitable candidate is found thereafter. The selected candidate can start this position immediately, but the latest starting date for this fully-funded PhD position is 1 March 2018.

Position opening: Assistant Professor, Computer Science
by Russ Abbott, Nov. 3, 2017

The primary professional responsibilities of instructional faculty are: teaching, research, scholarship and/or creative activity, and service to the University, profession and to the community.

Postdoctoral position in formal semantics and compiler verification
by DelphineDemange, Oct. 25, 2017

Postdoctoral position in formal semantics and compiler verification at IRISA/Inria Rennes (France).

Postdoc and Ph.D. Positions in Security & Concurrency with Formal Methods
by mais, July 22, 2017

The Chair MAIS at TU Darmstadt, led by Heiko Mantel, is offering
multiple Postdoc and Ph.D. positions. We are looking for
researchers who are interested in addressing foundational problems
that will be of practical relevance or in addressing practical
problems based on formal methods. The research focus shall be on
software security, concurrency, or their combination.

The research focus shall be on one of the following topics:
- modular reasoning about information-flow security
- sound program analysis under relaxed consistency guarantees
- sound re-engineering of code for more parallelism
- definition of security requirements and security policy languages

Your research shall be based on solid theoretical foundations and
could result, e.g., in foundational insights, in program analysis
and transformation techniques, in tools that are reliable and
efficient, in instructive case studies, or in verified critical
software systems.

For more information about the positions, about the four research
topics and about how to apply, see .

Call for PhD candidates in the Software Composition Group, U Bern
by Oscar Nierstrasz, March 29, 2017

Applications are invited for PhD candidates at the Software Composition Group, University of Bern, Switzerland.