What type of transmission is used in Formula One cars?

Currently the transmissions on Formula One cars are Sequential paddle shifting gearboxes with seven forward gears and one reverse gear.

Fully Automatic gearboxes are currently banned in Formula One.