Job offers

Official job announcements

Check once again later.

Proposals for internships

  1. Bounded model checking of liveness properties of TLA+ specifications. Check the proposal.
  2. Bounded model checker for threshold automata with delays. Check the proposal.
  3. Automated reasoning: the best of two worlds. Check the proposal.

Comments are closed.