high frequency trading software engineer