Job offers

Official job announcements

Check once again later.

Proposals for post-docs

1. Detecting timing attacks using formal methods. Check the proposal.

Proposals for internships

1. Detecting timing attacks using formal methods. Check the proposal.
2. A mechanized proof of Tarjan’s algorithm in the TLA+ Proof System. Check the proposal.
3. On-the-fly abstractions of formulas in proofs mixing first-order reasoning and temporal logic. Check the proposal.
4. Computation of the kinetics of chemical reaction networks. Check the proposal.