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.