Código PHP:
<?php $funcionario = $_POST["funcionario"]; ?>
<select name="funcionario">
<option value="">-------------</option>
<?php do { ?>
<?php if( $row_funcionarios['funcionario_ID'] == $funcionario ) { ?>
<option value="<?php echo $row_funcionarios['funcionario_ID']; ?>" selected="selected">
<?php echo $row_funcionarios['nombre']; ?></option>
<?php } else { ?>
<option value="<?php echo $row_funcionarios['funcionario_ID']; ?>">
<?php echo $row_funcionarios['nombre']; ?></option>
<?php } ?>
<?php } while ($row_funcionarios = mysql_fetch_assoc($funcionarios)); ?>
</select>