Job offers

Official job announcements

Check once again later.

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.

Comments are closed.