Research Engineer - Formal Methods & Programming Languages
ARCHIVED
We can't find an active application page for this role right now. It may reopen or be listed elsewhere. Use Next Steps to search for an active apply link and similar live jobs.
A technology development company based in Arlington, VA is looking for a Software Engineer/Researcher to advance programming language theory research and implement formal methods. The role involves rigorous formal verification of software and systems, robust architecture design, and engaging with clients to gather requirements. Ideal candidates will hold a Bachelor's degree in computer science and possess a background in programming languages and formal methods. This position supports a hybrid work environment with competitive benefits.
#J-18808-Ljbffr