-
modern AI tools, familiarity with proof assistants such as Lean, good communication skills, and ability to work both independently and as a member of a large research team; a good command of English is
-
; Ability to interact with data and software programmatically (for example, familiarity with Python scripting) Strong command of written and spoken English, including the ability to effectively communicate
Searches related to control
Enter an email to receive alerts for control positions